> < ^ Date: Tue, 24 May 1994 16:05:00 +0200
> ^ From: Laurent Bartholdi <Laurent.Bartholdi@math.unige.ch >
> ^ Subject: a bug in MatringOps.IsUnit

Hello all,
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:
---------------------
?Group
quit;
---------------------
and issue 'gapemx < XXX'. It displays a silly message about an invalid
expression.

anyways thanks to all those who did the good work.
larry


> < [top]