> < ^ From:

> ^ Subject:

Dear GAP Forum,

I've been trying to factor in the polynomial ring over the Gaussian rationals

without success. Could someone explain what I'm doing wrong in the following

example ? Also, what syntax do I need to use to factor over other finite

field extensions ?

gap> x := Indeterminate(GaussianRationals);

X(GaussianRationals)

gap> x.name := "x";

"x"

gap> f := Polynomial(GaussianRationals,[7 - 2 * E(4),5,4 + E(4)]);

(4+E(4))*x^2 + 5*x + (7-2*E(4))

gap> Factors(PolynomialRing(f.baseRing),f);

Error, sorry, can not factor <r> in the ring <R> in

R.operations.Factors( R, r ) called from

Factors( PolynomialRing( f.baseRing ), f ) called from

main loop

brk> f in PolynomialRing(f.baseRing);

true

Many thanks for everyone's time...specific RTFM pointers gratefully accepted

-Lewis McCarthy (lmccarth@klingon.cs.umass.edu)

> < [top]