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

An atom of a poset is an element which covers a minimal element of the poset.

 i1 : atoms booleanLattice 3 o1 = {001, 010, 100} o1 : List i2 : atoms chain 5 o2 = {2} o2 : List