next up previous contents
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