Implement add_polynomial

This commit is contained in:
Diogo Cordeiro 2018-11-22 15:41:11 +00:00
parent c6640bf7bb
commit 50b6d8e1c5
1 changed files with 14 additions and 0 deletions

View File

@ -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