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

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

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

add a comment

1 Answer

Sort by » oldest newest most voted

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

Max Alekseyev

5711 ●5 ●37 ●122

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

add a comment

Your Answer

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

Add Answer

Question Tools

Stats

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

Seen: 122 times

Last updated: Nov 16 '22

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

1 Answer