Struct ChainComplex 

pub struct ChainComplex {
    pub groups: Vec<GradedGroup>,
    pub boundaries: Vec<Vec<Vec<i64>>>,
}

A chain complex C_• with integer boundary matrices.

groups[i] = C_i, boundaries[i] = d_{i+1}: C_{i+1} → C_i.

Fields

groups: Vec<GradedGroup>

The chain groups.

boundaries: Vec<Vec<Vec<i64>>>

Boundary matrices (one fewer than groups).

Implementations

impl ChainComplex

pub fn new() -> Self

Create an empty chain complex.

pub fn add_group(&mut self, rank: usize, name: &str)

Add a chain group C_k.

pub fn add_boundary(&mut self, matrix: Vec<Vec<i64>>)

Add a boundary matrix d_k.

pub fn betti_numbers(&self) -> Vec<i64>

Compute Betti numbers β_i = ker(d_i) − im(d_{i+1}).

pub fn compute_homology(&self) -> Vec<HomologyGroup>

Compute all homology groups H_n(C).

pub fn euler_characteristic(&self) -> i64

Euler characteristic χ = ∑_n (-1)^n β_n.

pub fn is_exact_at(&self, k: usize) -> bool

Check if the complex is exact at position k (H_k = 0).

pub fn is_exact(&self) -> bool

Check if the complex is exact everywhere.

Trait Implementations

impl Clone for ChainComplex

fn clone(&self) -> ChainComplex

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for ChainComplex

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for ChainComplex

fn default() -> ChainComplex

Returns the “default value” for a type.