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