orthodiag

Orthogonally Diagonalizable Matrix

An matrix is orthogonally diagonalizable if there is an orthogonal matrix such that is a diagonal matrix.