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

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:6925-rationalcuspidal.patch]
> * [attachment:trac_6925_addon1.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.

 Apply:

 * [attachment:6925-rationalcuspidal.patch]
 * [attachment:trac_6925_addon1.patch]

--

--
Ticket URL: <http://trac.sagemath.org/ticket/6925#comment:19>
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 http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/groups/opt_out.

Reply via email to