faceDelete -- computes the face deletion for a simplicial complex

• Usage:

  faceDelete(F, S)

• Inputs:
  • F, a ring element, a face of $S$
  • S, an abstract simplicial complex,
• Outputs:
  • T, an abstract simplicial complex, the simplicial complex of all faces in $S$ not containing the face $F$

i1 : R = QQ[a..e];

i2 : S = simplicialComplex {a*b*c*d*e};

i3 : faceDelete(a, S)

o3 = simplicialComplex | bcde |

o3 : SimplicialComplex

i4 : faceDelete(a*b*c, S)

o4 = simplicialComplex | bcde acde abde |

o4 : SimplicialComplex

i5 : faceDelete(a*b*c*d*e, S) === skeleton(3, S)

o5 = true