#3979: Power series composition messes up precision
------------------------+---------------------------------------------------
   Reporter:  kedlaya   |          Owner:  somebody                            
       Type:  defect    |         Status:  needs_work                          
   Priority:  critical  |      Milestone:  sage-4.7.2                          
  Component:  algebra   |       Keywords:  power series, composition, precision
Work_issues:            |       Upstream:  N/A                                 
   Reviewer:            |         Author:  Francis Clarke                      
     Merged:            |   Dependencies:                                      
------------------------+---------------------------------------------------

Comment(by fwclarke):

 Replying to [comment:5 kedlaya]:

 Yes, I'm sorry to have missed those failures.

 I've been able to fix most of them.  The code in
 `schemes/elliptic_curves/formal_group.py` was problematic since iterated
 univariate power series were used to approximate a power series ring in
 two variables, but this should be simple to fix with the multiple variable
 power series available in 4.7.1.  More difficult to deal with may be the
 failures in `schemes/hyperelliptic_curves/hyperelliptic_padic_field.py`
 since the problem here is with substitutions in power series with a known
 p-adic radius of convergence.

 I'll get back to this in a couple of weeks.

-- 
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/3979#comment:6>
Sage <http://www.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