diogo/polynomialmani.pl
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

discreetly fixes the code

Browse Source
This commit is contained in:
Diogo Cordeiro 2018-11-18 23:18:28 +00:00
parent f89fad686c
commit 8b27993033
1 changed files with 6 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
polimani.pl
View File

@ -43,7 +43,8 @@ term(X) :-
power(X). power(X).
term(L * R) :- term(L * R) :-
term(L), term(L),
term(R), !. term(R),
!.
%% is_term_valid_in_function(+T, +F) is det %% is_term_valid_in_function(+T, +F) is det
% %
@ -184,16 +185,16 @@ monomial_parts(K, K, indep) :-
delete_monomial(M, X, M, 0) :- delete_monomial(M, X, M, 0) :-
term_p(M), term(M),
monomial_parts(M, _, X), monomial_parts(M, _, X),
!. !.
delete_monomial(M + M2, X, M, M2) :- delete_monomial(M + M2, X, M, M2) :-
term_p(M2), term(M2),
term_p(M), term(M),
monomial_parts(M, _, X), monomial_parts(M, _, X),
!. !.
delete_monomial(P + M, X, M, P) :- delete_monomial(P + M, X, M, P) :-
term_p(M), term(M),
monomial_parts(M, _, X), monomial_parts(M, _, X),
!. !.
delete_monomial(P + M2, X, M, P2 + M2) :- delete_monomial(P + M2, X, M, P2 + M2) :-