#4000: [with patch, needs work] Implement QQ['x'] via Flint ZZ['x'] + 
denominator
------------------------------+---------------------------------------------
 Reporter:  malb              |       Owner:  somebody       
     Type:  enhancement       |      Status:  new            
 Priority:  major             |   Milestone:  sage-wishlist  
Component:  basic arithmetic  |    Keywords:                 
 Reviewer:                    |      Author:  Martin Albrecht
   Merged:                    |  
------------------------------+---------------------------------------------

Comment(by mhansen):

 This gives the same answers for me before and after the patch.

 {{{
     sage: x = polygen(AA)
     sage: r = QQbar.polynomial_root(x^5 - x - 1, CIF(RIF(0.1, 0.2),
 RIF(1.0, 1.1))); r
     sage: r.real().minpoly()
 }}}

 The only difference is the test on line 2262. It expected

 {{{
     cp = AA.common_polynomial(1/2*x^4 - 1/95*x^3 - 1/2*x^2 - 4)
 }}}

 but got

 {{{
     cp = AA.common_polynomial(x^4 - 2/95*x^3 - x^2 - 8)
 }}}

 I think that this is okay since they only differ by a multiple of 2 and
 thus have the exact same roots.

-- 
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/4000#comment:27>
Sage <http://sagemath.org/>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica, 
and MATLAB

--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups 
"sage-trac" group.
To post to this group, send email to [email protected]
To unsubscribe from this group, send email to 
[email protected]
For more options, visit this group at 
http://groups.google.com/group/sage-trac?hl=en
-~----------~----~----~----~------~----~------~--~---

Reply via email to