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
|
The object standardMonomialPoset is a method function.