next up previous contents
Next: Distinct solutions Up: Implementation Previous: Storage   Contents


Accuracy

Two criterion are used to determine if a box possibly includes a solution of the system:

If we use only the first criteria (i.e. we put epsilonf=0) the largest width of the solution intervals will be epsilon. A consequence is that the unknowns should be normalized in order that all the intervals in the TestDomain have roughly the same width.

If we use only the second criteria the width of the solution intervals cannot be determined and the functions should be roughly normalized (see the example in section 15.1.3 for the importance of the conditioning).


next up previous contents
Next: Distinct solutions Up: Implementation Previous: Storage   Contents
Jean-Pierre Merlet 2012-12-20