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

• Usage:

  A = atoms P

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

i1 : atoms booleanLattice 3

o1 = {001, 010, 100}

o1 : List

i2 : atoms chain 5

o2 = {2}

o2 : List