I am looking for the name of the following map $t(\mu)$, defined for integer partitions $\mu=\mu_1\geq\mu_2\geq\dots$:
- if $\mu$ is empty, return $\mu$.
- if the first part $\mu_1$ of $\mu$ is at least the number of parts of $\mu$, return the partition $\mu_1, t(\mu_2,\dots)$
- otherwise, let $\lambda=\mu^t$ and return $\lambda_1, t(\lambda_2,\dots)$.
One property of $t$ is that $t(\mu)$ dominates $\mu$, but I'm not sure whether this is the maps natural context.