diff --git a/experiments/small-snarks.py b/experiments/small-snarks.py new file mode 100755 index 0000000000000000000000000000000000000000..ff84ada0a6b28df38d89d1ca736a0650f38843bc --- /dev/null +++ b/experiments/small-snarks.py @@ -0,0 +1,24 @@ +#!/usr/bin/python + +""" +Calculate the number of circuit double covers for the Petersen +graph a Blanusa snarks. +""" + +import sys, os +sys.path.append(os.path.dirname(__file__) + "/..") + +from graph_tools.all import * +from sage.all import graphs + +L = { + "Petersen graph": graphs.PetersenGraph(), + "Blanusa first snark": graphs.BlanusaFirstSnarkGraph(), + "Blanusa second snark": graphs.BlanusaSecondSnarkGraph(), +} + +if __name__ == "__main__": + print(__doc__) + for n, g in L.items(): + print("%s: %i" % (n, graph_to_gadget(g).eval(CircuitDoubleCover))) +