** Next:** Dealing with parametric system
** Up:** The generic Solver
** Previous:** The generic Solver
** Contents**

##

Dealing with inequalities

The generic solver may deal also with inequalities. Here we will add
an argument to the generic solver whose syntax will be
-I [inequalities file]

`inequalities file` is a formula file,
called the *inequalities file*
that describe equations in the same
manner than a formula file. But the solver will output as solutions
only the ranges for which all the equations in the inequalities
file may be positive or equal to 0 and eliminate the solutions ranges
for which
at least one equation is strictly negative.
Note that the algorithm stops only according to the
values of the equations or the diameter of the ranges
and not according to the values of the
inequalities.

Jean-Pierre Merlet
2012-12-20