The type AbstractSimplicialComplex is a data type for working with abstract simplicial complexes with vertices supported on $[n] = \{1,\dots ,n\}$. Here we illustrate some of the most basic ways to interact with this data type.
The simplicial complex that is generated by $\{1,2,3,4\}$, $\{2,3,5\}$ and $\{1,5\}$ can be constructed in the following way.
|
The simplex on the vertex set $[4]$ can be constructed as
|
The faces and facets of such simplicial complexes can be accessed as
|
|
|
|
|
|
|
|
|
|
|
The source of this document is in AbstractSimplicialComplexes.m2:494:0.