Commit 0830802c authored by Mathieu Hemery's avatar Mathieu Hemery
Browse files

Improve always positive for A^B case

parent 988ec23d
......@@ -717,16 +717,17 @@ always_positive(A):- % assumed for concentrations, parameters
always_positive(- A) :-
always_negative(A).
always_positive(A ^ B) :-
always_positive(_A ^ B) :-
number(B),
(
0 is B mod 2
->
true
;
always_positive(A)
).
always_positive(A ^ _B) :-
always_positive(A).
always_positive(A + B) :-
always_positive(A),
always_positive(B).
......
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