Lyxal/Keta
1
0
Fork 0
mirror of https://github.com/Lyxal/Keta.git synced 2024-08-14 23:53:13 +00:00
Code Issues Projects Releases Wiki Activity

Update chainify.py

Browse source
This commit is contained in:
JonoCode9374 2019-12-26 21:03:59 +11:00 committed by GitHub
parent 147c611fef
commit 3ddf361d17
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 16 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

17
chainify.py
View file

@ -42,4 +42,19 @@ for exp in exprs:
pattern, fns = exp
if pattern == "020":
print(fns[1] + "(" + fns[0] + ",", fns[2] + ")")
print(fns[1] + "(" + fns[0] + ", " + fns[2] + ")")
elif pattern == "02":
print(fns[1] + "(" + fns[0] + ", R)")
elif pattern == "10":
print(fns[0] + "(" + fns[1] + ")")
elif pattern == "11":
print(fns[0] + "(" + fns[1] + "(R))")
elif pattern == "12":
print(fns[1] + "(" + fns[0] + ", " + "R)")
elif pattern == "20":
print(fns[0] + "(L, " + fns[1] + ")")