Re: 2.5.1, 2.4.3 are missing solutions in conditional thue

[Georgi Guninski <guninski@guninski.com>]

On Fri, Jul 13, 2012 at 08:58:20PM +0200, Bill Allombert wrote:
> 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.


I meant exactly that. Your argument makes sense, sorry for the noise.