-- -*- M2-comint -*- hash: 804100021130540349

i1 : S = ZZ/2[a..e];

i2 : F = {a*b*c,c*d,e}

o2 = {a*b*c, c*d, e}

o2 : List

i3 : D = simplicialComplex F

o3 = simplicialComplex | e cd abc |

o3 : SimplicialComplex

i4 : universalSOP D

o4 = {a + b + c + d + e, a*b + a*c + b*c + c*d, a*b*c}

o4 : List

i5 : universalSOP F

o5 = {a + b + c + d + e, a*b + a*c + b*c + c*d, a*b*c}

o5 : List

i6 : 
