Diagonalization of a matrix (source code)

= Diagonalization of a matrix

A diagonalization is a factorization $A=PDP^{-1}$ in which $D$ is diagonal and the columns of $P$ form an eigenvector basis.