isBoolean -- Determine if a poset is a boolean algebra.

Synopsis

Usage:

r = isBoolean(P)
Inputs:
- P, an instance of the type Poset, The poset to be tested
Outputs:
- r, a Boolean value, Whether the given poset is a boolean algebra or not

Description

Every finite boolean algebra is atomic and the number of atoms determines its isomorphism class.

This makes it possible to use the atoms method to determine the necessary isomorphism class of P and use the areIsomorphic method to check if the required isomorphism holds.

i1 : P = booleanLattice(3);

i2 : isBoolean(P)

o2 = true

Ways to use isBoolean :

isBoolean(Poset)

For the programmer

The object isBoolean is a method function.