Math.Combinat.Partitions.Integer

Type and basic stuff

data Partition

class HasNumberOfParts p

mkPartition

toPartitionUnsafe

toPartition

isPartition

fromPartition

height

width

heightWidth

weight

dualPartition

data Pair

_dualPartition

_dualPartitionNaive

diffSequence

elements

_elements

Exponential form

toExponentialForm

_toExponentialForm

fromExponentialFrom

Automorphisms

countAutomorphisms

_countAutomorphisms

Generating partitions

partitions

_partitions

countPartitions

allPartitions

allPartitionsGrouped

allPartitions'

allPartitionsGrouped'

countAllPartitions'

countAllPartitions

_partitions'

partitions'

countPartitions'

Dominance order

dominates

dominatedPartitions

_dominatedPartitions

dominatingPartitions

_dominatingPartitions

Partitions with given number of parts

partitionsWithKParts

countPartitionsWithKParts

Partitions with only odd/distinct parts

partitionsWithOddParts

partitionsWithDistinctParts

Sub-partitions of a given partition

isSubPartitionOf

subPartitions

_subPartitions

allSubPartitions

_allSubPartitions

The Pieri rule

pieriRule

dualPieriRule

ASCII Ferrers diagrams

data PartitionConvention

asciiFerrersDiagram

asciiFerrersDiagram'