Math.RootLoci.Geometry.Mobius

data Partition

The refinement poset of partitions

coarserThan

finerThan

(.==.)

(./=.)

(.<=.)

(.>=.)

(.<.)

(.>.)

closures

fastClosure

fastAntiClosure

closureSet

closureSet'

Mobius function

zetaOf

mobiusOf

helpers

firstLevelDown

firstLevelUp

set partitions

closureSetOfSetPartition

firstLevelDownSetP