Unitary diagonalization of a normal matrix (source code)

= Unitary diagonalization of a normal matrix

Every finite-dimensional complex normal matrix has an orthonormal eigenbasis, equivalently
$$
U^\dagger AU=D
$$
for some unitary $U$ and diagonal $D$.