#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 wdj):
I searched the Gap reference manual and couldn't find it either.
(Emailed gap support though and will let you know...)
Maybe we should just use IsSubgroup (I thought < called that method but I
guess not):
{{{
sage: G = PermutationGroup([[(1,2)]])
sage: gG = gap(G)
sage: H1 = PermutationGroup([[(1,2)],[(2,3)]])
sage: gH1 = gap(H1)
sage: bool(gH1.IsSubgroup(gG)) # correct
True
sage: H2 = PermutationGroup([[(1,3)]])
sage: bool(gH2.IsSubgroup(gG)) # correct
False
sage: H3 = PermutationGroup([[(1)]])
sage: gH3 = gap(H3)
sage: bool(gH3.IsSubgroup(gG)) # correct
False
}}}
Thoughts?
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/5664#comment:18>
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
-~----------~----~----~----~------~----~------~--~---
