# 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, , 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 .