This method generates the divisor poset of the monomials in R whose exponent vectors are given by m and n.
i1 : R = QQ[x,y]; |
i2 : D = divisorPoset({0,1}, {2,2}, R) o2 = D o2 : Poset |
i3 : D == divisorPoset(y, x^2*y^2) o3 = true |