Dear Forum,

It seems that GAP is not willing to consider polynomials over the ring
Z/nZ when n is not prime. For instance,

gap> R:=Integers mod 4;
(Integers mod 4)
gap> x:=Indeterminate(R);
Error, You can only create rational functions over a UFD called from

or

gap> PolynomialRing(R);
Error, You can only create rational functions over a UFD called from
(This makes sense, but I'm not _trying_ to create rational functions -
just polynomials...)

As far as I could tell, the manual doesn't indicate that the underlying
ring needs to be a UFD, but all the examples given are over such rings.
Am I missing something? Is there a workaround? I simply need to make
some horrendous polynomial multiplications over Z/4Z.

Thanks,

Alon

Miles-Receive-Header: reply