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:12:11 +11:00 committed by GitHub
parent e32ff65beb
commit b541704054
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 20 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

20
chainify.py
View file

@ -67,3 +67,23 @@ for exp in exprs:
elif pattern == "102": elif pattern == "102":
print(fns[2] + "(" + fns[0] + "(" + fns[1] + "), R)") print(fns[2] + "(" + fns[0] + "(" + fns[1] + "), R)")
elif pattern == "110":
print(fns[0] + "(" + fns[1] + "(" + fns[2] + "))")
elif pattern == "111":
print(fns[0] + "(" + fns[1] + "(" + fns[2] + "(R)))")
elif pattern == "120":
print(fns[1] + "(" + fns[0] + "(R), " + fns[2] + ")")
elif pattern == "121":
print(fns[1] + "(" + fns[0] + "(R), " + fns[2] + "(R*))")
elif pattern == "122":
print(fns[1] + "(" + fns[0] + "(R), " + fns[2] + "(L*, R*))")
elif pattern == "202":
print(fns[2] + "(" + fns[0] + "(L, " + fns[1] + "), R*)")