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

Synopsis

• Usage:

  I = stanleyPosetIdeal(P)

• Inputs:
  • P, an instance of the type Poset, A simplicial poset.
• Outputs:
  • I, an ideal, An ideal such that ring(I)/I is the simplicial poset ring of P.

Description

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;