|Bill Allombert on Sat, 10 May 2014 14:50:48 +0200|
[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]
|Re: Reducible thue() might be missing solutions|
On Sat, May 10, 2014 at 01:31:14PM +0300, Georgi Guninski wrote: > 2.5.5 on linux. > > Reducible thue appears to miss solution, > as shown: > > ? A=10946;B=6765;F=(A*x-B*y)*(x^2+x*y-y^2);th=thueinit(subst(F,y,1),1);so=thue(th,1) > %7 = [[4181, 6765], [10946, 17711]] > ? so2=[2584, 4181];subst(subst(F,x,so2),y,so2) > %8 = 1 Over the years, a number of various bugs in thue has been reported. Unfortunately, neither Karim nor I use it much, so it would be quite useful if users of the function provided various families of test-cases. Cheers, Bill.