* *
* On Tue Jan 1 07:50:26 CST 2013* Jianrong Li lijr07 at gmail.com
<maxima%40math.utexas.edu?Subject=Re%3A%20%5BMaxima%5D%20finte%20fields%20in%20maxima&In-Reply-To=%3CCABoaVnU_aQANN0Nfur2DPM8hNomhWeQZGa3MB-Z8ObeFAGq9wg%40mail.gmail.com%3E>
write:
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.
*********************************
I think that you need modulus:2
(%i1) kill(all);
(%o0) done
(%i1) load("diag")$
(%i2) A:matrix([0,-4],[1,4]);
(%o2) matrix([0,-4],[1,4])
(%i3) jordan(A);
(%o3) [[2,2]]
(%i4) dispJordan(%);
(%o4) matrix([2,1],[0,2])
(%i5) modulus:2;
(%o5) 2
(%i6) jordan(A);
(%o6) [[0,2]]
(%i7) dispJordan(%);
(%o7) matrix([0,1],[0,0])
best
Aleksas D