-- -*- M2-comint -*- {* hash: -2033841715 *}

i1 : P = poset ({a,b,c,d,e,f}, {(a,d),(d,f),(b,d),(b,e),(c,e),(e,f)});

i2 : isLattice (P)

o2 = false

i3 : P = poset ({a,b,c,d,e,f,x}, {(a,d),(d,f),(b,d),(b,e),(c,e),(e,f), (x,a), (x,b), (x,c)});

i4 : isLattice (P)

o4 = true

i5 :