#6925: Fast way of calculating cuspidal subgroup of J0(N)
-------------------------+--------------------------------------------------
Reporter: syazdani | Owner: tbd
Type: enhancement | Status: new
Priority: major | Milestone:
Component: algebra | Keywords: cuspidal subgroup, modular abelian
variety
Reviewer: | Author:
Merged: |
-------------------------+--------------------------------------------------
This is the first implementation of Ligozat's method of calculating the
rational cuspidal subgroup of J_0(N). This is done by doing linear algebra
in d(N)*d(N) matrices, which seems considerably faster than the modular
symbol methods.
This code is functional at this point. The problems with it are
a) __cmp__ is not called.
b) Hecke operators aren't defined yet.
c) can't coerce specific degree zero cuspidal divisors in our group.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/6925>
Sage <http://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 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
-~----------~----~----~----~------~----~------~--~---