Georgi Guninski on Sat, 10 May 2014 12:31:23 +0200


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

Reducible thue() might be missing solutions


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[1]),y,so2[2])
%8 = 1

Same with thueinit(,0).