i1 : P = booleanLattice 3; |
i2 : closedInterval(P, "001", "111") o2 = Poset{cache => CacheTable{} } GroundSet => {001, 011, 101, 111} RelationMatrix => | 1 1 1 1 | | 0 1 0 1 | | 0 0 1 1 | | 0 0 0 1 | Relations => {{001, 011}, {001, 101}, {001, 111}, {011, 111}, {101, 111}} o2 : Poset |