This is a Key to a SimplicialComplex C storing its Stanley-Reisner ideal, which will be returned by C.faceIdeal.
The Stanley-Reisner ideal of C can also be obtained by ideal C.
i1 : K=QQ; |
i2 : R=K[x_1..x_5]; |
i3 : C=simplicialComplex monomialIdeal (x_1*x_2,x_3*x_4*x_5) o3 = | x_2x_4x_5 x_1x_4x_5 x_2x_3x_5 x_1x_3x_5 x_2x_3x_4 x_1x_3x_4 | o3 : SimplicialComplex |
i4 : C.faceIdeal o4 = monomialIdeal (x x , x x x ) 1 2 3 4 5 o4 : MonomialIdeal of R |
i5 : ideal C o5 = ideal (x x , x x x ) 1 2 3 4 5 o5 : Ideal of R |