#10546: implement a custom cusps() method for principal congruence subgroups
Gamma(N)
-----------------------------+----------------------------------------------
Reporter: rje | Owner: John Cremona
Type: enhancement | Status: needs_review
Priority: minor | Milestone: sage-4.7.1
Component: modular forms | Keywords: inequivalent cusps, principal
congruence subgroup, Gamma(n), cusps()
Work_issues: | Upstream: N/A
Reviewer: | Author: Ron Evans, David Loeffler
Merged: | Dependencies: #10335, #11422, #11598, #5048,
#10453, #11601
-----------------------------+----------------------------------------------
Changes (by newvalueoldvalue):
* status: new => needs_review
* dependencies: => #10335, #11422, #11598, #5048, #10453, #11601
* author: rje => Ron Evans, David Loeffler
Comment:
I made a patch based on the code by rje (Ron Evans, I presume?) above.
It implements {{{cusps}}}, and also {{{are_equivalent}}} and
{{{reduce_cusp}}}. The cusps code is more or less identical to Ron's code
but marginally faster; it also sorts its output, and returns infinity
rather than {{{ 1/N }}} in line with Sage's conventions for the definition
of "reduced".
I built this on top of #11601, so it now depends on that and its
prerequisites (the series of patches which goes #10335 - #11422 - #11598 -
#5048 - #10453 - #11601). I'm hoping these will get positively reviewed
soon (the first three already have been), but if not it would be easy to
recreate the patch without the dependency on #11601.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/10546#comment:1>
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 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.
