star(Delta, F)
Given a subset $F$ of the vertices in an abstract simplicial complex $\Delta$, the star of $F$ is the set of faces $G$ in $\Delta$ such that the union of $G$ and $F$ is also a face in $\Delta$. This set forms a subcomplex of $\Delta$. When the subset $F$ is not face in $\Delta$, the star of $F$ is a void complex (having no facets).
The star of a subset $F$ may be the entire complex, a proper subcomplex, or the void complex.
|
|
|
|
|
|
|
|
The source of this document is in /build/reproducible-path/macaulay2-1.25.05+ds/M2/Macaulay2/packages/SimplicialComplexes/Documentation.m2:1942:0.