#6925: Fast way of calculating cuspidal subgroup of J0(N)
-------------------------------------+-------------------------------------
       Reporter:  syazdani           |        Owner:  tbd
           Type:  enhancement        |       Status:  needs_info
       Priority:  major              |    Milestone:  sage-7.3
      Component:  modular forms      |   Resolution:
       Keywords:  cuspidal           |    Merged in:
  subgroup, modular abelian variety  |
        Authors:                     |    Reviewers:
Report Upstream:  N/A                |  Work issues:
         Branch:  u/chapoton/6925    |       Commit:
                                     |  aada719c43b2312d9bb16e05a7825f8ab785621e
   Dependencies:                     |     Stopgaps:
-------------------------------------+-------------------------------------
Changes (by chapoton):

 * milestone:  sage-7.1 => sage-7.3


Old description:

> 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.
>
> Apply:
>
> * [attachment:trac-6925-rationalcuspidal-rebased-v1.patch]

New description:

 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: <https://trac.sagemath.org/ticket/6925#comment:44>
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 https://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.

Reply via email to