Dear all, How could I let the default field in maxima to be the two element field F_2= {0, 1} (1+1=0)? I have a matrix over F_2 and want to check that whether it is diagonalizable or not. How could I do this? Thank you very much. With best wishes, Jianrong.