#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.