#8030: Strong generating system returns heavy error for non transitive group
-----------------------------+----------------------------------------------
Reporter: nborie | Owner: joyner
Type: defect | Status: needs_review
Priority: critical | Milestone: sage-4.4
Component: group_theory | Keywords:
Author: Nicolas Borie | Upstream: N/A
Reviewer: | Merged:
Work_issues: |
-----------------------------+----------------------------------------------
Changes (by newvalueoldvalue):
* author: => Nicolas Borie
Comment:
Hi Nicolas!
The tests are running.
For the record: I tried to compare the results in the new doctests
with GAP, and I get the following difference:
{{{
gap> G := Group([ (1,2) (3,4), (1,2,3,4,10) ]);
Group([ (1,2)(3,4), (1,2,3,4,10) ])
gap> Stabilizer(G, 10);
Group([ (1,2)(3,4), (2,3,4) ])
}}}
{{{
sage: G = PermutationGroup([[(1,2),(3,4)], [(1,2,3,4,10)]])
sage: G.stabilizer(10)
Permutation Group with generators [(), (1,2)(3,4), (1,2,3), (1,2,4),
(1,3,2), (1,3,4), (1,4,2)]
}}}
Well, in fact the results are equal:
{{{
sage: G2 = PermutationGroup( [ [(1,2),(3,4)], [(2,3,4)] ])
sage: G.stabilizer(10) == G2
True
}}}
but GAP's result is nicer.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/8030#comment:4>
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.
