Ask Your Question

How to construct the quotient of a graph by a group of automorphisms

asked 2022-11-14 22:22:54 +0100

stillconfused gravatar image

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?

edit retag flag offensive close merge delete

1 Answer

Sort by ยป oldest newest most voted

answered 2022-11-16 00:18:28 +0100

Max Alekseyev gravatar image

Something like this should do the job:

def MyFactor(G):
    A = G.automorphism_group()
    Orb = A.orbits()
    return Graph([list(Orb), [(o1,o2) for o1,o2 in Combinations(Orb,2) if any(G.has_edge(e1,e2) for e1 in o1 for e2 in o2)]])

MyFactor( graphs.FlowerSnark() ).show()
edit flag offensive delete link more

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools


Asked: 2022-11-14 22:22:54 +0100

Seen: 14 times

Last updated: Nov 16