Georgi Guninski on Mon, 12 May 2014 10:19:02 +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


On Sun, May 11, 2014 at 02:25:41PM +0200, Karim Belabas wrote:
> * 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.
>

Are you sure my bug is fixed in master?

Built it today and got worse:

? 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))
%1 = []

(the testcase is the same).