\(L\)-series#

\(L\)-series of \(\Delta\)#

Thanks to wrapping work of Jennifer Balakrishnan of M.I.T., we can compute explicitly with the \(L\)-series of the modular form \(\Delta\). Like for elliptic curves, behind these scenes this uses Dokchitsers \(L\)-functions calculation Pari program.

sage: L = delta_lseries(); L
L-series of conductor 1 and weight 12
sage: L(1)
0.0374412812685155
>>> from sage.all import *
>>> L = delta_lseries(); L
L-series of conductor 1 and weight 12
>>> L(Integer(1))
0.0374412812685155

\(L\)-series of a Cusp Form#

In some cases we can also compute with \(L\)-series attached to a cusp form.

sage: f = CuspForms(2,8).newforms()[0]
sage: L = f.lseries()
sage: L(1)
0.0884317737041015
sage: L(0.5)
0.0296568512531983
>>> from sage.all import *
>>> f = CuspForms(Integer(2),Integer(8)).newforms()[Integer(0)]
>>> L = f.lseries()
>>> L(Integer(1))
0.0884317737041015
>>> L(RealNumber('0.5'))
0.0296568512531983

\(L\)-series of a General Newform is Not Implemented#

Unfortunately, computing with the \(L\)-series of a general newform is not yet implemented.

sage: S = CuspForms(23,2); S
Cuspidal subspace of dimension 2 of Modular Forms space of
dimension 3 for Congruence Subgroup Gamma0(23) of weight
2 over Rational Field
sage: f = S.newforms('a')[0]; f
q + a0*q^2 + (-2*a0 - 1)*q^3 + (-a0 - 1)*q^4 + 2*a0*q^5 + O(q^6)
>>> from sage.all import *
>>> S = CuspForms(Integer(23),Integer(2)); S
Cuspidal subspace of dimension 2 of Modular Forms space of
dimension 3 for Congruence Subgroup Gamma0(23) of weight
2 over Rational Field
>>> f = S.newforms('a')[Integer(0)]; f
q + a0*q^2 + (-2*a0 - 1)*q^3 + (-a0 - 1)*q^4 + 2*a0*q^5 + O(q^6)

Computing with \(L(f,s)\) totally not implemented yet, though should be easy via Dokchitser.