#4521: Trivial permutation group enumeration bug
--------------------------+-------------------------------------------------
Reporter: kohel | Owner: joyner
Type: defect | Status: new
Priority: major | Milestone:
Component: group_theory | Resolution:
Keywords: |
--------------------------+-------------------------------------------------
Changes (by saliola):
* cc: saliola (added)
Comment:
I took a quick look at the code today and I've come away with a bunch of
questions.
(1) Can you post the definition of degree? In the current code, degree it
is set equal to largest_moved_point, which grabs the value from gap's
LargestMovedPoint if it isn't properly set. But this doesn't seem to agree
with some of the things mentioned above.
(2) Which group should the following command return?
{{{
sage: G = PermutationGroup([],degree=4)
}}}
(3) The following two groups are isomorphic:
{{{
sage: G = PermutationGroup([[]])
sage: G = PermutationGroup([ [1] ])
}}}
This is because
{{{
sage: PermutationGroupElement([]).list()
[1]
sage: PermutationGroupElement([1]).list()
[1]
}}}
So I'm not sure why one group should have degree 0 while the other does
not.
(4) What should the degrees of SymmetricGroup(0) and SymmetricGroup(1) be?
Should SymmetricGroup(0) == SymmetricGroup(1)?
I think these are all my questions for now.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/4521#comment:1>
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
-~----------~----~----~----~------~----~------~--~---
