LACS.PAR.8.11: Determine an orthogonal matrix that diagonalizes a given matrix.