-- -*- M2-comint -*- {* hash: -1461980563 *}
i1 : G = {a,b,c,d};
i2 : R = {(a,b), (a,c), (c,d)};
i3 : P = poset (G,R);
i4 : F = filter (P,d)
o4 = {a, c, d}
o4 : List
i5 :
-- -*- M2-comint -*- {* hash: -1461980563 *}
i1 : G = {a,b,c,d};
i2 : R = {(a,b), (a,c), (c,d)};
i3 : P = poset (G,R);
i4 : F = filter (P,d)
o4 = {a, c, d}
o4 : List
i5 :
::
::
::
