Karim Belabas on Tue, 29 Apr 2008 22:22:16 +0200


[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]

Re: polmod ^ 0 loses base field modulo?


* Bill Allombert [2008-04-28 23:37]:
> On Mon, Apr 28, 2008 at 02:45:49AM +0200, Carlo Wood wrote:
> > I'm very new to PARI/gp (since yesterday), so probably (hopefully)
> > I'm doing something wrong.  Nevertheless, I really don't understand
> > what that would be.
[...]
> > This SHOULD be the unity of said field, however:
[...]
> Yes, this is a known problem: if P is a polynomial, P^0 always return 1.
[...]
> PS for Karim: maybe we should use ff_poltype to fix this bug.

I just improved on the situation for "simple" (read "factor() would succeed")
polynomials: true multivariate polynomials are not catered for.

In svn, I now get:

(21:46) gp > g=g12^0
%1 = Mod(Mod(1, 2), Mod(1, 2)*t^12 + Mod(1, 2)*t^3 + Mod(1, 2))
(21:46) gp > (1 + Mod(1,3)*x + (1+O(3^20))*x^2)^0
%2 = Mod(1, 3)

Cheers,

    K.B.

P.S: ff_poltype is currently called RgX_type.
--
Karim Belabas, IMB (UMR 5251)  Tel: (+33) (0)5 40 00 26 17
Universite Bordeaux 1          Fax: (+33) (0)5 40 00 69 50
351, cours de la Liberation    http://www.math.u-bordeaux.fr/~belabas/
F-33405 Talence (France)       http://pari.math.u-bordeaux.fr/  [PARI/GP]
`