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