I found a small bug in MatringOps.Isunit, file matring.g:
there is code ...if...DeterminantMat <> 0... which works only in characteristic
0. My solution is to replace `0' by `R.field.zero'.
While we're at it, there's a thing I don't understand (yes, i read the manuals)
which is how one defines quotient rings.
Specifically, i want to do some computations in GF(2)[x]/(x^5+x+1),
which abstractly is GF(4)+GF(8); and i want to be able to work directly with
polynomials. The only solution i found is working with the companion matrix
of this polynomial; but it certainly is inefficient and boring to type in.
I also have a problem with the OS/2 version and emacs. the online help does
not work, i think because of some redirections. as a simple proof of that,
create a file named XXX:
and issue 'gapemx < XXX'. It displays a silly message about an invalid
anyways thanks to all those who did the good work.