next
|
previous
|
forward
|
backward
| up |
top
|
index
|
toc
|
Macaulay2 web site
Posets
::
orderIdeal
orderIdeal -- computes the elements above given elements in a poset
Synopsis
Usage:
I = orderIdeal(P, L)
Inputs:
P
,
an object of class
Poset
L
,
a
list
, elements of the poset
Outputs:
I
,
a
list
, containing all elements greater than at least one of the given elements
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
filter
-- computes the elements above given elements in a poset
principalFilter
-- computes the elements above a given element in a poset
principalOrderIdeal
-- computes the elements below a given element in a poset
Ways to use
orderIdeal
:
orderIdeal(Poset,List)