@@ -681,6 +681,13 @@ def gap(self):
681
681
sage: UPG = PG.subgroup([p1, p2, p3, p4, p5], canonicalize=False)
682
682
sage: UPG.gap()
683
683
<permutation group with 5 generators>
684
+
685
+ the caching of _libgap_() works::
686
+
687
+ sage: S = SymmetricGroup(4)
688
+ sage: g1 = S._libgap_()
689
+ sage: g1.IsIdenticalObj(S._libgap_())
690
+ true
684
691
"""
685
692
if self ._libgap is not None :
686
693
return self ._libgap
@@ -1822,8 +1829,8 @@ def stabilizer(self, point, action="OnPoints"):
1822
1829
sage: G = PermutationGroup([[(1,2),(3,4)], [(1,2,3,4,10)]])
1823
1830
sage: G.stabilizer(10)
1824
1831
Subgroup generated by [(2,3,4), (1,2)(3,4)] of (Permutation Group with generators [(1,2)(3,4), (1,2,3,4,10)])
1825
- sage: G.stabilizer(1)
1826
- Subgroup generated by [(2,3)(4,10), (2,10,3)] of (Permutation Group with generators [(1,2)(3,4), (1,2,3,4,10)])
1832
+ sage: G.stabilizer(1) == G.subgroup(['(2,3)(4,10)', '(2,10,3)'])
1833
+ True
1827
1834
sage: G = PermutationGroup([[(2,3,4)],[(6,7)]])
1828
1835
sage: G.stabilizer(1)
1829
1836
Subgroup generated by [(6,7), (2,3,4)] of (Permutation Group with generators [(6,7), (2,3,4)])
@@ -1984,7 +1991,9 @@ def strong_generating_system(self, base_of_group=None, implementation="sage"):
1984
1991
sage: G = PermutationGroup([[(1,2,3,4)],[(1,2)]])
1985
1992
sage: G.strong_generating_system()
1986
1993
[[(), (1,2)(3,4), (1,3)(2,4), (1,4)(2,3)],
1987
- [(), (2,4), (2,3,4)], [(), (3,4)], [()]]
1994
+ [(), (2,4,3), (2,3,4)],
1995
+ [(), (3,4)],
1996
+ [()]]
1988
1997
sage: G = PermutationGroup([[(1,2,3)],[(4,5,7)],[(1,4,6)]])
1989
1998
sage: G.strong_generating_system()
1990
1999
[[(), (1,2,3), (1,4,6), (1,3,2), (1,5,7,4,6), (1,6,4), (1,7,5,4,6)],
0 commit comments