# Antenna : three testcases from antenna design (originally a minmiz-problem)
# written in AMPL by Yu-Ju Kuo and Hans D. Mittelmann, 6/2001
# antenna1.f : dist=0.4; antenna2.f: dist=0.425; antenna3.f: dist=0.5
param length := 3.5;
param dist   := 0.5;
#param dist :=0.4;
#param dist :=0.425;
param pi     :=4*atan(1);
param thetaw{i in 1..163}:= pi*(8.5+i*0.5)/180;
param fac{i in 1..163} := 2*pi*sin(thetaw[i]);
var x{i in 1..7}  := if(i == 1) then 10 else (i-1)*length/7;
minimize obj: x[1];
s.t. g1:x[2]-dist>=0;
s.t. g2i{i in 2..6}:-x[i]+x[i+1]-dist>=0;
s.t. g3 : -x[7]+length-dist>=0;
s.t. g4i{i in 8..170}: x[1]-2*(0.5+cos(length*fac[i-7])+sum{k in 2..7}cos(fac[i-7]*x[k]))/15>=0;
s.t. g5i{i in 171..333}:x[1]+2*(0.5+cos(length*fac[i-170])+sum{k in 2..7}cos(fac[i-170]*x[k]))/15>=0;