## ams_version=1.0 Model Main_ex2_1_3 { Variable x1 { Range: nonnegative; } Variable x2 { Range: nonnegative; } Variable x3 { Range: nonnegative; } Variable x4 { Range: nonnegative; } Variable x5 { Range: nonnegative; } Variable x6 { Range: nonnegative; } Variable x7 { Range: nonnegative; } Variable x8 { Range: nonnegative; } Variable x9 { Range: nonnegative; } Variable x10 { Range: nonnegative; } Variable x11 { Range: nonnegative; } Variable x12 { Range: nonnegative; } Variable x13 { Range: nonnegative; } Variable objvar; Constraint e1 { Definition: { -(5*x1 - 0.5*(10*x1*x1 + 10*x2*x2 + 10*x3*x3 + 10*x4*x4) + 5*x2 + 5*x3 + 5 *x4) + x5 + x6 + x7 + x8 + x9 + x10 + x11 + x12 + x13 + objvar = 0 } } Constraint e2 { Definition: 2*x1 + 2*x2 + x10 + x11 <= 10; } Constraint e3 { Definition: 2*x1 + 2*x3 + x10 + x12 <= 10; } Constraint e4 { Definition: 2*x2 + 2*x3 + x11 + x12 <= 10; } Constraint e5 { Definition: - 8*x1 + x10 <= 0; } Constraint e6 { Definition: - 8*x2 + x11 <= 0; } Constraint e7 { Definition: - 8*x3 + x12 <= 0; } Constraint e8 { Definition: - 2*x4 - x5 + x10 <= 0; } Constraint e9 { Definition: - 2*x6 - x7 + x11 <= 0; } Constraint e10 { Definition: - 2*x8 - x9 + x12 <= 0; } Procedure MainInitialization { Body: { x1.upper := 1; x2.upper := 1; x3.upper := 1; x4.upper := 1; x5.upper := 1; x6.upper := 1; x7.upper := 1; x8.upper := 1; x9.upper := 1; x13.upper := 1; x1.l := 1; x2.l := 1; x3.l := 1; x4.l := 1; x5.l := 1; x6.l := 1; x7.l := 1; x8.l := 1; x9.l := 1; x10.l := 3; x11.l := 3; x12.l := 3; x13.l := 1; } } MathematicalProgram ex2_1_3 { Objective: objvar; Direction: minimize; Constraints: AllConstraints; Variables: AllVariables; Type: NLP; } Procedure MainExecution { Body: { solve ex2_1_3; } } Procedure MainTermination { Body: { return 1; } } }