i = isGeometric P
The lattice $P$ is geometric if it isAtomic and isUpperSemimodular.
The diamond poset is geometric. Also $n$ booleanLattices are geometric.
|
|
|
|
The following lattice is non-geometric.
|
|
|
The object isGeometric is a method function.