Math.Combinat.Partitions.Integer

Type and basic stuff

data Partition

class HasNumberOfParts p

mkPartition

toPartitionUnsafe

toPartition

isPartition

fromPartition

height

width

heightWidth

weight

dualPartition

_dualPartition

elements

_elements

Automorphisms

countAutomorphisms

_countAutomorphisms

Dominance order

dominates

Generating partitions

_partitions'

partitions'

countPartitions'

_partitions

partitions

countPartitions

allPartitions'

allPartitions

countAllPartitions'

countAllPartitions

Partitions with given number of parts

partitionsWithKParts

countPartitionsWithKParts

Sub-partitions of a given partition

isSubPartitionOf

subPartitions

_subPartitions

allSubPartitions

_allSubPartitions

ASCII Ferrers diagrams

data PartitionConvention

asciiFerrersDiagram

asciiFerrersDiagram'