Cantor normal form (source code)

= Cantor normal form
{c}
{wiki}

Every nonzero ordinal has a unique finite expression $\omega^{\delta_1}n_1+\cdots+\omega^{\delta_r}n_r$ with decreasing exponents and positive finite coefficients.