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.