i = isModular P
Let $r$ be the ranking of $P$. Then $P$ is modular if for every pair of vertices $a$ and $b$, $r(a) + r(b) = r(join(a,b)) + r(meet(a,b,))$. That is, $P$ is modular if it isLowerSemimodular and isUpperSemimodular.
The $n$ chain and the $n$ booleanLattice are modular.
|
|
|
The following lattice is not modular.
|
|
|
This method uses the methods isLowerSemimodular and isUpperSemimodular, which were ported from John Stembridge's Maple package available at http://www.math.lsa.umich.edu/~jrs/maple.html#posets.
The object isModular is a method function.