Commit 0c540072 authored by Mathieu Hemery's avatar Mathieu Hemery

Remove an error implied by a bad usage of is_integer

parent 04f6bec2
......@@ -1742,7 +1742,7 @@ is_polynomial_sr(A + B) :- !, is_polynomial_sr(A), is_polynomial_sr(B).
is_polynomial_sr(A - B) :- !, is_polynomial_sr(A), is_polynomial_sr(B).
is_polynomial_sr(-(A)) :- !, is_polynomial_sr(A).
is_polynomial_sr(A*B) :- !, is_polynomial_sr(A), is_polynomial_sr(B).
is_polynomial_sr(A^N) :- !, is_integer(N), N > 0, is_polynomial_sr(A).
is_polynomial_sr(A^N) :- !, is_integer(N, I), I > 0, is_polynomial_sr(A).
is_polynomial_sr(A/N) :- !, is_numeric(N), is_polynomial_sr(A).
is_polynomial_sr(A) :- is_molecule(A).
is_polynomial_sr(A) :- is_numeric(A).
......@@ -1775,7 +1775,7 @@ is_numeric(A*B) :- !, is_numeric(A), is_numeric(B).
is_numeric(A^N) :- !, is_numeric(N), is_numeric(A).
is_numeric(A/N) :- !, is_numeric(N), is_numeric(A).
is_integer(Number) :-
is_integer(Number, I) :-
(
item([kind:parameter, key:Number, item:parameter(Number=N)]),!
;
......
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