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