#11631: L-series attached to cusp forms are broken
-------------------------+-------------------------------------------------
       Reporter:  was    |        Owner:  was
           Type:         |       Status:  needs_review
  defect                 |    Milestone:  sage-6.4
       Priority:  major  |   Resolution:
      Component:         |    Merged in:
  number theory          |    Reviewers:  Michael Neururer
       Keywords:         |  Work issues:
        Authors:         |       Commit:
  tornaria               |  1939a9cc8480d42441bb4f71a784ac85e934b80b
Report Upstream:  N/A    |     Stopgaps:
         Branch:         |
  u/tornaria/11631       |
   Dependencies:         |
  #16916                 |
-------------------------+-------------------------------------------------

Old description:

> {{{
> sage: C = CuspForms(43,2)
> sage: N = C.newforms('a')
> sage: f = N[1]
> sage: L = f.cuspform_lseries()
> Boom!
> }}}
>
> There are two issues:
>
>   (1) the code doesn't work at all when the degree of the form is > 1,
> which is the main interesting case,
>
>   (2) the name "cuspform_lseries" is bad, since f is already a cuspform,
> and we use the name "lseries" in all other places (e.g., elliptic curves,
> abelian varieties), so it is hard to find.  In fact, I didn't even think
> to look for cuspform_lseries, instead only finding this via lots of
> grepping and reading source code.
>
> So to fix this issue, I think (1) the bug should get fixed, and (2) the
> name should be changed (actually *deprecate* the old name as explained in
> the developers guide and introduce the name lseries).
>
> See also #12015.

New description:

 {{{
 sage: C = CuspForms(43,2)
 sage: N = C.newforms('a')
 sage: f = N[1]
 sage: L = f.cuspform_lseries()
 Boom!
 }}}

 There are two issues:

   (1) the code doesn't work at all when the degree of the form is > 1,
 which is the main interesting case,

   (2) the name "cuspform_lseries" is bad, since f is already a cuspform,
 and we use the name "lseries" in all other places (e.g., elliptic curves,
 abelian varieties), so it is hard to find.  In fact, I didn't even think
 to look for cuspform_lseries, instead only finding this via lots of
 grepping and reading source code.

 So to fix this issue, I think (1) the bug should get fixed, and (2) the
 name should be changed (actually *deprecate* the old name as explained in
 the developers guide and introduce the name lseries).

 See also #12015.

 The part about deprecating cuspform_lseries() is moved to #16917.

--

Comment (by tornaria):

 I moved the part about deprecation to #16917 so the bugfix can be reviewed
 and merged independently.

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