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

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 : ideal sphere

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

o4 : Ideal of R

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

o5 = | e cd bd abc |

o5 : SimplicialComplex

i6 : ideal D

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

o6 : Ideal of R

i7 :