#5048: congruence subgroups are not integrated into the coercion model
-----------------------------+----------------------------------------------
Reporter: ncalexan | Owner: craigcitro
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-4.7.2
Component: modular forms | Keywords: congruence subgroup coercion
Work_issues: | Upstream: N/A
Reviewer: | Author: David Loeffler
Merged: | Dependencies:
-----------------------------+----------------------------------------------
Description changed by davidloeffler:
Old description:
> {{{
> sage: Gamma0(10).1 * Gamma0(5).2
> ---------------------------------------------------------------------------
> TypeError Traceback (most recent call
> last)
>
> /home/ncalexan/.sage/temp/sage.math.washington.edu/4030/_home_ncalexan__sage_init_sage_0.py
> in <module>()
> ----> 1
> 2
> 3
> 4
> 5
>
> /scratch/nca/sage-3.3.alpha0-sage.math-
> only-x86_64-Linux/local/lib/python2.5/site-
> packages/sage/structure/element.so in
> sage.structure.element.MonoidElement.__mul__
> (sage/structure/element.c:7375)()
> 849
> 850
> --> 851
> 852
> 853
>
> TypeError: unsupported operand parent(s) for '*': 'Congruence Subgroup
> Gamma0(10)' and 'Congruence Subgroup Gamma0(5)'
> }}}
New description:
{{{
sage: Gamma0(10).1 * Gamma0(5).2
---------------------------------------------------------------------------
TypeError Traceback (most recent call
last)
/home/ncalexan/.sage/temp/sage.math.washington.edu/4030/_home_ncalexan__sage_init_sage_0.py
in <module>()
----> 1
2
3
4
5
/scratch/nca/sage-3.3.alpha0-sage.math-
only-x86_64-Linux/local/lib/python2.5/site-
packages/sage/structure/element.so in
sage.structure.element.MonoidElement.__mul__
(sage/structure/element.c:7375)()
849
850
--> 851
852
853
TypeError: unsupported operand parent(s) for '*': 'Congruence Subgroup
Gamma0(10)' and 'Congruence Subgroup Gamma0(5)'
}}}
Apply *either*
* [attachment: trac_5048-sl2z_coercion-rebased_for_10452.patch] (which
should apply cleanly to any recent Sage version -- current is 4.7.2.alpha2
as I write this)
* or the patches at #10335 and #11422, together with [attachment:
trac_5048-rebased_for_11422.patch].
(There is no difference in functionality either way, it's just that the
original patch won't apply because some context lines changed.)
--
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/5048#comment:13>
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.
