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

Fixed small type .-.

This commit is contained in:
Hugo Sales 2018-12-19 23:37:26 +00:00
parent d5d86bee62
commit b14aeb8893
1 changed files with 10 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

20
polymani.pl
View File

@ -93,6 +93,12 @@ process_input(command(CL, TCR)) :-
do_process_input(show_stored_polynomials) :- do_process_input(show_stored_polynomials) :-
findall(nm(X,Y), polynomial_store(X,Y), D), findall(nm(X,Y), polynomial_store(X,Y), D),
nlp_print_memory(D). nlp_print_memory(D).
do_process_input(show(store(P), T)) :-
assertz(polynomial_store(P, T)),
write(P),
write(" = "),
print_polynomial_tree(T),
nl.
do_process_input(show(load(P), void)) :- do_process_input(show(load(P), void)) :-
P \== void, P \== void,
( (
@ -118,12 +124,6 @@ do_process_input(show(void, T)) :-
nl. nl.
do_process_input(store(P, T)) :- do_process_input(store(P, T)) :-
assertz(polynomial_store(P, T)). assertz(polynomial_store(P, T)).
do_process_input(show(store(P), T)) :-
assertz(polynomial_store(P, T)),
write(P),
write(" = "),
print_polynomial_tree(T),
nl.
do_process_input(forget(P)) :- do_process_input(forget(P)) :-
retract(polynomial_store(P, _)). retract(polynomial_store(P, _)).
do_process_input(simplify(PT)) :- do_process_input(simplify(PT)) :-
@ -417,14 +417,14 @@ parse_polynomial_explicit(void-_, T) -->
parse_command(show_stored_polynomials) --> parse_command(show_stored_polynomials) -->
[show, stored, polynomials]. [show, stored, polynomials].
parse_command(show(store(P, T), T)) --> parse_command(forget(P)) -->
[forget],
parse_stored_variable(P).
parse_command(show(store(P), T)) -->
[show], [show],
parse_polynomial(T), parse_polynomial(T),
[as], [as],
parse_stored_variable(P). parse_stored_variable(P).
parse_command(forget(P)) -->
[forget],
parse_stored_variable(P).
parse_command(show(load(P), void)) --> parse_command(show(load(P), void)) -->
[show], [show],
parse_stored_variable(P). parse_stored_variable(P).