I've looked in the documentation, and am having trouble finding an easy way to construct the quotient of a graph by a group of automorphisms.
Once I've constructed a graph G, is there a way to specify a subgroup of G.automorphism_group() and construct the quotient of G by that subgroup?
