The following example uses the simplicial complex consisting of a triangle of dimension 2 attached to an edge and a isolated vertex.
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 = | 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 |
The object universalSOP is a method function.