Re: [sage-devel] Bug with NumberField

2018-10-31 Thread 'Paul Mercat' via sage-devel
Thank you ! Le mardi 30 octobre 2018 15:33:29 UTC+1, vdelecroix a écrit : > > solved at > > https://trac.sagemath.org/ticket/26593 > > Le 26/10/2018 à 16:48, 'Paul Mercat' via sage-devel a écrit : > > Thank you. So the bug is with the test of equality in QQbar, not with > > NumberField. > >

Re: [sage-devel] Bug with NumberField

2018-10-30 Thread Vincent Delecroix
solved at https://trac.sagemath.org/ticket/26593 Le 26/10/2018 à 16:48, 'Paul Mercat' via sage-devel a écrit : Thank you. So the bug is with the test of equality in QQbar, not with NumberField. Do you know how to solve this problem with QQbar ? I tried to look at where is the error, and it

Re: [sage-devel] Bug with NumberField

2018-10-26 Thread Vincent Delecroix
Le 26/10/2018 à 16:04, John Cremona a écrit : On Fri, 26 Oct 2018 at 13:07, 'Paul Mercat' via sage-devel < sage-devel@googlegroups.com> wrote: Hi ! I have a strange bug with NumberField: when I do sage: pi = x^7 - 2*x^6 + x^3 - 2*x^2 + 2*x - 1 sage: b = pi.roots(ring=QQbar)[3][0] sage: pi =

Re: [sage-devel] Bug with NumberField

2018-10-26 Thread 'Paul Mercat' via sage-devel
Thank you. So the bug is with the test of equality in QQbar, not with NumberField. Do you know how to solve this problem with QQbar ? I tried to look at where is the error, and it looks like there is an infinite loop:

Re: [sage-devel] Bug with NumberField

2018-10-26 Thread John Cremona
On Fri, 26 Oct 2018 at 13:07, 'Paul Mercat' via sage-devel < sage-devel@googlegroups.com> wrote: > Hi ! > > I have a strange bug with NumberField: when I do > > sage: pi = x^7 - 2*x^6 + x^3 - 2*x^2 + 2*x - 1 > sage: b = pi.roots(ring=QQbar)[3][0] > sage: pi = b.minpoly() > sage: K =

[sage-devel] Bug with NumberField

2018-10-26 Thread 'Paul Mercat' via sage-devel
Hi ! I have a strange bug with NumberField: when I do sage: pi = x^7 - 2*x^6 + x^3 - 2*x^2 + 2*x - 1 sage: b = pi.roots(ring=QQbar)[3][0] sage: pi = b.minpoly() sage: K = NumberField(pi, 'b', embedding=b) it works well. But if I execute it a second time, then it never terminates! Do you have a

[sage-devel] Bug in NumberField? and use of coercions in equality tests

2009-07-18 Thread Nicolas M. Thiery
Hi! Here are two independent Sage 4.1 sessions which demonstrate that the construction of NumberField's is context dependent: sage: K.x = CyclotomicField(5)[] sage: W.a = NumberField(x^2 + 1) sage: W Number Field in a with defining polynomial x^2 + 1 over