Checks whether C1 and C2 are equal.
i1 : K=QQ; |
i2 : R=K[x_1..x_3]; |
i3 : C1=simplicialComplex monomialIdeal (x_1*x_2*x_3) o3 = | x_2x_3 x_1x_3 x_1x_2 | o3 : SimplicialComplex |
i4 : C2=simplicialComplex {face {x_1,x_2},face {x_2,x_3},face {x_3,x_1}}
o4 = | x_2x_3 x_1x_3 x_1x_2 |
o4 : SimplicialComplex
|
i5 : C1==C2 o5 = true |