wagner's theorem

1556 days ago by pang

attach(DATA + 'wagner.sage') graph_list = {'CompleteGraph4':graphs.CompleteGraph(4), 'CompleteGraph5':graphs.CompleteGraph(5), 'CompleteGraph6':graphs.CompleteGraph(6), 'BipartiteGraph3,3':graphs.CompleteBipartiteGraph(3,3), 'BipartiteGraph4,3':graphs.CompleteBipartiteGraph(4,3), 'PetersenGraph':graphs.PetersenGraph(), 'CycleGraph4':graphs.CycleGraph(4), 'CycleGraph5':graphs.CycleGraph(5), 'BarbellGraph(3,2)':graphs.BarbellGraph(3,2) } @interact def _(u1 = text_control(value='Does this graph'), g = selector(graph_list.keys(), buttons = True), u2 = text_control(value='have a minor isomorphic to this other graph:'), m = selector(graph_list.keys(), buttons = True), u3 = text_control(value='''? It is has, show it to me, with an animation with the following parameters'''), frames = slider(1,15,1,4, label = 'Frames per second'), step_time = slider(1/10,2,1/10,1, label = 'Seconds per step')): g = graph_list[g] m = graph_list[m] if g == m: html('<h3>Please select two different graphs</h3>') return try: a = animate_minor(g, m, frames = frames) a.show(delay=100*step_time/frames) except ValueError: html('''<h3>The first graph have <strong>NO</strong> minor isomorphic to the second</h3>''') 
       
Does this graph
have a minor isomorphic to this other graph:
? It is has, show it to me, with an animation with the following parameters
Frames per second 
Seconds per step 

Click to the left again to hide and once more to show the dynamic interactive window