Georgi Guninski on Sat, 07 Jul 2012 14:09:15 +0200


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

2.3.4 is missing solutions in conditional thue


2.3.4 on ubuntu x86_64 (installed from the package system).

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.

The documentation suggest dependence only on GRH but I suspect coding bug :)