# 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

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 :

• "stanleyPosetIdeal(Poset)"

## For the programmer

The object stanleyPosetIdeal is .