$title CONVERT test suite - check interval evaluator in Convert (CONVERT12,SEQ=670)

$onText
Check Convert's interval evaluator

Contributor: Steve Dirkse
$offText

variables
  x  / lo  -INF, up 4 /
  y  / lo -1   , up INF /
  z
  ;
equations
  f  'e1'
  g  'e2'
  h  'e3'
  ;

f .. sqr(x-2) + sqr(y-2) =e= 2*z;
g .. x + y =L= 1;
h .. exp(.25*x) + exp(.25*y) =G= -1;

model m / f, g, h /;

execute_loadpoint 'savepoint12';

$set JAC  jac12.gdx
$set JAC_ jac12_.gdx

$onEcho > convert.opt
dumpgdx %JAC%
gdxhessian 1
gdxquadratic 1
intervalEval yes
$offEcho
option nlp = convert;
m.optfile = 1;

execute 'rm -f %JAC%';
solve m using nlp min z;

execute '=test -e %JAC%';
abort$errorlevel 'we did not find Jacobian file %JAC% after Convert ran';
execute 'gdxdiff %JAC% %JAC_% relEps=2e-15 > %system.nullfile%';
abort$errorlevel 'Unexpected result diffing %JAC% with %JAC_%';