divisorPoset -- generates the poset of divisors

Synopsis

• Usage:
P = divisorPoset n
• Inputs:
• Outputs:
• P, an instance of the type Poset,

Description

The divisor poset of an integer is the poset of positive divisors of an integer $n$ with order induced by divisibility.

 i1 : divisorPoset 12 o1 = 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 | o1 : Poset i2 : divisorPoset 30 o2 = Relation Matrix: | 1 1 1 1 1 1 1 1 | | 0 1 0 0 1 1 0 1 | | 0 0 1 0 1 0 1 1 | | 0 0 0 1 0 1 1 1 | | 0 0 0 0 1 0 0 1 | | 0 0 0 0 0 1 0 1 | | 0 0 0 0 0 0 1 1 | | 0 0 0 0 0 0 0 1 | o2 : Poset