Re: 2.5.1, 2.4.3 are missing solutions in conditional thue

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

On Fri, Jul 13, 2012 at 10:58:29AM +0300, Georgi Guninski wrote:
> Thanks.
> 
> Isn't bnfisintnorm() missing solutions in all of the testcases?
> 
> Appears to me the missing thue solution should be a degree 1 sol.
> to bnfisintnorm() too?

? bnfisintnorm(bnfinit(x^3 - 18*x^2 + 81*x + 1),27)
%16 = [-2/3*x^2+17/3*x+13/3,3,-2*x+19,1/3*x^2-13/3*x+40/3]

omit the solution -3*x+27, however this is correct since it is
3*(9-x) and 9-x is a unit of positive norm, and 3 is in the list.

Or maybe were you thinking of something else ?

Cheers,
Bill.