Sage 3.3: numerical noise in rings/polynomial/complex_roots.py on cicero & fulvia

[sagetrac-mabshoff]

sage -t  "devel/sage/sage/rings/polynomial/complex_roots.py"
**********************************************************************
File "/home/mariah/sage/sage-3.3-x86-Linux-fc-test/devel/sage/sage/rings/polynom
ial/complex_roots.py", line 271:
   sage: complex_roots(x^2 + 27*x + 181)
Expected:
   [(-14.61803398874990?..., 1), (-12.3819660112501...? + 0.?e-27*I, 1)]
Got:
   [(-12.3819660112501?, 1), (-14.61803398874990? + 0.?e-27*I, 1)]

CC: @sagetrac-cwitty

Component: doctest coverage

Issue created by migration from https://trac.sagemath.org/ticket/5378

[sagetrac-mabshoff]

comment:1

Hmm, the numerical noise of the imaginary part of the root causes the order of the roots for printing to be flipped. I am not sure what to do here except for picking another polynomial, but I have not looked into this in any detail since we might have this particular root for a good reason.

Cheers,

Michael

[sagetrac-cwitty]

comment:2

I don't remember anything special about that polynomial, so I'm fine with changing it.

Other possibilities would include changing the sorting. One possibility would be to remove the code that puts real roots first; another possibility would be to special-case complex interval roots in the sorting, and say that if the imaginary part of a root is an interval that contains 0 then it should sort with the real roots.

[sagetrac-mabshoff]

comment:3

Move this to 3.4.1 since I am closing this as dupe of #5559.

Cheers,

Michael

[sagetrac-mabshoff]

comment:4

The following illustrates the problem and a potential solution:

----------------------------------------------------------------------
| Sage Version 3.4.1.rc3, Release Date: 2009-04-16                   |
| Type notebook() for the GUI, and license() for information.        |
----------------------------------------------------------------------
Loading Sage library. Current Mercurial branch is: review
sage: from sage.rings.polynomial.complex_roots import complex_roots
sage: x = polygen(ZZ) 
sage: complex_roots(x^2 + 27*x + 181)
[(-12.3819660112501?, 1), (-14.61803398874990? + 0.?e-27*I, 1)]
sage: v=complex_roots(x^2 + 27*x + 181)
sage: sorted((v[0][0].real(),v[1][0].real()))
[-14.61803398874990?, -12.3819660112501?]

On another machine we get:

sage: from sage.rings.polynomial.complex_roots import complex_roots
sage:  x = polygen(ZZ)  
sage: complex_roots(x^2 + 27*x + 181)
[(-14.61803398874990? + 0.?e-27*I, 1), (-12.38196601125010? + 0.?e-27*I, 1)]
sage: v=complex_roots(x^2 + 27*x + 181)
sage: sorted((v[0][0].real(),v[1][0].real()))
[-14.61803398874990?, -12.38196601125010?]

Patch coming up.

Cheers,

Michael

[sagetrac-mabshoff]

Attachment: trac_5378.patch.gz

[rbeezer]

comment:6

Builds and tests just fine. Positive review.

[sagetrac-mabshoff]

comment:7

Merged in Sage 3.4.1.rc4.

Cheers,

Michael