## ams_version=1.0 Model Main_fct { Variable objvar; Variable x2; Variable x3; Variable x4; Variable x5; Variable x6; Variable x7; Variable x8; Variable x9; Variable x10; Variable x11; Variable x12; Constraint e1 { Definition: objvar - 2*x6 - x7 = 0; } Constraint e2 { Definition: -(sqr(x8) + sqr(x9) + sqr(x10) + sqr(x11) + sqr(x12)) + x7 = 0; } Constraint e3 { Definition: - x3 - x5 + x6 = 0; } Constraint e4 { Definition: -(sqr(sqr(x8) - x9) + sqr(x10) + 2*sqr(x11) + sqr(x12 - x9)) + x2 = 0; } Constraint e5 { Definition: -abs(sin(4*mod(x2,3.14159265358979))) + x3 = 0; } Constraint e6 { Definition: { -(sqr(x8 + x9 - x10 + x11 - x12) + 2*sqr(x9 - x8 + x10 - x11 + x12)) + x4 = 0 } } Constraint e7 { Definition: -abs(sin(3*mod(x4,3.14159265358979))) + x5 = 0; } Constraint e8 { Definition: 3*sqr(x9) + sqr(x10) - 2*sqr(x11) + sqr(x12) + x8 = 0; } Constraint e9 { Definition: x8 + 4*x9 - x10 + x11 - 3*x12 = 0; } Constraint e10 { Definition: sqr(x8) - sqr(x10) + 2*sqr(x9) - sqr(x11) - sqr(x12) = 0; } Procedure MainInitialization { Body: { x8.lower := -10; x8.upper := 5; x9.lower := -10; x9.upper := 5; x10.lower := -10; x10.upper := 5; x11.lower := -10; x11.upper := 5; x12.lower := -10; x12.upper := 5; x8.l := 2; x9.l := 2; x10.l := 2; x11.l := 2; x12.l := 2; } } MathematicalProgram fct { Objective: objvar; Direction: minimize; Constraints: AllConstraints; Variables: AllVariables; Type: DNLP; } Procedure MainExecution { Body: { solve fct; } } Procedure MainTermination { Body: { return 1; } } }