Karim Belabas on Sun, 11 May 2014 14:25:58 +0200


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

Re: More thue() troubles in master/2.5.5 after the roots patch


* Georgi Guninski [2014-05-11 13:00]:
> This appears an ``issue'' to me on today master
> and 2.5.5
> 
> ? F=(2*x^3+2*y^3)^3*(3*x+3*y)^3;th=thueinit(subst(F,y,1),1);so=thue(th,subst(subst(F,x,2),y,1))
> %23 = [[2, 1], [1, 2]]
> ? subst(subst(F,x,-2),y,-1)
> %24 = 4251528
> ? subst(subst(F,x,2),y,1)
> %25 = 4251528
> ? %25==%24
> %26 = 1
> 
> [-2,-1] and the like are missing IMHO.

They are. :-(

In fact thue(f^e*g,...), (f,g)=1, e even, where f irreducible and
  deg f <= min{deg P : P | g}
missed solutions such that f < 0.

Fixed in master.

Cheers,

    K.B.
--
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/~kbelabas/
F-33405 Talence (France)       http://pari.math.u-bordeaux1.fr/  [PARI/GP]
`