i1 : divisorPoset 12 o1 = Poset{cache => CacheTable{...6...} } GroundSet => {1, 2, 3, 4, 6, 12} RelationMatrix => | 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 | Relations => {{1, 2}, {1, 3}, {2, 4}, {2, 6}, {3, 6}, {4, 12}, {6, 12}} o1 : Poset |
i2 : divisorPoset 30 o2 = Poset{cache => CacheTable{...6...} } GroundSet => {1, 2, 3, 5, 6, 10, 15, 30} RelationMatrix => | 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 | Relations => {{1, 2}, {1, 3}, {1, 5}, {2, 6}, {2, 10}, {3, 6}, {3, 15}, {5, 10}, {5, 15}, {6, 30}, {10, 30}, {15, 30}} o2 : Poset |