Math.Combinat.Partitions.Integer

Type and basic stuff

data Partition

mkPartition

toPartitionUnsafe

toPartition

isPartition

isEmptyPartition

emptyPartition

fromPartition

partitionHeight

partitionWidth

heightWidth

partitionWeight

dualPartition

data Pair

_dualPartition

_dualPartitionNaive

diffSequence

elements

_elements

Exponential form

toExponentialForm

_toExponentialForm

fromExponentialFrom

Automorphisms

countAutomorphisms

_countAutomorphisms

Generating partitions

partitions

_partitions

countPartitions

countPartitionsNaive

partitionCountList

partitionCountListNaive

allPartitions

allPartitionsGrouped

allPartitions'

allPartitionsGrouped'

countAllPartitions'

countAllPartitions

_partitions'

partitions'

countPartitions'

Random partitions

randomPartition

randomPartitions

Dominance order

dominates

dominatedPartitions

_dominatedPartitions

dominatingPartitions

_dominatingPartitions

Partitions with given number of parts

partitionsWithKParts

countPartitionsWithKParts

Partitions with only odd/distinct parts

partitionsWithOddParts

partitionsWithDistinctParts

Sub- and super-partitions of a given partition

isSubPartitionOf

isSuperPartitionOf

subPartitions

_subPartitions

allSubPartitions

_allSubPartitions

superPartitions

_superPartitions

The Pieri rule

pieriRule

dualPieriRule

ASCII Ferrers diagrams

data PartitionConvention

asciiFerrersDiagram

asciiFerrersDiagram'