## ams_version=1.0 Model Main_kall_circlespolygons_c1p12 { Variable x1; Variable x2; Variable x3; 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; Variable x11; Variable x12; Variable x13; Variable x14; Variable x15; Variable x16; Variable x17; Variable x18; Variable x19; Variable x20; Variable x21; Variable x22; Variable x23; Variable x24; Variable x25; Variable x26; Variable x27; Variable x28; Variable x29; Variable x30; Variable x31 { Range: nonnegative; } Variable x32 { Range: nonnegative; } Variable x33 { Range: nonnegative; } Variable x34 { Range: nonnegative; } Variable x35 { Range: nonnegative; } Variable x36 { Range: nonnegative; } Variable x37 { Range: nonnegative; } Variable x38 { Range: nonnegative; } Variable x39 { Range: nonnegative; } Variable x40 { Range: nonnegative; } Variable x41 { Range: nonnegative; } Variable x42 { Range: nonnegative; } Variable objvar; Constraint e1 { Definition: - x1 + objvar = -1.16039816339745; } Constraint e2 { Definition: -x41*x42 + x1 = 0; } Constraint e3 { Definition: x29 - x41 <= -0.5; } Constraint e4 { Definition: x30 - x42 <= -0.5; } Constraint e5 { Definition: - 0.25*x31 - 0.25*x33 - 0.25*x35 - 0.25*x37 + x39 = 0; } Constraint e6 { Definition: - 0.25*x32 - 0.25*x34 - 0.25*x36 - 0.25*x38 + x40 = 0; } Constraint e7 { Definition: x2*x2 + x3*x3 = 1; } Constraint e8 { Definition: x31 - x41 <= 0; } Constraint e9 { Definition: x32 - x42 <= 0; } Constraint e10 { Definition: x33 - x41 <= 0; } Constraint e11 { Definition: x34 - x42 <= 0; } Constraint e12 { Definition: x35 - x41 <= 0; } Constraint e13 { Definition: x36 - x42 <= 0; } Constraint e14 { Definition: x37 - x41 <= 0; } Constraint e15 { Definition: x38 - x42 <= 0; } Constraint e16 { Definition: 0.25*x2 + 0.375*x3 + x31 - x39 = 0; } Constraint e17 { Definition: - 0.25*x2 + 0.375*x3 + x33 - x39 = 0; } Constraint e18 { Definition: - 0.25*x2 - 0.375*x3 + x35 - x39 = 0; } Constraint e19 { Definition: 0.25*x2 - 0.375*x3 + x37 - x39 = 0; } Constraint e20 { Definition: - 0.375*x2 + 0.25*x3 + x32 - x40 = 0; } Constraint e21 { Definition: - 0.375*x2 - 0.25*x3 + x34 - x40 = 0; } Constraint e22 { Definition: 0.375*x2 - 0.25*x3 + x36 - x40 = 0; } Constraint e23 { Definition: 0.375*x2 + 0.25*x3 + x38 - x40 = 0; } Constraint e24 { Definition: x15*x15 + x16*x16 = 1; } Constraint e25 { Definition: - x16 + x17 = 0; } Constraint e26 { Definition: x15 + x18 = 0; } Constraint e27 { Definition: x15*x10 + x4 + x19 - x31 = 0; } Constraint e28 { Definition: x16*x10 + x5 + x20 - x32 = 0; } Constraint e29 { Definition: x15*x11 + x4 + x21 - x33 = 0; } Constraint e30 { Definition: x16*x11 + x5 + x22 - x34 = 0; } Constraint e31 { Definition: x15*x12 + x4 + x23 - x35 = 0; } Constraint e32 { Definition: x16*x12 + x5 + x24 - x36 = 0; } Constraint e33 { Definition: x15*x13 + x4 + x25 - x37 = 0; } Constraint e34 { Definition: x16*x13 + x5 + x26 - x38 = 0; } Constraint e35 { Definition: x15*x14 + x4 + x27 - x29 = 0; } Constraint e36 { Definition: x16*x14 + x5 + x28 - x30 = 0; } Constraint e37 { Definition: -x6*x17 + x19 = 0; } Constraint e38 { Definition: -x6*x18 + x20 = 0; } Constraint e39 { Definition: -x7*x17 + x21 = 0; } Constraint e40 { Definition: -x7*x18 + x22 = 0; } Constraint e41 { Definition: -x8*x17 + x23 = 0; } Constraint e42 { Definition: -x8*x18 + x24 = 0; } Constraint e43 { Definition: -x9*x17 + x25 = 0; } Constraint e44 { Definition: -x9*x18 + x26 = 0; } Constraint e45 { Definition: 0.5*x17 + x27 = 0; } Constraint e46 { Definition: 0.5*x18 + x28 = 0; } Constraint e47 { Definition: x29 <= 4; } Constraint e48 { Definition: x30 <= 2; } Procedure MainInitialization { Body: { x1.lower := 0.25; x1.upper := 32; x2.lower := -1; x2.upper := 1; x3.lower := -1; x3.upper := 1; x4.upper := 8; x5.upper := 4; x6.upper := 8.94427190999916; x7.upper := 8.94427190999916; x8.upper := 8.94427190999916; x9.upper := 8.94427190999916; x10.lower := -8.94427190999916; x10.upper := 8.94427190999916; x11.lower := -8.94427190999916; x11.upper := 8.94427190999916; x12.lower := -8.94427190999916; x12.upper := 8.94427190999916; x13.lower := -8.94427190999916; x13.upper := 8.94427190999916; x14.lower := -8.94427190999916; x14.upper := 8.94427190999916; x15.lower := -1; x15.upper := 1; x16.lower := -1; x16.upper := 1; x17.lower := -1; x17.upper := 1; x18.lower := -1; x18.upper := 1; x19.lower := -8.94427190999916; x19.upper := 8.94427190999916; x20.lower := -8.94427190999916; x20.upper := 8.94427190999916; x21.lower := -8.94427190999916; x21.upper := 8.94427190999916; x22.lower := -8.94427190999916; x22.upper := 8.94427190999916; x23.lower := -8.94427190999916; x23.upper := 8.94427190999916; x24.lower := -8.94427190999916; x24.upper := 8.94427190999916; x25.lower := -8.94427190999916; x25.upper := 8.94427190999916; x26.lower := -8.94427190999916; x26.upper := 8.94427190999916; x27.lower := -8.94427190999916; x27.upper := 8.94427190999916; x28.lower := -8.94427190999916; x28.upper := 8.94427190999916; x29.lower := 0.5; x29.upper := 7.5; x30.lower := 0.5; x30.upper := 3.5; x31.upper := 8; x32.upper := 4; x33.upper := 8; x34.upper := 4; x35.upper := 8; x36.upper := 4; x37.upper := 8; x38.upper := 4; x39.upper := 8; x40.upper := 4; x41.upper := 8; x42.upper := 4; objvar.lower := 0; objvar.upper := 32; } } MathematicalProgram kall_circlespolygons_c1p12 { Objective: objvar; Direction: minimize; Constraints: AllConstraints; Variables: AllVariables; Type: NLP; } Procedure MainExecution { Body: { solve kall_circlespolygons_c1p12; } } Procedure MainTermination { Body: { return 1; } } }