divisorPoset(RingElement,RingElement) -- generates the poset of divisors with a lower and upper bound

• Function: divisorPoset

• Usage:

  P = divisorPoset(m, n)

• Inputs:
  • m, a ring element, the lower bound, which divides $n$
  • n, a ring element, the upper bound, which is a multiple of $m$
• Outputs:
  • P, an instance of the type Poset,

i1 : R = QQ[x,y];

i2 : divisorPoset(x*y-x, x^2*y^2 - 2*x^2*y + x^2)

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

o2 : Poset