Georgi Guninski on Fri, 13 Jul 2012 09:58:32 +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


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?

On Fri, Jul 13, 2012 at 08:51:22AM +0200, Karim Belabas wrote:
> * Georgi Guninski [2012-07-13 07:56]:
> > Is this really a bug or I am missing something?
> This is a bug. I am investigating this, and so is the original author,
> Guillaume Hanrot. I do not understand where the problem (missing
> solution) comes from yet. It looks like a mathematical bug so far...