Create a complex. The list L is assumed to contain the facets.
The facets are assumed to be of class Face, all of them over the same PolynomialRing.
This command is equivalent to new Complex from L.
i1 : K=QQ; |
i2 : R=K[x_0..x_4]; |
i3 : S=complex {{x_0,x_1},{x_1,x_2},{x_2,x_3},{x_3,x_4},{x_4,x_0}} o3 = {{x , x }, {x , x }, {x , x }, {x , x }, {x , x }} 0 1 1 2 2 3 3 4 4 0 o3 : complex with 5 facets on the vertices x x x x x 0 1 2 3 4 |
i4 : complexToIdeal S o4 = ideal (x x , x x , x x , x x , x x ) 2 4 1 4 1 3 0 3 0 2 o4 : Ideal of R |