Georgi Guninski on Sat, 14 Jul 2012 08:10:52 +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 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.