Struct SimplicialComplex 

pub struct SimplicialComplex {
    pub simplices: Vec<HashSet<Simplex>>,
    pub max_dim: usize,
}

A simplicial complex: a collection of simplices closed under faces.

Fields

simplices: Vec<HashSet<Simplex>>

All simplices, grouped by dimension.

max_dim: usize

Maximum dimension.

Implementations

impl SimplicialComplex

pub fn new(max_dim: usize) -> Self

Create an empty simplicial complex with maximum dimension max_dim.

pub fn add_simplex(&mut self, s: Simplex)

Add a simplex and all its faces.

pub fn count(&self, d: usize) -> usize

Number of simplices of dimension d.

pub fn euler_characteristic(&self) -> i64

Euler characteristic: sum_k (-1)^k * |C_k|.

pub fn is_valid(&self) -> bool

Check if the complex is valid (all faces present).

Trait Implementations

impl Clone for SimplicialComplex

fn clone(&self) -> SimplicialComplex

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SimplicialComplex

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

Formats the value using the given formatter.