i = isGraded P
The poset $P$ is graded if all of its maximalChains are the same length.
Clearly, the $n$ chain and the $n$ booleanLattice are graded.
|
|
|
However, the pentagon lattice is not graded.
|
|
The object isGraded is a method function.