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

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

Synopsis

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 :