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

isAntichain -- determines if a given list of vertices is an antichain of a poset

Synopsis

Description

A set of elements of P is called an antichain if no two distinct elements of the set are comparable.
i1 : D = divisorPoset 12;
i2 : isAntichain(D, {2,3})

o2 = true
i3 : isAntichain(D, {2,6})

o3 = false

See also

Ways to use isAntichain :