Ladders experiment

experiments/ladders.py

+#!/usr/bin/python
+
+"""
+Derive a formula for the number of circuit double covers
+of cyclic ladders and crossed cyclic ladders.
+"""
+
+import sys, os
+sys.path.append(os.path.dirname(__file__) + "/..")
+
+from graph_tools.all import *
+
+L = CyclicLadder().stabilize(CircuitDoubleCover)
+CL = CyclicLadder(True).stabilize(CircuitDoubleCover)
+
+if __name__ == "__main__":
+  print(__doc__)
+  print("Cyclic ladders:\n  Formula: %s\n  Under the condition %s\n" %
+    (L["formula"], L["formula_if"]))
+  print("Crossed cyclic ladders:\n  Formula: %s\n  Under the condition %s" %
+    (CL["formula"], CL["formula_if"]))