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

isBounded -- determines if a poset is bounded

Synopsis

Description

The poset P is bounded if it has a unique minimal element and a unique maximal element.

The n chain and n booleanLattice are bounded.

i1 : n = 5;
i2 : isBounded chain n

o2 = true
i3 : B = booleanLattice n;
i4 : isBounded B

o4 = true

The middle ranks of an n boolean lattice are not bounded.

i5 : isBounded flagPoset(B, {1,2,3,4})

o5 = false

See also

Ways to use isBounded :