next | previous | forward | backward | up | top | index | toc | Macaulay2 website
SimplicialPosets :: isBoolean

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



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 :

For the programmer

The object isBoolean is a method function.