From 50b6d8e1c52a92fe110aab7ba3646e59ae4305eb Mon Sep 17 00:00:00 2001
From: Diogo Cordeiro <diogo@fc.up.pt>
Date: Thu, 22 Nov 2018 15:41:11 +0000
Subject: [PATCH] Implement add_polynomial

---
 polimani.pl | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

diff --git a/polimani.pl b/polimani.pl
index 45f2af7..f3c60e3 100644
--- a/polimani.pl
+++ b/polimani.pl
@@ -376,6 +376,20 @@ scale_polynomial(P, C, S) :-
 %@ S = 2*3*x^2.
 %@ S = 2*(3*x^2).
 
+%% add_polynomial(+P1:polynomial,+P2:polynomial,-S:polynomial) is det
+%
+%  S = P1 + P2
+%
+add_polynomial(P1, P2, S) :-
+    polynomial_to_list(P1, L1),
+    polynomial_to_list(P2, L2),
+    append(L1, L2, LA),
+    join_like_terms(LA,LJ),
+    list_to_polynomial(LJ, P),
+    simplify_polynomial(P, S).
+%% Tests:
+%
+
 %% monomial_parts(X, Y, Z)
 %
 %  TODO Maybe remove