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

principalFilter -- computes the elements above a given element in a poset

Synopsis

Description

The filter of a given element of a poset is all the elements in the poset which are greater than the element.
i1 : P = booleanLattice 3;
i2 : principalFilter(P, "101")

o2 = {101, 111}

o2 : List

See also

Ways to use principalFilter :