#15737: Problem in an_padic
-------------------------------------+-------------------------------------
       Reporter:  wuthrich           |        Owner:
           Type:  defect             |       Status:  needs_review
       Priority:  major              |    Milestone:  sage-6.2
      Component:  elliptic curves    |   Resolution:
       Keywords:  padic l-functions  |    Merged in:
        Authors:  Chris Wuthrich     |    Reviewers:
Report Upstream:  N/A                |  Work issues:
         Branch:                     |       Commit:
  u/wuthrich/ticket/15737            |  afe228dbcd688562d4aed0872376af918f67c023
   Dependencies:                     |     Stopgaps:
-------------------------------------+-------------------------------------

Comment (by pbruin):

 Would it be possible to solve the problem instead by fixing the `series`
 method of `pAdicLSeriesOrdinary`, and similarly of
 `pAdicLSeriesSupersingular`, rather than the call to it?  I mean something
 like this:
 {{{
 #!diff
 diff --git a/src/sage/schemes/elliptic_curves/padic_lseries.py
 b/src/sage/schemes/elliptic_curves/padic_lseries.py
 index c964189..ced0472 100644
 --- a/src/sage/schemes/elliptic_curves/padic_lseries.py
 +++ b/src/sage/schemes/elliptic_curves/padic_lseries.py
 @@ -882,8 +882,11 @@ class pAdicLseriesOrdinary(pAdicLseries):
              print 'Warning : For p=2 the normalization might not be
 correct !'
          #verbose("computing L-series for p=%s, n=%s, and
 prec=%s"%(p,n,prec))

 -        bounds = self._prec_bounds(n,prec)
 -        padic_prec = max(bounds[1:]) + 5
 +        if prec <= 1:
 +            padic_prec = 5
 +        else:
 +            bounds = self._prec_bounds(n, prec)
 +            padic_prec = max(bounds[1:]) + 5
          verbose("using p-adic precision of %s"%padic_prec)

          res_series_prec = min(p**(n-1), prec)
 }}}
 This would also make the following work:
 {{{
 sage: Et=EllipticCurve([-1,0])
 sage: lp=Et.padic_lseries(13)
 sage: lp.series(3, prec=1)
 6 + 12*13 + O(13^3) + O(T)
 }}}

--
Ticket URL: <http://trac.sagemath.org/ticket/15737#comment:3>
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