diogo/polynomialmani.pl
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Quick fix

Browse Source
This commit is contained in:
Hugo Sales 2018-12-17 16:34:02 +00:00
parent 74d9e9cc5b
commit 9aeaebfded
1 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
polymani.pl
View File

@ -278,10 +278,10 @@ parse_polynomial_explicit(void-_, T) -->
parse_command(show(void, T)) --> %% NOTE Probably easier if the tree is always binary parse_command(show(void, T)) --> %% NOTE Probably easier if the tree is always binary
[show], [show],
parse_polynomial_explicit(T). parse_polynomial(T).
parse_command(show(P, T)) --> parse_command(show(P, T)) -->
[show], [show],
parse_polynomial_explicit(T), parse_polynomial(T),
[as], [as],
[P]. [P].
parse_command(show_all) --> parse_command(show_all) -->
@ -290,20 +290,20 @@ parse_command(store(P, T)) -->
[let], [let],
[P], [P],
[be], [be],
parse_polynomial_explicit(T). parse_polynomial(T).
parse_command(store(P, T)) --> parse_command(store(P, T)) -->
[store], [store],
parse_polynomial_explicit(T), parse_polynomial(T),
[as], [as],
[P]. [P].
parse_command(simplify(T)) --> parse_command(simplify(T)) -->
[simplify], [simplify],
parse_polynomial_explicit(T). parse_polynomial(T).
parse_command(op(*, TN, TP)) --> parse_command(op(*, TN, TP)) -->
[multiply], [multiply],
parse_number(TN), parse_number(TN),
[by], [by],
parse_polynomial_explicit(_-_, TP). parse_polynomial(_-_, TP).
parse_input(command(TCL, TCR)) --> parse_input(command(TCL, TCR)) -->
parse_command(TCL), parse_command(TCL),