diff --git a/experiments/nice-voltage.py b/experiments/nice-voltage.py index 0e72bfc0e229556d2af91324a14ce83c2d7ff3a6..1b277daddaa8cba78f3c48b3a0dd0775fcab63a9 100755 --- a/experiments/nice-voltage.py +++ b/experiments/nice-voltage.py @@ -1,8 +1,11 @@ #!/usr/bin/python -import sys, os -sys.path.append(os.path.dirname(__file__) + "/..") +""" + Calculate which members of the graph family from Theorem 7.6 + are snarks. +""" +import _experiment from itertools import permutations from graph_tools.all import * import json @@ -17,14 +20,15 @@ assignment = [0, 0, 0, 0, 0, 0, 0, 2, 2, 0, -2, 0, 0, 0, 1] Seq = voltage_graph_zn_to_sequence(template, assignment) -for i in range(3, 16): - G = Seq.graph(i).eval(UnderlyingGraph) - print(json.dumps({ - "i": i, - "graph": G.sparse6_string() - })) - -#X = Seq.stabilize(EdgeColoring(3)) -#p, l = stabilize_period(X, shift=1) -#print(p, l, l[p:]) +if __name__ == "__main__": + for i in range(3, 12): + G = Seq.graph(i).eval(UnderlyingGraph) + print(json.dumps({ + "i": i, + "graph": G.sparse6_string() + })) + + X = Seq.stabilize(EdgeColoring(3)) + p, l = stabilize_period(X, shift=1) + print(p, l, l[p:])