Commit 93dc3aa4 authored by Mathieu Hemery's avatar Mathieu Hemery
Browse files

Improve always_positive

parent 756cdbc7
......@@ -721,7 +721,7 @@ always_positive(- A) :-
always_positive(_A ^ B) :-
number(B),
(
0 is B mod 2
modulo(B, 2, 0)
->
true
).
......@@ -796,7 +796,7 @@ is_null_sr(A^_N) :- is_null_sr(A).
modulo(A, B, C) :-
catch(
C is mod(A, B),
error(type_error(integer,_n), _context),
error(type_error(integer,_N), _Context),
fail
).
......
......@@ -47,6 +47,7 @@ commands = [
"compile_transfer_function",
"compile_wgpac",
"continue",
"correct_model",
"delete_alias",
"delete_attribute",
"delete_column",
......
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