#11422: modular subgroups
----------------------------------------+-----------------------------------
Reporter: vdelecroix | Owner: vdelecroix
Type: enhancement | Status: needs_work
Priority: major | Milestone: sage-4.7.2
Component: modular forms | Keywords: group, arithmetic,
linear group, sl, modular
Work_issues: to_even_subgroup problem | Upstream: N/A
Reviewer: David Loeffler | Author: Vincent Delecroix
Merged: | Dependencies: #10334, #10335
----------------------------------------+-----------------------------------
Changes (by davidloeffler):
* status: positive_review => needs_work
* work_issues: => to_even_subgroup problem
Comment:
Hang on, there's something wrong with {{{to_even_subgroup}}}.
{{{
sage: H = ArithmeticSubgroup_Permutation(S2 =
'(1,4,11,14)(2,7,12,17)(3,5,13,15)(6,9,16,19)(8,10,18,20)', S3 =
'(1,2,3,11,12,13)(4,5,6,14,15,16)(7,8,9,17,18,19)(10,20)')
sage: G = H.to_even_subgroup()
sage: H.is_subgroup(G)
False
}}}
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/11422#comment:16>
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.
