Struct ShellableComplex 

pub struct ShellableComplex {
    pub dim: usize,
    pub f_vector: Vec<usize>,
    pub shelling_order: Vec<usize>,
    pub facets: Vec<Vec<usize>>,
}

Shellable simplicial complex with f-vector and h-vector.

A simplicial complex is shellable if its facets can be ordered so that each new facet’s intersection with the previous ones is pure codimension-1.

Fields

dim: usize

Dimension of the complex.

f_vector: Vec<usize>

f-vector: f[k] = number of k-faces.

shelling_order: Vec<usize>

Shelling order of facets (indices into facet list).

facets: Vec<Vec<usize>>

Facets as vertex sets.

Implementations

impl ShellableComplex

pub fn new(facets: Vec<Vec<usize>>) -> Self

Create a shellable complex from its facets.

The shelling order is automatically generated (greedy).

pub fn f_vector_extended(&self) -> Vec<usize>

f-vector f = (f_{-1}, f_0, f_1, …, f_d) where f_{-1} = 1 (empty face).

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

h-vector from f-vector via the relation: Σ h_k x^(d+1-k) = Σ f_{k-1} (x-1)^(d+1-k).

pub fn euler_characteristic(&self) -> i64

Euler characteristic from f-vector.

pub fn dehn_sommerville_check(&self) -> bool

Check Dehn-Sommerville relations h_k = h_{d+1-k} for simplicial spheres.

pub fn is_pure(&self) -> bool

Check if the complex is pure (all facets have the same dimension).

pub fn n_facets(&self) -> usize

Number of facets.

pub fn link_vertex(&self, v: usize) -> Vec<Vec<usize>>

Return the link of a vertex v (all facets not containing v, intersected with v’s neighbourhood).

Trait Implementations

impl Clone for ShellableComplex

fn clone(&self) -> ShellableComplex

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ShellableComplex

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

Formats the value using the given formatter.