## ams_version=1.0 Model Main_ex14_1_4 { Variable x1; Variable x2; Variable x3; Variable objvar; Constraint e1 { Definition: 0.5*sin(x1*x2) - 0.5*x1 - 0.0795774703703634*x2 - x3 <= 0; } Constraint e2 { Definition: { 0.920422529629637*exp(2*x1) - 5.4365636*x1 + 0.865255957591193*x2 - x3 <= 2.5019678106022 } } Constraint e3 { Definition: 0.5*x1 - 0.5*sin(x1*x2) + 0.0795774703703634*x2 - x3 <= 0; } Constraint e4 { Definition: - x3 + objvar = 0; } Constraint e5 { Definition: { 5.4365636*x1 - 0.920422529629637*exp(2*x1) - 0.865255957591193*x2 - x3 <= -2.5019678106022 } } Procedure MainInitialization { Body: { x1.lower := 0.25; x1.upper := 1; x2.lower := 1.5; x2.upper := 6.28; } } MathematicalProgram ex14_1_4 { Objective: objvar; Direction: minimize; Constraints: AllConstraints; Variables: AllVariables; Type: NLP; } Procedure MainExecution { Body: { solve ex14_1_4; } } Procedure MainTermination { Body: { return 1; } } }