initial import 1.19
Creation of the optimization branch
Integration of Bertrand's last version (14 Jan 2011)
Removing resultats6210
- Création de plusieurs méthodes de probing
  - "random_probing": version de base refactorée
  - "line_probing": sorte de descente de gradient simplifiée qui peut fonctionner 
                    également en récursif (=> recalcul du gradient si loup modifié).
Une fois un point x identifié comme candidat, on appelle désormais la fonction "check_candidate" qui se charge 
de tester si f(x)<loup.

- Suppression de "isInner" qui faisait (en moins efficace) la même chose que le contracteur "is_inside"

- On ne s'arrête plus une fois que le loup est diminué dans UpdateLoup, on essaye 
systématiquement "nb_samples" point.
Ajout de la boîte intérieure dans une structure backtrackable.

Il reste à exploiter cette boîte en entrée du inHC4.
bug correction in line_probing
trace message suppression
I added a library called Soplex that implements the Simplex algorithm. 
This library is used by 2 new files: IbexSimplex.cpp and IbexSimplex.h.
I implemented two new methods for contracting [y]: 
-simplex_lower_bounding (unreliable)
-simplex_update_loup
both of them do a linear relaxation of the system and perform the simplex algorithm
for improving y_inf and y_sup respectively. simplex_lower_bounding can be not conservative (unreliable).
new version InnerProjections  +  bug correction check_candidate
last version of innerprojections
bug correction
Small update UpdateLoup

Introducing a variable loup_changed instead of returning directly false/true
Little improvement on inverse (IbexOptimizer.cpp)

On construisait les HC4Revise sans leur passer l'espace du système.
Ce n'est plus le cas
correction of multiples errors in IbexSimplex.cpp
repaired bug in simplex_lower_bounding method
implementation of inflation
more bugs repaired. To avoid problems with SoPleX, if the derivatives of the constraints are greater than 1e8, then the box may be not treated by the Simplex algorithm.
Bugs of Inflation and IbexSimplex fixed.

- I readd the isInner method in the class IbexUpdateLoup. As before, this method returns true if, in a constraint g(x)<=0, the natural evaluation of the current box [x] is less than or EQUAL TO 0. I need it to verify if the inflation, and innerprojections are returning innerboxes. In some cases the evaluation of vertices in the innerbox is equal to 0.
- I added a commented procedure in the update_loup method. If it is uncommented, this procedure expands the current innerbox. 

//   //=============the innerbox expansion==============
//     if(!innerfound && !inner_box.empty()){
//         inner_box(sys.nb_var())=INTERVAL(-1e8,1e8);
//         if(inner_box&=sys.space.box){
//           inHC4_expand(sys, inner_box);
//           sys.space.box=inner_box;
//           innerfound=true;
//         }else 
//           inner_box.set_empty();
//    }
//    //=================================================