discreetly fixes the code

This commit is contained in:
Diogo Cordeiro 2018-11-22 21:10:20 +00:00
parent 8c722af8e9
commit a4c231f1eb

View File

@ -288,7 +288,7 @@ simplify_polynomial(P, P2) :-
maplist(term_to_list, L9, L8),
delete(L9, 0, L10),
sort(0, @=<, L10, L11),
polynomial_to_list(P2, L11),
list_to_polynomial(L11, P2),
!.
%% Tests:
%% ?- simplify_polynomial(1, X).