-- -*- M2-comint -*- hash: 6973199786318841862

i1 : G = {1,2,3,4};                  -- the ground set

i2 : R = {{1,2},{1,3},{2,4},{3,4}};  -- a list of cover relations

i3 : P = poset(G, R)                 -- the poset with its relations matrix computed

o3 = P

o3 : Poset

i4 : 
