From b8e13c800a37b47d4c6105c9a4049a4744853434 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Radek=20Hu=C5=A1ek?= <husek@iuuk.mff.cuni.cz>
Date: Fri, 23 Apr 2021 15:41:12 +0200
Subject: [PATCH] small-snarks.py
---
experiments/small-snarks.py | 24 ++++++++++++++++++++++++
1 file changed, 24 insertions(+)
create mode 100755 experiments/small-snarks.py
diff --git a/experiments/small-snarks.py b/experiments/small-snarks.py
new file mode 100755
index 0000000..ff84ada
--- /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)))
+
--
GitLab