Example: Is this matrix diagonalizable?