divisorPoset(RingElement) -- generates the poset of divisors

Synopsis

• Function: divisorPoset

• Usage:

  P = divisorPoset m

• Inputs:
  • m, a ring element, which is a polynomial
• Outputs:
  • P, an instance of the type Poset,

Description

i1 : R = QQ[x,y];

i2 : divisorPoset(x^2*y)

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

o2 : Poset

i3 : divisorPoset(x*y^2 - 2*x*y + x)

o3 = Relation Matrix: | 1 1 1 1 1 1 |
                      | 0 1 0 1 1 1 |
                      | 0 0 1 0 1 1 |
                      | 0 0 0 1 0 1 |
                      | 0 0 0 0 1 1 |
                      | 0 0 0 0 0 1 |

o3 : Poset

See also

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