ideal Delta
In this package, an abstract simplicial complex is represented as squarefree monomial ideal in a polynomial ring. This method function returns the defining ideal.
The boundary of the 4simplex is a simplicial sphere with 5 vertices, 5 tetrahedral facets, and a minimal nonface that corresponds to the interior of the sphere.





The abstract simplicial complex from Example 1.8 of MillerSturmfels' Combinatorial Commutative Algebra consists of a triangle (on vertices $a$, $b$, $c$), two edges (connecting $c$ to $d$ and $b$ to $d$), and an isolated vertex (namely $e$). It has six minimal nonfaces.



The irrelevant complex has the empty set as a facet whereas the void complex has no facets.






This routine is identical to monomialIdeal(SimplicialComplex) except for the type of the output.



As the Stanley–Reisner ideal is part the defining data of an abstract simplicial complex, so this method does no computation.