-- -*- M2-comint -*- {* hash: -130979847 *} i1 : G = {a,b,c,d,e}; -- the ground set i2 : R = {(a,b),(b,c),(a,c),(a,d),(d,e)}; --a set of sequences representing relations that "generate" all other relations i3 : P = poset (G,R) -- the matrix encoding these relations is computed by calling this function o3 = Poset{cache => CacheTable } GroundSet => {a, b, c, d, e} RelationMatrix => | 1 1 1 1 1 | | 0 1 1 0 0 | | 0 0 1 0 0 | | 0 0 0 1 1 | | 0 0 0 0 1 | Relations => {(a, b), (b, c), (a, c), (a, d), (d, e)} o3 : Poset i4 :