## ams_version=1.0 Model Main_st_e18 { Variable x1; Variable x2; Variable objvar; Constraint e1 { Definition: -(sqr(x1) + sqr(x2)) <= -1; } Constraint e2 { Definition: sqr(x1) + sqr(x2) <= 4; } Constraint e3 { Definition: - x1 + x2 <= 1; } Constraint e4 { Definition: x1 - x2 <= 1; } Constraint e5 { Definition: - x1 - x2 + objvar = 0; } Procedure MainInitialization { Body: { x1.lower := -2; x1.upper := 2; x2.lower := -2; x2.upper := 2; } } MathematicalProgram st_e18 { Objective: objvar; Direction: minimize; Constraints: AllConstraints; Variables: AllVariables; Type: NLP; } Procedure MainExecution { Body: { solve st_e18; } } Procedure MainTermination { Body: { return 1; } } }