Commit c35164b8 authored by Mathieu Hemery's avatar Mathieu Hemery

Use precision to set the lower borne for unknown variables.

parent cab40e7e
......@@ -725,9 +725,11 @@ determine_boundary(X, 0, 1.0Inf) :-
ode:is_molecule(X),
!.
determine_boundary(X, 1, 1.0Inf) :- % undefined parameter
determine_boundary(X, Low, 1.0Inf) :- % undefined parameter
atom(X),
!.
!,
get_option(precision, Pre),
Low is 10^(- Pre).
determine_boundary(A+B, IAB, UAB) :-
determine_boundary(A, IA, UA),
......
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