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] `