Lyxal
/
Keta
mirror of https://github.com/Lyxal/Keta.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Update chainify.py

This commit is contained in:
JonoCode9374 2019-12-26 21:21:55 +11:00 committed by GitHub
parent 02c7c5a1de
commit 58db3e7677
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
chainify.py
View File

@ -44,6 +44,12 @@ for exp in exprs:
if pattern == "020":
print(fns[1] + "(" + fns[0] + ", " + fns[2] + ")")
elif pattern == "021":
print(fns[1] + "(" + fns[0] + ", " + fns[2] + "(R))")
elif pattern == "022":
print(fns[1] + "(" + fns[0] + ", " + fns[2] + "(L, R))")
elif pattern == "02":
print(fns[1] + "(" + fns[0] + ", R)")