diff options
| -rw-r--r-- | main.py | 24 |
1 files changed, 1 insertions, 23 deletions
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 |