## ams_version=1.0 Model Main_ex8_1_7 { Variable x1; Variable x2; Variable x3; Variable x4; Variable x5; Variable objvar; Constraint e1 { Definition: sqr(x2) + POWER(x3,3) + x1 <= 6.24264068711929; } Constraint e2 { Definition: (-POWER(x3,3)) - sqr(x2) - x1 <= -6.24264068711929; } Constraint e3 { Definition: -sqr(x3) + x2 + x4 <= 0.82842712474619; } Constraint e4 { Definition: sqr(x3) - x2 - x4 <= -0.82842712474619; } Constraint e5 { Definition: 0.5*x1*x5 + 0.5*x1*x5 = 2; } Constraint e6 { Definition: { -(sqr((-1) + x1) + sqr(x1 - x2) + POWER(x2 - x3,3) + POWER(x3 - x4,4) + POWER(x4 - x5,4)) + objvar = 0 } } Procedure MainInitialization { Body: { x1.lower := -5; x1.upper := 5; x2.lower := -5; x2.upper := 5; x3.lower := -5; x3.upper := 5; x4.lower := -5; x4.upper := 5; x5.lower := -5; x5.upper := 5; } } MathematicalProgram ex8_1_7 { Objective: objvar; Direction: minimize; Constraints: AllConstraints; Variables: AllVariables; Type: NLP; } Procedure MainExecution { Body: { solve ex8_1_7; } } Procedure MainTermination { Body: { return 1; } } }