next | previous | forward | backward | up | top | index | toc | Macaulay2 web site
SimplicialPosets :: stanleyPosetIdeal

stanleyPosetIdeal -- Returns ideal that defines the simplicial poset ring of the given simplicial poset.

Synopsis

Description

For details about the definition of this ideal, refer to Stanley's original paper, specifically definition 3.3.

i1 : P = booleanLattice(3);
i2 : I = stanleyPosetIdeal(P);

o2 : Ideal of QQ[x   , x   , x   , x   , x   , x   , x   , x   ]
                  000   001   010   011   100   101   110   111
i3 : SPR := ring(I)/I;

Ways to use stanleyPosetIdeal :