-- -*- M2-comint -*- {* hash: 67786877 *} i1 : P = poset ({a,b,c,d,e}, {(a,d),(b,d),(b,e),(c,e)}); i2 : joinExists (P,d,e) o2 = false i3 : joinExists(P,a,b) o3 = true i4 :
-- -*- M2-comint -*- {* hash: 67786877 *} i1 : P = poset ({a,b,c,d,e}, {(a,d),(b,d),(b,e),(c,e)}); i2 : joinExists (P,d,e) o2 = false i3 : joinExists(P,a,b) o3 = true i4 :