Recent changes to bugs

empty box exception

Bertrand Neveu — Tue, 30 Aug 2011 14:54:27 -0000

Sortie en emptybox exception dans le gradient appelé par x_newton

ligne de commande
minimizer1 ../benchs-optim/pollut.bch 1.e-9 1.e-8 roundrobin hc4 0.1 0.9 0.1 10 1 600

segmentation fault dans constructeur InnerBox

Bertrand Neveu — Mon, 22 Aug 2011 14:02:04 -0000

bug rare ; se produit en particulier dans le cas suivant resolution de ex6_2_11.bch avec Mohc et ACID

avec la commande suivante
minimizer1bug ex6_2_11.bch 1.e-9 1.e-8 smearsumrel 3bcidmohc 0.1 0.9 0.1 10 1 3600

j'attache les fichiers pour reproduire le bug : ex6_2_11.bch IbexACID.cpp IbexACID.h makefile minimizer1bug.cpp

impossibilité traiter optimisation sans contraintes

Anonymous — Mon, 09 May 2011 08:12:38 -0000

Quand il n' y a pas de contraintes dans l'optimisation,
sortie de Ibex avec message d'erreur
Empty composite contractor

contournement provisoire : ajout d'une conrtrainte bidon de type x>= xmin

Reference to static cell default buffer

Anonymous — Sat, 07 May 2011 13:49:58 -0000

Several pavers share the same reference to a cell buffer when the latter is created by default

Empty INTERVAL is [0,0] instead of [-oo,-oo]

Anonymous — Tue, 12 Apr 2011 15:25:26 -0000

Voir programme ci-joint.

Résultat

Non-empty interval : [4,5] 0
Interval has been set_emptied : [0,0] 0
Manually empty interval : [-inf,-inf] 1
Interval has been set_emptied : [0,0] 0
[0,0]

Bias failure with constant expression involving Power

Anonymous — Fri, 08 Apr 2011 16:12:44 -0000

The following Quimper program will provoke a run-time exception:
"BIAS: Power: Base is negative"

Constants
a in [0,4];
b = 4;

Variables
l in [0,5];

Constraints
(a-b)^2 = 0;
end

elimination de solution optimal par "contract with loup"

Ignacio Araya — Thu, 20 Jan 2011 14:12:29 -0000

Le procedure suivante dans la class IbexOptimizer.cpp peut eliminer l'optimum:
/*======================== contract with loup ========================*/
INTERVAL& y=space.box(y_num+1); // the epr y_num is the objective
REAL ymax=loup;

if ((fabs (loup) < 1) || (goal_ceil > 1)) // goal_ceil is a relative precision and should be less than 1
ymax=loup-goal_ceil;
else
ymax=loup*(1-goal_ceil);
if (Inf (y) > ymax) {
delete c; // if this procedure was in a contractor ---> throw EmptyBoxException();
return;
}
if (Sup (y) > ymax) y = INTERVAL(Inf(y),ymax);
/*====================================================================*/

Alors, si tout les boite son elimine et on arrive pas a la precisión, ça veut dire que l'optimum est trouve dans:
[loup-goal_ceil, loup] ou [loup*(1-goal_ceil), loup]

Sequence and solver

Marie Pelleau — Wed, 19 Jan 2011 19:07:31 -0000

When a Paver is used in solver mode and one of the contractor is a Sequence, the boxes corresponding to the Sequence are not stored...

M_INF

Gilles Chabert — Wed, 19 Jan 2011 16:48:21 -0000

IbexEvaluator.cpp lignes 170-173:

case M_INF : M[ic--] = Inf(M[info[i--]]); break;
case M_MID : M[ic--] = Mid(M[info[i--]]); break;
case M_SUP : M[ic--] = Sup(M[info[i--]]); break;

ic ou mc ??????

is_inside on a loup candidate

Bertrand Neveu — Tue, 18 Jan 2011 14:52:49 -0000

In candidate_check, the is_inside test is called on the entire box and not on the loup.