i1 : P = poset {{1,2},{1,3},{1,4}}; |
i2 : adjoinMax(P, 100) o2 = Poset{cache => CacheTable{...2...} } GroundSet => {1, 2, 3, 4, 100} RelationMatrix => | 1 1 1 1 1 | | 0 1 0 0 1 | | 0 0 1 0 1 | | 0 0 0 1 1 | | 0 0 0 0 1 | Relations => {{1, 2}, {1, 3}, {1, 4}, {1, 100}, {2, 100}, {3, 100}, {4, 100}} o2 : Poset |