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

• Usage:

  I = orderIdeal(P, L)

• Inputs:
  • P, an instance of the type Poset,
  • L, a list, elements of the poset
• Outputs:
  • I, a list, containing all elements less than or equal to at least one of the given elements

i1 : P = booleanLattice 3;

i2 : orderIdeal(P, {"001", "100"})

o2 = {000, 001, 100}

o2 : List