Commit 699c656c authored by SOLIMAN Sylvain's avatar SOLIMAN Sylvain
Browse files

handle unary minus in monomials

parent f2a58053
......@@ -316,6 +316,10 @@ split_pos_neg_and_subst_rec(N * T, Vars, Ai, Pos, Neg) :-
split_pos_neg_and_subst_rec(- E, Vars, Ai, Pos, Neg) :-
split_pos_neg_and_subst_rec(E, Vars, Ai, Neg, Pos).
split_pos_neg_and_subst_rec(K, Vars, Ai, Pos, Neg) :-
split_pos_neg_and_subst_rec(1*K, Vars, Ai, Pos, Neg).
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment