-- -*- M2-comint -*- {* hash: -884324957 *} i1 : loadPackage "SimplicialComplexes"; i2 : R = ZZ[a..e]; i3 : sphere = simplicialComplex monomialIdeal(a*b*c*d*e) o3 = | bcde acde abde abce abcd | o3 : SimplicialComplex i4 : facets sphere o4 = | bcde acde abde abce abcd | 1 5 o4 : Matrix R <--- R i5 : D = simplicialComplex {e, c*d, b*d, a*b*c, a*b, c} o5 = | e cd bd abc | o5 : SimplicialComplex i6 : facets D o6 = | e cd bd abc | 1 4 o6 : Matrix R <--- R i7 :