From 3b4e1c2b988f8bf5da160f2ddf9dc8046a287ef5 Mon Sep 17 00:00:00 2001 From: Diogo Cordeiro Date: Thu, 22 Nov 2018 23:45:22 +0000 Subject: [PATCH] This was a terrible merge and I don't want to talk about it --- polimani.pl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/polimani.pl b/polimani.pl index b686116..0f97863 100644 --- a/polimani.pl +++ b/polimani.pl @@ -590,7 +590,7 @@ add_polynomial(P1, P2, S) :- polynomial_to_list(P1, L1), polynomial_to_list(P2, L2), append(L1, L2, LA), - join_like_terms(LA,LJ), + join_similar_parts_of_term(LA,LJ), list_to_polynomial(LJ, P), simplify_polynomial(P, S). %% Tests: