divisorPoset(List,List,PolynomialRing) -- generates the poset of divisors

• Function: divisorPoset

• Usage:

  P = divisorPoset(m, n, R)

• Inputs:
  • m, a list, an exponent vector of the lower bound monomial in $R$
  • n, a list, an exponent vector of the upper bound monomial in $R$
  • R, a polynomial ring,
• Outputs:
  • P, an instance of the type Poset,

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