diff --git a/polymani.pl b/polymani.pl index 8ed0528..4a7fec7 100644 --- a/polymani.pl +++ b/polymani.pl @@ -278,10 +278,10 @@ parse_polynomial_explicit(void-_, T) --> parse_command(show(void, T)) --> %% NOTE Probably easier if the tree is always binary [show], - parse_polynomial_explicit(T). + parse_polynomial(T). parse_command(show(P, T)) --> [show], - parse_polynomial_explicit(T), + parse_polynomial(T), [as], [P]. parse_command(show_all) --> @@ -290,20 +290,20 @@ parse_command(store(P, T)) --> [let], [P], [be], - parse_polynomial_explicit(T). + parse_polynomial(T). parse_command(store(P, T)) --> [store], - parse_polynomial_explicit(T), + parse_polynomial(T), [as], [P]. parse_command(simplify(T)) --> [simplify], - parse_polynomial_explicit(T). + parse_polynomial(T). parse_command(op(*, TN, TP)) --> [multiply], parse_number(TN), [by], - parse_polynomial_explicit(_-_, TP). + parse_polynomial(_-_, TP). parse_input(command(TCL, TCR)) --> parse_command(TCL),