#13874: Allow automorphism group of a graph to act on the graph's vertex set
--------------------------------+-------------------------------------------
Reporter: azi | Owner: jason, ncohen, rlm
Type: enhancement | Status: new
Priority: major | Milestone: sage-5.6
Component: graph theory | Resolution:
Keywords: | Work issues:
Report Upstream: N/A | Reviewers:
Authors: | Merged in:
Dependencies: | Stopgaps:
--------------------------------+-------------------------------------------
Comment (by jason):
I posted this to the mailing list, but it's relevant here too:
Until we have proper support for this, you can do:
{{{
sage: g=Graph({'a': 'b', 'b': 'c'})
sage: p,q=g.automorphism_group(translation=True)
sage: pp=PermutationGroup(gap_group=p._gap_(), domain=sorted(q,
key=q.get))
sage: pp
Permutation Group with generators [('c','a')]
}}}
(this also helps you see how to implement it...)
Unfortunately, there is a bug in the stabilizer method when the
permutation group has a custom domain, which is now fixed at #13893, which
now needs review.
a workaround for the stabilizer bug is:
{{{
sage: pp.subgroup(gap_group=gap.Stabilizer(pp, pp._domain_to_gap['b']))
Subgroup of (Permutation Group with generators [('c','a')]) generated by
[('c','a')]
}}}
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/13874#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.
