next | previous | forward | backward | up | top | index | toc | Macaulay2 web site
SimplicialDecomposability :: isSheddingFace

isSheddingFace -- determines whether a face of a simplicial complex is a shedding face

Synopsis

Description

Definition 3.1 in [Wo] states that a face F of a simplicial complex S is a shedding face if every face G of the star of S by F satisfies the exchange property, that is, for every vertex v of F there is a vertex w of the face deletion of S by G such that (G ∪w) \v is a face of S.
i1 : R = QQ[a..e];
i2 : T = simplicialComplex {a*b*c, b*c*d, c*d*e};
i3 : isSheddingFace(b*d, T)

o3 = true
i4 : isSheddingFace(b*c*d, T)

o4 = false

See also

Ways to use isSheddingFace :