coincident-root-loci-0.2: Equivariant CSM classes of coincident root loci

Math.RootLoci.Geometry.Mobius

Description

Mobius inversion for the coarsening poset of partitions

Synopsis

# Documentation

newtype Partition :: * #

A partition of an integer. The additional invariant enforced here is that partitions are monotone decreasing sequences of positive integers. The Ord instance is lexicographical.

Constructors

 Partition [Int]

Instances

 Methods Methods Methods MethodsshowList :: [Partition] -> ShowS # Methods Methods Methods Methods Methods Methods Methods Source # Methods Source # MethodsmonoCache :: (Partition -> a) -> Partition -> a Source #

# closures

Fast computation of a single closure

Fast computation of a single "anticlosure" (opposite poset)

Caches and reuses all closures (lazily), this is the fastest version

The closure without the stratum itself

# Mobius function

Zeta function of the refinement poset

Mobius function of the refinement poset

# helpers

Merging two parts

Splitting one part into two