diff --git a/polymani.pl b/polymani.pl index 052ad62..220b6a0 100644 --- a/polymani.pl +++ b/polymani.pl @@ -583,7 +583,7 @@ simplify_polynomial_as_list(L, L13) :- %% ?- simplify_polynomial_as_list([0*x, 0], L). %@ L = [0] . -%% join_similar_terms(+P:ListList, -P2:ListList) is det +%% join_similar_terms(+P:List, -P2:List) is det % % Joins similar sublists representing terms by using % `add_terms` to check if they can be merged and perform