atoms -- computes the list of elements covering the minimal elements of a poset

Synopsis

• Usage:

  A = atoms P

• Inputs:
  • P, an instance of the type Poset,
• Outputs:
  • A, a list, elements covering the minimal elements of a poset

Description

i1 : atoms booleanLattice 3

o1 = {001, 010, 100}

o1 : List

i2 : atoms chain 5

o2 = {2}

o2 : List

See also

• coveringRelations -- computes the minimal list of generating relations of a poset
• minimalElements -- determines the minimal elements of a poset