faces Delta
In this package, an abstract simplicial complex $\Delta$ is identified with a squarefree monomial ideal in a polynomial ring. The vertices of $\Delta$ correspond to a subset of the variables in the polynomial ring, and each face is identified as the product of the variables corresponding to the vertices of that face. This method function returns a HashTable whose keys are the integers from $-1$ to $\operatorname{dim} \Delta$ and the value of the key $i$ is the list containing the monomials corresponding to the $i$-dimensional faces of $\Delta$.
The faces of the simplex correspond to all subsets of the underlying vertex set.
|
|
|
|
|
|
The faces of the Bartnette sphere are a proper subset of the $7$-simplex.
|
|
|
|
|
There are two "trivial" simplicial complexes: the irrelevant complex has the empty set as a facet whereas the void complex has no facets.
|
|
|
|
|
|