#9457: power series equality fails when trailing coefficients are zero
-------------------------------------+-------------------------------------
       Reporter:  niles              |        Owner:  malb
           Type:  defect             |       Status:  positive_review
       Priority:  major              |    Milestone:  sage-6.2
      Component:  commutative        |   Resolution:
  algebra                            |    Merged in:
       Keywords:                     |    Reviewers:  Peter Bruin
        Authors:  Niles Johnson      |  Work issues:
Report Upstream:  N/A                |       Commit:
         Branch:                     |  9c0b17f8ca77ce881b7b96a7a2b06ef8b856a0d1
  u/pbruin/9457-power_series_comparison|     Stopgaps:  #15748
   Dependencies:  #8198              |
-------------------------------------+-------------------------------------

Comment (by niles):

 This is fantastic!!  Thanks for seeing it through :)

 `padded_list` is indeed slower -- I just suggested it as a simple
 workaround for the stopgap warning.

 The confounding doctest seems to be behaving correctly now -- the
 intermediate steps are consistent with my calculations by hand above, and
 the verbose output is as expected (given that there are still other
 problems with padics):

 {{{
 sage: EllipticCurve('53a1').sha().an_padic(5)
 ...
 verbose 1 (431: sha_tate.py, an_padic) ...computing the p-adic L-series
 verbose 1 (1059: padic_lseries.py, series) using p-adic precision of 4
 verbose 1 (1059: padic_lseries.py, series) Now iterating over 100 summands
 verbose 1 (431: sha_tate.py, an_padic) the leading terms : [0, 0]
 verbose 1 (431: sha_tate.py, an_padic) increased precision to 4
 verbose 1 (1059: padic_lseries.py, series) using p-adic precision of 5
 verbose 1 (1059: padic_lseries.py, series) Now iterating over 500 summands
 verbose 1 (431: sha_tate.py, an_padic) the leading terms : [3 + O(5), 0]
 verbose 1 (431: sha_tate.py, an_padic) ...putting things together
 verbose 1 (431: sha_tate.py, an_padic) the two values for Sha : [1 + O(5),
 0]
 1 + O(5)
 }}}

--
Ticket URL: <http://trac.sagemath.org/ticket/9457#comment:42>
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 unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.

Reply via email to