DefaultOptimizer fails with filib.

[gchabert]

Running the default optimizer with the following problem works fine with gaol, but fails with filib (gives an interval like [inf,0] for [uplo,loup]. When I comment the last contractor (the one using LinearRelaxXTaylor) and CtcAcid, it is the same.

Gilles
variables
x in [-100,100],
y in [-100,100],

mx in [-100,100],
my in [-100,100];

minimize
mx^2+my^2

constraints
x^2+(2*y)^2=1;
(x-mx)^2+(y-my)^2=1;
end

[gchabert]

Fixed. At least this problem does not occur anymore.

[gchabert]

Nope :-(
The following problem returns uplo>loup
variables
x in [-100,100],
y in [-100,100],

mx in [-100,100],
my in [-100,100];

omx in [0,0];
omy in [0,0];

minimize
mx^2+my^2

constraints
((x^2+(y/0.5)^2)-1)=0;
(((x-mx)^2+((y-my)/0.5)^2)-1)=0;
(((2_x)((2((y-my)/0.5))/0.5))-(((2_(y/0.5))/0.5)(2(x-mx))))=0;
(((2_x)(2(x-mx)))+(((2_(y/0.5))/0.5)((2((y-my)/0.5))/0.5)))<=0;
end

[gchabert]

OK, I actually introduced another bug in my previous commit. Now, it should be OK.