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).