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

orderIdeal -- computes the elements above given elements in a poset

Synopsis

Description

The filter of a given set of elements of a poset is all the elements in the poset which are greater than at least one of the elements in the given set.
i1 : P = booleanLattice 3;
i2 : orderIdeal(P, {"001", "100"})

o2 = {000, 001, 100}

o2 : List

See also

Ways to use orderIdeal :