i1 : P = poset {{1,2}, {1,3}}; |
i2 : distributiveLattice P o2 = Relation Matrix: | 1 1 1 1 1 | | 0 1 1 1 1 | | 0 0 1 1 0 | | 0 0 0 1 0 | | 0 0 0 1 1 | o2 : Poset |
i3 : distributiveLattice chain 3 o3 = Relation Matrix: | 1 1 1 1 | | 0 1 1 1 | | 0 0 1 1 | | 0 0 0 1 | o3 : Poset |