Check whether A = {{ 0, -1 }, {1, 0 }} is diagonalizable over R and over