next | previous | forward | backward | up | top | index | toc | Macaulay2 web site

meetExists -- determines if the meet exists

Synopsis

Description

This function determines if greatest element that is less than both a and b in P exists.
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

Caveat

If the meet exists, to find it use posetMeet.

See also

Ways to use meetExists :