How to construct the quotient of a graph by a group of automorphisms
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?