Math.Combinatorics.Poset
data Poset t
implies
isReflexive
isAntisymmetric
isTransitive
isPoset
poset
intervals
interval
chainN
antichainN
divides
divisors
posetD
powerset
posetB
partitions
isRefinement
posetP
intervalPartitions
isInterval
intervalPartitions2
subspaces
isSubspace
posetL
subposet
dsum
dprod
dual
hasseDigraph
reachabilityPoset
isOrderPreserving
orderIsos01
isOrderIso
orderIsos
orderAuts1
pairs
isLinext
linexts