Bill Allombert on Fri, 13 Jul 2012 20:58:36 +0200 |
[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]
Re: 2.5.1, 2.4.3 are missing solutions in conditional thue |
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.