diff --git a/main.py b/main.py
index e8e4fa5..9a1f180 100644
--- a/main.py
+++ b/main.py
@@ -57,18 +57,6 @@ def enum_ordered(labels):
for right in enum_ordered(labels[i:]):
yield Node(left, right)
-# def count(n,elements):
-# l = len(elements)
-# def Convert(n,base):
-# string = elements
-# if n < base:
-# return [string[n]]
-# else:
-# return Convert(n//base,base) + [string[n%base]]
-# return (Convert(i,l) for i in range(0,l**n+1))
-
-sys.setrecursionlimit(1000)
-
all_products = lambda *args, repeat:itertools.chain(*(itertools.product(*args, repeat=n) for n in range(1,repeat+1)))
g = nx.Graph()
@@ -84,15 +72,5 @@ for term in all_products([(S,'S'), (K,'K')], repeat=5):
pass
import matplotlib.pyplot as plt
-# # nx.nx_pydot.write_dot(g, 'out.dot')
nx.draw(g, with_labels=True)
-plt.show()
-
-# for n1 in [S,K]:
-# for n2 in [S,K]:
-# for n3 in [S,K]:
-# # for n4 in [S,K]:
-# for term in enum_ordered([n1,n2,n3]):
-# beta = BetaNormalisingVisitor().skip_intermediate(term)
-# if beta.body == Variable(beta.bound):
-# print(str(term), 'reduces to identity')
\ No newline at end of file
+plt.show()
\ No newline at end of file
|
