diagonalizable

not defined yet