Poset _ List -- returns elements of the ground set

Synopsis

• Operator: _

• Usage:

  V = P_L

• Inputs:
  • P, an instance of the type Poset,
  • L, a list, indices in the ground set
• Outputs:
  • V, a list, the vertices indexed by $L$ in the ground set

Description

i1 : P = booleanLattice 3;

i2 : P_{2,4,5}

o2 = {010, 100, 101}

o2 : List

See also

• Poset _ ZZ -- returns an element of the ground set
• Poset _* -- returns the ground set of a poset
• Poset -- a class for partially ordered sets (posets)