diagonalization

not defined yet