Re: [sage-devel] Subgroups of automorphism groups of graphs

These examples reveal a bug in the commutator method --- it ignores the domain of the permutation group. I have opened .github issue #39416 for this. On Tuesday, January 28, 2025 at 3:43:56 AM UTC-7 grh...@gmail.com wrote: > It seems that this is

Re: [sage-devel] Subgroups of automorphism groups of graphs

It seems that this is intended? The correct equivalent code is: sage: gens = [[(2, 4)], [(1, 2)]] sage: pg = PermutationGroup(gens=gens); pg Permutation Group with generators [(2,4), (1,2)] sage: pg._libgap_() Group([ (2,4), (1,2) ]) sage: pg = PermutationGroup(gens=gens, domain={1, 2, 4}); pg Per

[sage-devel] Subgroups of automorphism groups of graphs

The following code shows that subgroups of automorphism groups of graphs are handled wrongly: sage: g = Graph([[1, 2, 4], []]) sage: a = g.automorphism_group() sage: print(a) Permutation Group with generators [(2,4), (1,2)] sage: print(a.commutator()) Permutation Group with generators [(1,2,3)]