#2665: error in coercion between CIF and SR
----------------------------------------------------+-----------------------
 Reporter:  ncalexan                                |        Owner:  robertwb  
     Type:  defect                                  |       Status:  new       
 Priority:  minor                                   |    Milestone:  sage-3.4.1
Component:  coercion                                |   Resolution:            
 Keywords:  symbolic SR complex interval field CIF  |  
----------------------------------------------------+-----------------------
Comment (by roed):

 I would say that this is still wrong.  In particular, the result
 {{{
 sage: CIF.has_coerce_map_from(SR)
 True
 }}}
 is incorrect.  But fixing that needs to wait on more general coercion
 rewrites.

 Replying to [comment:1 mhansen]:
 > I now get this:
 >
 > {{{
 > sage: SR(0) * CIF(I)
 > 0
 > sage: _.parent()
 > Complex Interval Field with 53 bits of precision
 > }}}
 >
 > Is that the result you wanted?

-- 
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/2665#comment:2>
Sage <http://sagemath.org/>
Sage - Open Source Mathematical Software: Building the Car Instead of 
Reinventing the Wheel
--~--~---------~--~----~------------~-------~--~----~
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