rediagonalizations