Georgi Guninski on Wed, 18 Jul 2012 16:39:02 +0200


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

Re: 2.5.1, 2.4.3 are missing solutions in conditional thue


Confirming this is fixed in 2.6.

So this was a coding error?

On Wed, Jul 18, 2012 at 01:46:39AM +0200, Karim Belabas wrote:
> > On Sat, Jul 07, 2012 at 03:34:50PM +0300, Georgi Guninski wrote:
> > > 2.5.1 and 2.4.3 on ubuntu x86_64.
> > > 
> > > ? p=x^3 - 18*x^2 + 81*x + 1;a=3^3
> > > %1 = 27
> > > ? t=thue(thueinit(p,0),a);[#t,t]
> > > %2 = [3, [[0, 3], [3, 0], [19, 2]]]
> > > ? t=thue(thueinit(p,1),a);[#t,t]
> > > %3 = [4, [[0, 3], [3, 0], [27, 3], [19, 2]]]
> > > 
> > > 2.5.1 doesn't give warning, 2.4.3 mentions GRH (surely incorrect).
> 
> Guillaume Hanrot just sent a patch: all these problems are now fixed in
> master (2.6.*), as well as the long-standing bug #951:
> 
>   http://pari.math.u-bordeaux1.fr/cgi-bin/bugreport.cgi?bug=951
> 
> Thanks for your report, and many thanks to Guillaume for the quick patch!
> 
>     K.B.
> 
> commit 672670b66eb3718711cd0e9c81cc01ca4417cefa
> Author: Karim Belabas <Karim.Belabas@math.u-bordeaux1.fr>
> Date:   Wed Jul 18 01:40:53 2012 +0200
> 
>     GH 86- missing solutions in thue(), e.g. thue(thueinit(x^3+92*x+1),3^3)
> -- 
> 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-bordeaux1.fr/~belabas/
> F-33405 Talence (France)       http://pari.math.u-bordeaux1.fr/  [PARI/GP]
> `