## ams_version=1.0 Model Main_kall_ellipsoids_tc02b { Variable objvar; Variable x2; Variable x3; Variable x4; Variable x5; Variable x6; Variable x7; Variable x8; Variable x9; 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; Variable x32; Variable x33; Variable x34; Variable x35; Variable x36; Variable x37; Variable x38; Variable x39; Variable x40; Variable x41; Variable x42; Variable x43; Variable x44; Variable x45; Variable x46; Variable x47; Variable x48; Variable x49; Variable x50; Variable x51; Variable x52; Variable x53; Variable x54; Variable x55; Variable x56; Variable x57; Variable x58; Variable x59; Variable x60; Variable x61; Variable x62; Variable x63; Variable x64; Variable x65; Variable x66; Variable x67; Variable x68; Variable x69; Variable x70; Variable x71; Variable x72; Variable x73; Variable x74; Variable x75; Variable x76; Variable x77; Variable x78; Variable x79; Variable x80; Variable x81; Variable x82; Variable x83; Variable x84; Variable x85; Variable x86; Variable x87; Variable x88; Variable x89; Variable x90; Variable x91; Variable x92; Variable x93; Variable x94; Variable x95; Variable x96; Variable x97; Variable x98; Variable x99; Variable x100; Variable x101; Variable x102; Variable x103; Variable x104; Variable x105; Variable x106; Variable x107; Variable x108; Variable x109; Variable x110; Variable x111; Variable x112; Variable x113; Variable x114 { Range: nonnegative; } Variable x115 { Range: nonnegative; } Variable x116 { Range: nonnegative; } Variable x117 { Range: nonnegative; } Variable x118 { Range: nonnegative; } Variable x119 { Range: nonnegative; } Variable x120 { Range: nonnegative; } Variable x121 { Range: nonnegative; } Variable x122 { Range: nonnegative; } Variable x123 { Range: nonnegative; } Variable x124 { Range: nonnegative; } Variable x125 { Range: nonnegative; } Constraint e1 { Definition: objvar - x98 = 0; } Constraint e2 { Definition: -x105*x106*x107 + x98 = 0; } Constraint e3 { Definition: { x41*x45*x49 - x41*x46*x48 - x42*x44*x49 + x42*x47*x46 + x44*x43*x48 - x43* x45*x47 = 1 } } Constraint e4 { Definition: { x50*x54*x58 - x50*x55*x57 - x51*x53*x58 + x51*x56*x55 + x53*x52*x57 - x52* x54*x56 = 1 } } Constraint e5 { Definition: x62 + x63 + x64 = 1; } Constraint e6 { Definition: x65 + x66 + x67 = 0; } Constraint e7 { Definition: x68 + x69 + x70 = 0; } Constraint e8 { Definition: x71 + x72 + x73 = 1; } Constraint e9 { Definition: x74 + x75 + x76 = 0; } Constraint e10 { Definition: x77 + x78 + x79 = 1; } Constraint e11 { Definition: x80 + x81 + x82 = 1; } Constraint e12 { Definition: x83 + x84 + x85 = 0; } Constraint e13 { Definition: x86 + x87 + x88 = 0; } Constraint e14 { Definition: x89 + x90 + x91 = 1; } Constraint e15 { Definition: x92 + x93 + x94 = 0; } Constraint e16 { Definition: x95 + x96 + x97 = 1; } Constraint e17 { Definition: x23 - 0.25*x62 - 0.444444444444444*x63 - x64 = 0; } Constraint e18 { Definition: x24 - 0.25*x65 - 0.444444444444444*x66 - x67 = 0; } Constraint e19 { Definition: x25 - 0.25*x68 - 0.444444444444444*x69 - x70 = 0; } Constraint e20 { Definition: x27 - 0.25*x71 - 0.444444444444444*x72 - x73 = 0; } Constraint e21 { Definition: x28 - 0.25*x74 - 0.444444444444444*x75 - x76 = 0; } Constraint e22 { Definition: x31 - 0.25*x77 - 0.444444444444444*x78 - x79 = 0; } Constraint e23 { Definition: x32 - 0.444444444444444*x80 - x81 - 2.04081632653061*x82 = 0; } Constraint e24 { Definition: x33 - 0.444444444444444*x83 - x84 - 2.04081632653061*x85 = 0; } Constraint e25 { Definition: x34 - 0.444444444444444*x86 - x87 - 2.04081632653061*x88 = 0; } Constraint e26 { Definition: x36 - 0.444444444444444*x89 - x90 - 2.04081632653061*x91 = 0; } Constraint e27 { Definition: x37 - 0.444444444444444*x92 - x93 - 2.04081632653061*x94 = 0; } Constraint e28 { Definition: x40 - 0.444444444444444*x95 - x96 - 2.04081632653061*x97 = 0; } Constraint e29 { Definition: - x24 + x26 = 0; } Constraint e30 { Definition: - x25 + x29 = 0; } Constraint e31 { Definition: - x28 + x30 = 0; } Constraint e32 { Definition: - x33 + x35 = 0; } Constraint e33 { Definition: - x34 + x38 = 0; } Constraint e34 { Definition: - x37 + x39 = 0; } Constraint e35 { Definition: - x105 + x108 <= -1; } Constraint e36 { Definition: - x106 + x109 <= -1; } Constraint e37 { Definition: - x107 + x110 <= -1; } Constraint e38 { Definition: - x105 + x111 <= -0.7; } Constraint e39 { Definition: - x106 + x112 <= -0.7; } Constraint e40 { Definition: - x107 + x113 <= -0.7; } Constraint e41 { Definition: sqr(x99) - (x27*x31 - x28*x30) = 0; } Constraint e42 { Definition: sqr(x102) - (x36*x40 - x37*x39) = 0; } Constraint e43 { Definition: sqr(x100) - (x23*x31 - x25*x29) = 0; } Constraint e44 { Definition: sqr(x103) - (x32*x40 - x34*x38) = 0; } Constraint e45 { Definition: sqr(x101) - (x23*x27 - x24*x26) = 0; } Constraint e46 { Definition: sqr(x104) - (x32*x36 - x33*x35) = 0; } Constraint e47 { Definition: 3*x99 - x108 + x114 = 0; } Constraint e48 { Definition: 3*x100 - x109 + x115 = 0; } Constraint e49 { Definition: 3*x101 - x110 + x116 = 0; } Constraint e50 { Definition: 1.05*x102 - x111 + x117 = 0; } Constraint e51 { Definition: 1.05*x103 - x112 + x118 = 0; } Constraint e52 { Definition: 1.05*x104 - x113 + x119 = 0; } Constraint e53 { Definition: - 3*x99 - x108 + x120 = 0; } Constraint e54 { Definition: - 3*x100 - x109 + x121 = 0; } Constraint e55 { Definition: - 3*x101 - x110 + x122 = 0; } Constraint e56 { Definition: - 1.05*x102 - x111 + x123 = 0; } Constraint e57 { Definition: - 1.05*x103 - x112 + x124 = 0; } Constraint e58 { Definition: - 1.05*x104 - x113 + x125 = 0; } Constraint e59 { Definition: - x105 + x120 <= 0; } Constraint e60 { Definition: - x106 + x121 <= 0; } Constraint e61 { Definition: - x107 + x122 <= 0; } Constraint e62 { Definition: - x105 + x123 <= 0; } Constraint e63 { Definition: - x106 + x124 <= 0; } Constraint e64 { Definition: - x107 + x125 <= 0; } Constraint e65 { Definition: x105 - x106 >= 0; } Constraint e66 { Definition: x106 - x107 >= 0; } Constraint e67 { Definition: - 0.5*x105 + x108 <= 0; } Constraint e68 { Definition: - 0.5*x106 + x109 <= 0; } Constraint e69 { Definition: - 0.5*x107 + x110 <= 0; } Constraint e70 { Definition: sqr(x59) + sqr(x60) + sqr(x61) = 1; } Constraint e71 { Definition: -x41*x41 + x62 = 0; } Constraint e72 { Definition: -x42*x42 + x63 = 0; } Constraint e73 { Definition: -x43*x43 + x64 = 0; } Constraint e74 { Definition: -x41*x44 + x65 = 0; } Constraint e75 { Definition: -x42*x45 + x66 = 0; } Constraint e76 { Definition: -x43*x46 + x67 = 0; } Constraint e77 { Definition: -x41*x47 + x68 = 0; } Constraint e78 { Definition: -x42*x48 + x69 = 0; } Constraint e79 { Definition: -x43*x49 + x70 = 0; } Constraint e80 { Definition: -x44*x44 + x71 = 0; } Constraint e81 { Definition: -x45*x45 + x72 = 0; } Constraint e82 { Definition: -x46*x46 + x73 = 0; } Constraint e83 { Definition: -x44*x47 + x74 = 0; } Constraint e84 { Definition: -x45*x48 + x75 = 0; } Constraint e85 { Definition: -x46*x49 + x76 = 0; } Constraint e86 { Definition: -x47*x47 + x77 = 0; } Constraint e87 { Definition: -x48*x48 + x78 = 0; } Constraint e88 { Definition: -x49*x49 + x79 = 0; } Constraint e89 { Definition: -x50*x50 + x80 = 0; } Constraint e90 { Definition: -x51*x51 + x81 = 0; } Constraint e91 { Definition: -x52*x52 + x82 = 0; } Constraint e92 { Definition: -x50*x53 + x83 = 0; } Constraint e93 { Definition: -x51*x54 + x84 = 0; } Constraint e94 { Definition: -x52*x55 + x85 = 0; } Constraint e95 { Definition: -x50*x56 + x86 = 0; } Constraint e96 { Definition: -x51*x57 + x87 = 0; } Constraint e97 { Definition: -x52*x58 + x88 = 0; } Constraint e98 { Definition: -x53*x53 + x89 = 0; } Constraint e99 { Definition: -x54*x54 + x90 = 0; } Constraint e100 { Definition: -x55*x55 + x91 = 0; } Constraint e101 { Definition: -x53*x56 + x92 = 0; } Constraint e102 { Definition: -x54*x57 + x93 = 0; } Constraint e103 { Definition: -x55*x58 + x94 = 0; } Constraint e104 { Definition: -x56*x56 + x95 = 0; } Constraint e105 { Definition: -x57*x57 + x96 = 0; } Constraint e106 { Definition: -x58*x58 + x97 = 0; } Constraint e107 { Definition: POWER(x107,3) - x98 <= 0; } Constraint e108 { Definition: x20 - x108 + x111 = 0; } Constraint e109 { Definition: x21 - x109 + x112 = 0; } Constraint e110 { Definition: x22 - x110 + x113 = 0; } Constraint e111 { Definition: { x59*x20 + x60*x21 + x61*x22 - (sqrt(sqr(x2*x59) + sqr(x5*x60) + sqr(x8* x61) + sqr(x3*x59) + sqr(x6*x60) + sqr(x9*x61) + sqr(x4*x59) + sqr(x7* x60) + sqr(x10*x61)) + sqrt(sqr(x11*x59) + sqr(x14*x60) + sqr(x17*x61) + sqr(x12*x59) + sqr(x15*x60) + sqr(x18*x61) + sqr(x13*x59) + sqr(x16* x60) + sqr(x19*x61))) >= 0 } } Constraint e112 { Definition: x2 - 2*x41 = 0; } Constraint e113 { Definition: x3 - 1.5*x42 = 0; } Constraint e114 { Definition: x4 - x43 = 0; } Constraint e115 { Definition: x5 - 2*x44 = 0; } Constraint e116 { Definition: x6 - 1.5*x45 = 0; } Constraint e117 { Definition: x7 - x46 = 0; } Constraint e118 { Definition: x8 - 2*x47 = 0; } Constraint e119 { Definition: x9 - 1.5*x48 = 0; } Constraint e120 { Definition: x10 - x49 = 0; } Constraint e121 { Definition: x11 - 1.5*x50 = 0; } Constraint e122 { Definition: x12 - x51 = 0; } Constraint e123 { Definition: x13 - 0.7*x52 = 0; } Constraint e124 { Definition: x14 - 1.5*x53 = 0; } Constraint e125 { Definition: x15 - x54 = 0; } Constraint e126 { Definition: x16 - 0.7*x55 = 0; } Constraint e127 { Definition: x17 - 1.5*x56 = 0; } Constraint e128 { Definition: x18 - x57 = 0; } Constraint e129 { Definition: x19 - 0.7*x58 = 0; } Procedure MainInitialization { Body: { x23.lower := -1.69454444444444; x23.upper := 1.69454444444444; x24.lower := -1.69454444444444; x24.upper := 1.69454444444444; x25.lower := -1.69454444444444; x25.upper := 1.69454444444444; x26.lower := -1.69444444444444; x26.upper := 1.69444444444444; x27.lower := -1.69454444444444; x27.upper := 1.69454444444444; x28.lower := -1.69454444444444; x28.upper := 1.69454444444444; x29.lower := -1.69444444444444; x29.upper := 1.69444444444444; x30.lower := -1.69444444444444; x30.upper := 1.69444444444444; x31.lower := -1.69454444444444; x31.upper := 1.69454444444444; x32.lower := -3.48536077097506; x32.upper := 3.48536077097506; x33.lower := -3.48536077097506; x33.upper := 3.48536077097506; x34.lower := -3.48536077097506; x34.upper := 3.48536077097506; x35.lower := -3.48526077097506; x35.upper := 3.48526077097506; x36.lower := -3.48536077097506; x36.upper := 3.48536077097506; x37.lower := -3.48536077097506; x37.upper := 3.48536077097506; x38.lower := -3.48526077097506; x38.upper := 3.48526077097506; x39.lower := -3.48526077097506; x39.upper := 3.48526077097506; x40.lower := -3.48536077097506; x40.upper := 3.48536077097506; x41.lower := -1; x41.upper := 1; x42.lower := -1; x42.upper := 1; x43.lower := -1; x43.upper := 1; x44.lower := -1; x44.upper := 1; x45.lower := -1; x45.upper := 1; x46.lower := -1; x46.upper := 1; x47.lower := -1; x47.upper := 1; x48.lower := -1; x48.upper := 1; x49.lower := -1; x49.upper := 1; x50.lower := -1; x50.upper := 1; x51.lower := -1; x51.upper := 1; x52.lower := -1; x52.upper := 1; x53.lower := -1; x53.upper := 1; x54.lower := -1; x54.upper := 1; x55.lower := -1; x55.upper := 1; x56.lower := -1; x56.upper := 1; x57.lower := -1; x57.upper := 1; x58.lower := -1; x58.upper := 1; x59.lower := -1; x59.upper := 1; x60.lower := -1; x60.upper := 1; x61.lower := -1; x61.upper := 1; x62.lower := -1; x62.upper := 1; x63.lower := -1; x63.upper := 1; x64.lower := -1; x64.upper := 1; x65.lower := -1; x65.upper := 1; x66.lower := -1; x66.upper := 1; x67.lower := -1; x67.upper := 1; x68.lower := -1; x68.upper := 1; x69.lower := -1; x69.upper := 1; x70.lower := -1; x70.upper := 1; x71.lower := -1; x71.upper := 1; x72.lower := -1; x72.upper := 1; x73.lower := -1; x73.upper := 1; x74.lower := -1; x74.upper := 1; x75.lower := -1; x75.upper := 1; x76.lower := -1; x76.upper := 1; x77.lower := -1; x77.upper := 1; x78.lower := -1; x78.upper := 1; x79.lower := -1; x79.upper := 1; x80.lower := -1; x80.upper := 1; x81.lower := -1; x81.upper := 1; x82.lower := -1; x82.upper := 1; x83.lower := -1; x83.upper := 1; x84.lower := -1; x84.upper := 1; x85.lower := -1; x85.upper := 1; x86.lower := -1; x86.upper := 1; x87.lower := -1; x87.upper := 1; x88.lower := -1; x88.upper := 1; x89.lower := -1; x89.upper := 1; x90.lower := -1; x90.upper := 1; x91.lower := -1; x91.upper := 1; x92.lower := -1; x92.upper := 1; x93.lower := -1; x93.upper := 1; x94.lower := -1; x94.upper := 1; x95.lower := -1; x95.upper := 1; x96.lower := -1; x96.upper := 1; x97.lower := -1; x97.upper := 1; x98.lower := 16.9646003293849; x99.lower := 0.333333333333333; x99.upper := 0.666666666666667; x100.lower := 0.333333333333333; x100.upper := 0.666666666666667; x101.lower := 0.333333333333333; x101.upper := 0.666666666666667; x102.lower := 0.666666666666667; x102.upper := 1.42857142857143; x103.lower := 0.666666666666667; x103.upper := 1.42857142857143; x104.lower := 0.666666666666667; x104.upper := 1.42857142857143; x105.lower := 4.5; x105.upper := 7; x106.lower := 2.5; x106.upper := 4; x107.lower := 2; x107.upper := 4; x108.lower := 1; x108.upper := 6; x109.lower := 1; x109.upper := 3; x110.lower := 1; x110.upper := 3; x111.lower := 0.7; x111.upper := 6.3; x112.lower := 0.7; x112.upper := 3.3; x113.lower := 0.7; x113.upper := 3.3; x114.upper := 10; x115.upper := 4; x116.upper := 4; x117.upper := 10; x118.upper := 4; x119.upper := 4; x120.upper := 10; x121.upper := 4; x122.upper := 4; x123.upper := 10; x124.upper := 4; x125.upper := 4; x41.l := 1; x45.l := 1; x49.l := 1; x50.l := 1; x54.l := 1; x58.l := 1; } } MathematicalProgram kall_ellipsoids_tc02b { Objective: objvar; Direction: minimize; Constraints: AllConstraints; Variables: AllVariables; Type: NLP; } Procedure MainExecution { Body: { solve kall_ellipsoids_tc02b; } } Procedure MainTermination { Body: { return 1; } } }