** Next:** Optimization with function and
** Up:** Optimization with function evaluation
** Previous:** Return code
** Contents**

In this version of
`ALIAS` there is no direct way to deal with inequalities that
are valid for the same function (e.g.
), which mean that you will have to declare two inequalities
(which imply that the quantity will be evaluated twice).
But in the previous procedure there is a way to avoid writing
two inequalities. In the function evaluation procedure you will just
compute and declare this function as an inequality of type
. After having computed the interval evaluation
- if
this interval is strictly included in
substitute the interval of by the value -1 (or any negative number)
- if this interval has no intersection with
substitute the interval of by the value 1 (or any positive number)
- if this interval has an intersection with
but
is not strictly included in it, then
substitute the interval of by the interval [-1,1]

** Next:** Optimization with function and
** Up:** Optimization with function evaluation
** Previous:** Return code
** Contents**
Jean-Pierre Merlet
2012-12-20