## ams_version=1.0 Model Main_ball_mk2_10 { Variable objvar; Variable i2 { Range: integer; } Variable i3 { Range: integer; } Variable i4 { Range: integer; } Variable i5 { Range: integer; } Variable i6 { Range: integer; } Variable i7 { Range: integer; } Variable i8 { Range: integer; } Variable i9 { Range: integer; } Variable i10 { Range: integer; } Variable i11 { Range: integer; } Constraint e1 { Definition: objvar + i2 + i3 + i4 + i5 + i6 + i7 + i8 + i9 + i10 + i11 = 0; } Constraint e2 { Definition: { sqr(i10) - 0.987420882906575*i10 + sqr(i9) - 0.987420882906575*i9 + sqr(i8 ) - 0.987420882906575*i8 + sqr(i7) - 0.987420882906575*i7 + sqr(i6) - 0.987420882906575*i6 + sqr(i5) - 0.987420882906575*i5 + sqr(i4) - 0.987420882906575*i4 + sqr(i3) - 0.987420882906575*i3 + sqr(i2) - 0.987420882906575*i2 + sqr(i11) - 0.987420882906575*i11 <= 0 } } Procedure MainInitialization { Body: { i2.lower := -1; i2.upper := 1; i3.lower := -1; i3.upper := 1; i4.lower := -1; i4.upper := 1; i5.lower := -1; i5.upper := 1; i6.lower := -1; i6.upper := 1; i7.lower := -1; i7.upper := 1; i8.lower := -1; i8.upper := 1; i9.lower := -1; i9.upper := 1; i10.lower := -1; i10.upper := 1; i11.lower := -1; i11.upper := 1; } } MathematicalProgram ball_mk2_10 { Objective: objvar; Direction: minimize; Constraints: AllConstraints; Variables: AllVariables; Type: MINLP; } ElementParameter myGMP { Range: AllGeneratedMathematicalPrograms; } Procedure MainExecution { Body: { solve ball_mk2_10; } } Procedure MainTermination { Body: { return 1; } } }