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
Usage:
i = isAntichain(P, L)
Inputs:
P
,
an object of class
Poset
L
,
a
list
, containing elements of
P
Outputs:
i
,
a
Boolean value
, whether
L
is an antichain of
P
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
antichains
-- computes all antichains of a poset
Ways to use
isAntichain
:
isAntichain(Poset,List)