Partition of an integer (source code)

= Partition of an integer
{wiki}

A partition $\lambda\vdash n$ is a weakly decreasing sequence $\lambda_1\geq\lambda_2\geq\cdots\geq0$ with sum $n$.