Re: 2.3.4 is missing solutions in conditional thue

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

On Sat, Jul 07, 2012 at 03:09:09PM +0300, Georgi Guninski wrote:
> 2.3.4 on ubuntu x86_64 (installed from the package system).

Hello Georgi,

Which Ubuntu release are you using? It is my understanding that all recent
Ubuntu release provides at least PARI 2.5.0.

> Conditional thue is missing solutions:
> 
> ? t=thue(thueinit(x^3+92*x+1,0),3^3);t
>   *** thue: Warning: Non trivial conditional class group.
>   *** May miss solutions of the norm equation.
> %4 = [[3, 0]]
> ? t=thue(thueinit(x^3+92*x+1,1),3^3);t
> %5 = [[3, 0], [0, 3], [3, -276]]
> 
> On 2.5.1 (coming with sage) don't get a warning and the result is correct.

Yes, this was a known bug in PARI 2.3 which is fixed in 2.5.0.
We do not support PARI 2.3 anymore.
A lot of problem with thue() has been fixed in PARI 2.5.

Cheers,
Bill.