** Next:** Pre-processing and dealing with
** Up:** The generic analyzer
** Previous:** The generic analyzer
** Contents**

##

Dealing with inequalities

The generic analyzer may deal also with inequalities. Here we will add
an argument to the generic analyzer whose syntax will be
Interval_Analyzer -F [formula] [-G -H] -R [range] -I [inequalities]

`inequalities` is a MAPLE file,
called the *inequalities file*
that describe equations in the same
manner than a formula file. But the analyzer will output as possible
ranges only the ranges for which all the equations in the inequalities
file may be positive or equal to 0 and eliminate the ranges for which
at least one equation is strictly negative.

Jean-Pierre Merlet
2012-12-20