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.

Sorts the input, and cuts the nonpositive elements.

Assumes that the input is decreasing.

Checks whether the input is an integer partition. See the note at isPartition!

This returns True if the input is non-increasing sequence of positive integers (possibly empty); False otherwise.

The first element of the sequence.

The length of the sequence (that is, the number of parts).

The weight of the partition (that is, the sum of the corresponding sequence).

The dual (or conjugate) partition.

A simpler, but bit slower (about twice?) implementation of dual partition

From a sequence [a1,a2,..,an] computes the sequence of differences [a1-a2,a2-a3,...,an-0]

Example:

elements (toPartition [5,4,1]) ==
  [ (1,1), (1,2), (1,3), (1,4), (1,5)
  , (2,1), (2,2), (2,3), (2,4)
  , (3,1)
  ]

We convert a partition to exponential form. (i,e) mean (i^e); for example [(1,4),(2,3)] corresponds to (1^4)(2^3) = [2,2,2,1,1,1,1]. Another example:

toExponentialForm (Partition [5,5,3,2,2,2,2,1,1]) == [(1,2),(2,4),(3,1),(5,2)]

Computes the number of "automorphisms" of a given integer partition.

Partitions of d.

Partitions of d, as lists

All integer partitions up to a given degree (that is, all integer partitions whose sum is less or equal to d)

All integer partitions up to a given degree (that is, all integer partitions whose sum is less or equal to d), grouped by weight

All integer partitions fitting into a given rectangle.

All integer partitions fitting into a given rectangle, grouped by weight.

# = \binom { h+w } { h }

Integer partitions of d, fitting into a given rectangle, as lists.

Partitions of d, fitting into a given rectangle. The order is again lexicographic.

q `dominates` p returns True if q >= p in the dominance order of partitions (this is partial ordering on the set of partitions of n).

See http://en.wikipedia.org/wiki/Dominance_order

Lists all partitions of the same weight as lambda and also dominated by lambda (that is, all partial sums are less or equal):

dominatedPartitions lam == [ mu | mu <- partitions (weight lam), lam `dominates` mu ]

Lists all partitions of the sime weight as mu and also dominating mu (that is, all partial sums are greater or equal):

dominatingPartitions mu == [ lam | lam <- partitions (weight mu), lam `dominates` mu ]

Lists partitions of n into k parts.

sort (partitionsWithKParts k n) == sort [ p | p <- partitions n , numberOfParts p == k ]

Naive recursive algorithm.

Partitions of n with only odd parts

Partitions of n with distinct parts.

Note:

length (partitionsWithDistinctParts d) == length (partitionsWithOddParts d)

Returns True of the first partition is a subpartition (that is, fit inside) of the second. This includes equality

Sub-partitions of a given partition with the given weight:

sort (subPartitions d q) == sort [ p | p <- partitions d, isSubPartitionOf p q ]

All sub-partitions of a given partition

The Pieri rule computes s[lambda]*h[n] as a sum of s[mu]-s (each with coefficient 1).

See for example http://en.wikipedia.org/wiki/Pieri's_formula

The dual Pieri rule computes s[lambda]*e[n] as a sum of s[mu]-s (each with coefficient 1)

Which orientation to draw the Ferrers diagrams. For example, the partition [5,4,1] corrsponds to:

In standard English notation:

 @@@@@
 @@@@
 @

In English notation rotated by 90 degrees counter-clockwise:

@  
@@
@@
@@
@@@

And in French notation:

 @
 @@@@
 @@@@@

Synonym for asciiFerrersDiagram' EnglishNotation '@'

Try for example:

autoTabulate RowMajor (Right 8) (map asciiFerrersDiagram $ partitions 9)