i1 : G = {1,2,3,4}; -- the ground set |
i2 : R = {{1,2},{1,3},{2,4},{3,4}}; -- a list of relations "generating" all relations |
i3 : P = poset(G, R) -- the poset with its relations matrix computed o3 = Poset{cache => CacheTable{} } GroundSet => {1, 2, 3, 4} RelationMatrix => | 1 1 1 1 | | 0 1 0 1 | | 0 0 1 1 | | 0 0 0 1 | Relations => {{1, 2}, {1, 3}, {2, 4}, {3, 4}} o3 : Poset |