Bugfix binomial_reduction sat_reactions

7961cb00 · SOLIMAN Sylvain · f7d14e0a · 7961cb00
Commit 7961cb00 authored May 06, 2020 by SOLIMAN Sylvain
--- a/gpac.pl
+++ b/gpac.pl
@@ -2007,9 +2007,7 @@ monomial_remove_coeff([_, M], M).


 derivatives_to_allmonomials(AllDerivatives, AllMonomials) :-
-  maplist(derivative_to_allmonomials, AllDerivatives, Monomials),
-  append(Monomials, SomeMonomials),
-  sort(SomeMonomials, AllMonomials).
+  maplist(derivative_to_allmonomials, AllDerivatives, AllMonomials).


 derivative_to_allmonomials(Derivative, Monomials) :-