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 |