# spellucci's example involving an extended Rosenbrock-function 
# subject to nonlinear inequality and a nonlinear equality
# written in AMPL by Yu-Ju Kuo and Hans D. Mittelmann, 6/2001
param N;
param NH;
param NG;
var X{1..N};
minimize obj:   100.e0*(X[1]-X[2]**2)**2+(X[1]-1)**2 +(X[1]-1.e0)*(X[3]-1.e0)+10.e0*(X[3]-1.e0)**2
     +10.e0*(X[4]-1.e0)**2+(X[3]-1.e0)*(X[4]-1.e0)-X[1]+X[2]+3.e0*X[3]+2.e0*X[4]+10.e0*(X[2]-1.e0)**2;
s.t. hx:     X[3]**2 +X[4]**2 -2.e0=0;
s.t. gx1: X[2]**2-X[1]>=0;
s.t. gx2: X[3]   -X[2]>=0;

data;
param N:=4;
param NH:=1;
param NG:=2;
var X:=1 1 2 -1.2 3 -1 4 -1;