-- -*- M2-comint -*- {* hash: -452774562 *}

i1 : loadPackage "SimplicialComplexes";

i2 : R = ZZ[a..e];

i3 : sphere = simplicialComplex {b*c*d*e,a*c*d*e,a*b*d*e,a*b*c*e,a*b*c*d}

o3 = | bcde acde abde abce abcd |

o3 : SimplicialComplex

i4 : monomialIdeal sphere

o4 = monomialIdeal(a*b*c*d*e)

o4 : MonomialIdeal of R

i5 : D = simplicialComplex {e, c*d, b*d, a*b*c}

o5 = | e cd bd abc |

o5 : SimplicialComplex

i6 : monomialIdeal D

o6 = monomialIdeal (a*d, b*c*d, a*e, b*e, c*e, d*e)

o6 : MonomialIdeal of R

i7 :