Dominance order on partitions (source code)

= Dominance order on partitions
{wiki=Dominance_order}

For partitions of the same integer, $\lambda$ dominates $\mu$ when
$$
\sum_{i=1}^r\lambda_i\geq\sum_{i=1}^r\mu_i
$$
for every $r$.