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
|