structural:expansion, information:classification
Computation

The canonical form x + i y {\displaystyle x+iy} of z w {\displaystyle z^{w}} can be computed from the canonical form of z and w. Although this can be described by a single formula, it is clearer to split the computation in several steps.