next | previous | forward | backward | up | top | index | toc | Macaulay2 website
SimplicialComplexes :: faceIdeal

faceIdeal -- Key to simplicial complex.

Description

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

See also

For the programmer

The object faceIdeal is a symbol.