#5048: congruence subgroups are not integrated into the coercion model
------------------------------+---------------------------------------------
Reporter: ncalexan | Owner: craigcitro
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-4.6.1
Component: modular forms | Keywords: congruence subgroup coercion
Author: David Loeffler | Upstream: N/A
Reviewer: | Merged:
Work_issues: |
------------------------------+---------------------------------------------
Changes (by newvalueoldvalue):
* status: new => needs_review
* upstream: => N/A
* author: => David Loeffler
Comment:
Here's a patch. I thought the simplest solution was to arrange that the
parent of all congruence subgroup elements was always the (globally
unique) SL2Z object, i.e. to make the various subgroup classes "facade
parents" (like the prime integers example in the category docs).
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/5048#comment:3>
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.
