#5664: Bugs in PermutationGroup_subgroup.__cmp__
--------------------------+-------------------------------------------------
 Reporter:  SimonKing     |       Owner:  SimonKing          
     Type:  defect        |      Status:  new                
 Priority:  critical      |   Milestone:  sage-3.4.1         
Component:  group_theory  |    Keywords:  comparison subgroup
--------------------------+-------------------------------------------------
Changes (by wdj):

  * component:  algebra => group_theory


Comment:

 Based on how I think mathematicians would most likely use this, I'm in
 favor of 1.

 In any case, I don't agree that "with 1., == would test whether K and H
 are isomorphic abstract groups". The code is

 {{{
         if not isinstance(right, PermutationGroup_generic):
             return -1
         return right._gap_().__cmp__(self._gap_())
 }}}
 which seems to be a wrapper for GAP's equality. Does that seem right to
 you?

-- 
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/5664#comment:3>
Sage <http://sagemath.org/>
Sage - Open Source Mathematical Software: Building the Car Instead of 
Reinventing the Wheel

--~--~---------~--~----~------------~-------~--~----~
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