Next: General purpose solving algorithm
Up: Solving with Interval Analysis
Previous: Dealing with infinity
Contents
Non 0-dimensional system
Although the solving procedures of ALIAS are
mostly devoted to be used for 0 dimensional system
(i.e. systems having a finite number of solutions) most of them can
still be used for non 0-dimensional system. In that case the result
will be a set of boxes which will be an approximation of the
solution. When dealing with such system it is necessary to set the
global variable ALIAS_ND to 1 (its default value is 0) and to
define a name in the character string ALIAS_ND_File. The
solution boxes of the system will be stored in a file with the
given name.
The quality of the approximation may be estimated with the flags
ALIAS_Volume_In, ALIAS_Volume_Neglected that give
respectively the total volume of the solution boxes and the total
volume of the neglected boxes (i.e. the boxes for which the algorithm
has not been able to determine if they are or not a solution of the
system).
Note that there are special procedures for 1-dimensional system, see
chapter 9.
Next: General purpose solving algorithm
Up: Solving with Interval Analysis
Previous: Dealing with infinity
Contents
Jean-Pierre Merlet
2012-12-20