#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
-~----------~----~----~----~------~----~------~--~---

Reply via email to