#5924: Proposed new method for the OverconvergentModularForms class
---------------------------+------------------------------------------------
Reporter: ljpk | Owner: craigcitro
Type: enhancement | Status: new
Priority: minor | Milestone: sage-3.4.2
Component: modular forms | Keywords:
---------------------------+------------------------------------------------
I would like to propose the addition of a method which will give the
slopes of the U_p operator acting on a space of overconvergent modular
forms. Here is my suggested code:
{{{
def slopes(self, n, use_recurrence=False):
r"""
Compute the slopes of the `U_p` operator acting on self, using an
n x n matrix.
EXAMPLES::
sage:
OverconvergentModularForms(5,2,1/3,base_ring=Qp(5),prec=100).slopes(5)
[0, 2, 5, 6, 9]
sage: sage:
OverconvergentModularForms(2,1,1/3,char=DirichletGroup(4,QQ).0)
[0, 2, 4, 6, 8]
"""
if self.base_ring() == QQ:
slopelist=self.cps_u(n).truncate().newton_slopes(self.prime())
elif is_pAdicField(self.base_ring()):
slopelist=self.cps_u(n).truncate().newton_slopes()
else:
print "slopes are only defined for base field QQ or a p-adic
field"
return [-i for i in slopelist]
}}}
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/5924>
Sage <http://sagemath.org/>
Sage - Open Source Mathematical Software: Building the Car Instead of
Reinventing the Wheel
--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To post to this group, send email to [email protected]
To unsubscribe from this group, send email to
[email protected]
For more options, visit this group at
http://groups.google.com/group/sage-trac?hl=en
-~----------~----~----~----~------~----~------~--~---
