Skip to content
Snippets Groups Projects
Commit b8e13c80 authored by Radek Hušek's avatar Radek Hušek
Browse files

small-snarks.py

parent 6573707d
No related branches found
No related tags found
No related merge requests found
#!/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)))
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment