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

Processing math: 100%

First time here? Check out the FAQ!

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?

add a comment

1 Answer

Sort by » oldest newest most voted

answered 2 years ago

Max Alekseyev

7004 ●9 ●53 ●165

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()

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: 2 years ago

Seen: 252 times

Last updated: Nov 16 '22

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

1 Answer