#10334: miscellaneous cleanup in perm_gps preparing for domains
-----------------------------+----------------------------------------------
    Reporter:  mhansen       |         Owner:  joyner       
        Type:  enhancement   |        Status:  needs_work   
    Priority:  minor         |     Milestone:  sage-4.7     
   Component:  group theory  |    Resolution:               
    Keywords:                |   Work_issues:               
    Upstream:  N/A           |      Reviewer:  Robert Miller
      Author:  Mike Hansen   |        Merged:               
Dependencies:                |  
-----------------------------+----------------------------------------------

Comment(by rbeezer):

 Forgot some details above.

 On clean 4.7.rc0 the "is_abelian" returns {{{True}}.  This is a doctest
 that has been passing in alpha testing.

 On patched version, the commutator is a subgroup, and it is normal:

 {{{
 sage: G = DihedralGroup(20)
 sage: C = G.commutator()
 sage: C.is_subgroup(G)
 True
 sage: C.is_normal(G)
 True
 }}}

-- 
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/10334#comment:20>
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.

Reply via email to