Re: Reducible thue() might be missing solutions

[Bill Allombert <Bill.Allombert@math.u-bordeaux.fr>]

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