#5664: [with patch, needs review] Bugs in PermutationGroup_subgroup.__cmp__
--------------------------+-------------------------------------------------
Reporter: SimonKing | Owner: SimonKing
Type: defect | Status: new
Priority: critical | Milestone: sage-3.4.2
Component: group_theory | Keywords: comparison subgroup
--------------------------+-------------------------------------------------
Comment(by SimonKing):
Sorry, I was writing too quickly (have to leave office very soon...):
Replying to [comment:19 SimonKing]:
> Since, according to the email support, the comparison is by some
lexicographic order of the list of elements, it is perhaps no surprise
that the "<"-relation of Gap does not behave well with respect to
subgroups.
>
...
> As much as I understand the sorting of Gap, we would have
> G is proper subgroup of H <=> |G|<|H| and (G<H in Gap's '<'-order)
Of course it is not!
So, I agree that IsSubgroup is the way to go.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/5664#comment:20>
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
-~----------~----~----~----~------~----~------~--~---
