Macaulay2 » Documentation
Packages » Posets :: standardMonomialPoset
next | previous | forward | backward | up | index | toc

standardMonomialPoset -- generates the poset of divisibility in the monomial basis of an ideal

Synopsis

Description

The standard monomial poset of a MonomialIdeal is the poset of monomials in the quotient with partial ordering given by divisibility.

i1 : R = QQ[x,y,z];
 
i2 : standardMonomialPoset monomialIdeal(x^2, y^2, z^2, x*y*z)

o2 = Relation Matrix: | 1 1 1 1 1 1 1 |
                      | 0 1 1 1 0 0 0 |
                      | 0 0 1 0 0 0 0 |
                      | 0 0 0 1 0 0 0 |
                      | 0 0 1 0 1 1 0 |
                      | 0 0 0 0 0 1 0 |
                      | 0 0 0 1 0 1 1 |

o2 : Poset

If the integers minDeg and maxDeg are specified, then only the monomials with degrees between minDeg and maxDeg are used. As the standard monomial poset is ranked, this is the same as taking all the ranks between minDeg and maxDeg.

i3 : standardMonomialPoset(monomialIdeal(x^4, y^4, z^4, x*y*z), 3, 4)

o3 = Relation Matrix: | 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
                      | 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
                      | 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
                      | 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 |
                      | 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 |
                      | 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 |
                      | 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 |
                      | 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 |
                      | 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 |
                      | 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 |
                      | 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 |
                      | 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 |
                      | 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 |
                      | 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 |
                      | 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 |
                      | 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 |
                      | 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 |
                      | 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 |

o3 : Poset

See also

Ways to use standardMonomialPoset :

For the programmer

The object standardMonomialPoset is a method function.