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