Menu
Force variables
Charge:
Links:
Enable editing
Hide labels
Highlight comparable elements
Fix extremal nodes
Reset nodes
Turn on force
Generate TikZ code
Boolean tests ▾
isAtomic
isBounded
isDistributive
isGeometric
isGraded
isLattice
isLowerSemilattice
isLowerSemimodular
isModular
isRanked
isSperner
isStrictSperner
isUpperSemilattice
isUpperSemimodular
Numerical invariants ▾
dilworthNumber
End session