## ams_version=1.0 Model Main_orth_d3m6_pl { Variable objvar; 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 x14 { Range: nonnegative; } Variable x15 { Range: nonnegative; } Variable x16 { Range: nonnegative; } Variable x17 { Range: nonnegative; } Variable x18 { Range: nonnegative; } Variable x19 { Range: nonnegative; } Variable x20 { Range: nonnegative; } Variable x21 { Range: nonnegative; } Variable x22 { Range: nonnegative; } Variable x23; Variable x24 { Range: nonnegative; } 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; Constraint e1 { Definition: objvar >= 0; } Constraint e2 { Definition: -x3*x4 + x2 = 0; } Constraint e3 { Definition: -x3*x6 + x5 = 0; } Constraint e4 { Definition: -x3*x8 + x7 = 0; } Constraint e5 { Definition: -x3*x10 + x9 = 0; } Constraint e6 { Definition: -x3*x12 + x11 = 0; } Constraint e7 { Definition: -x4*x6 + x13 = 0; } Constraint e8 { Definition: -x4*x8 + x14 = 0; } Constraint e9 { Definition: -x4*x10 + x15 = 0; } Constraint e10 { Definition: -x4*x12 + x16 = 0; } Constraint e11 { Definition: -x6*x8 + x17 = 0; } Constraint e12 { Definition: -x6*x10 + x18 = 0; } Constraint e13 { Definition: -x6*x12 + x19 = 0; } Constraint e14 { Definition: -x8*x10 + x20 = 0; } Constraint e15 { Definition: -x8*x12 + x21 = 0; } Constraint e16 { Definition: -x10*x12 + x22 = 0; } Constraint e17 { Definition: x3 + x4 + x6 + x8 + x10 + x12 = 3; } Constraint e18 { Definition: x23 - x24 <= 0; } Constraint e19 { Definition: - x24 + x25 <= 0; } Constraint e20 { Definition: - x24 + x26 <= 0; } Constraint e21 { Definition: - x24 + x27 <= 0; } Constraint e22 { Definition: - x24 + x28 <= 0; } Constraint e23 { Definition: - x24 + x29 <= 0; } Constraint e24 { Definition: - x24 + x30 <= 0; } Constraint e25 { Definition: - x24 + x31 <= 0; } Constraint e26 { Definition: - x24 + x32 <= 0; } Constraint e27 { Definition: - x24 + x33 <= 0; } Constraint e28 { Definition: - x24 + x34 <= 0; } Constraint e29 { Definition: - x24 + x35 <= 0; } Constraint e30 { Definition: - x24 + x36 <= 0; } Constraint e31 { Definition: - x24 + x37 <= 0; } Constraint e32 { Definition: - x24 + x38 <= 0; } Constraint e33 { Definition: - x24 + x39 <= 0; } Constraint e34 { Definition: - x24 + x40 <= 0; } Constraint e35 { Definition: - x24 + x41 <= 0; } Constraint e36 { Definition: - x24 + x42 <= 0; } Constraint e37 { Definition: { sqr(x23)*x13 + sqr(x25)*x14 + sqr(x26)*x15 + sqr(x27)*x16 + sqr(x28)*x17 + sqr(x29)*x18 + sqr(x30)*x19 + sqr(x31)*x20 + sqr(x32)*x21 + sqr(x33)* x22 = 1 } } Constraint e38 { Definition: { sqr(x23)*x5 + sqr(x25)*x7 + sqr(x26)*x9 + sqr(x27)*x11 + sqr(x34)*x17 + sqr(x35)*x18 + sqr(x36)*x19 + sqr(x37)*x20 + sqr(x38)*x21 + sqr(x39)*x22 = 1 } } Constraint e39 { Definition: { sqr(x23)*x2 + sqr(x28)*x7 + sqr(x29)*x9 + sqr(x30)*x11 + sqr(x34)*x14 + sqr(x35)*x15 + sqr(x36)*x16 + sqr(x40)*x20 + sqr(x41)*x21 + sqr(x42)*x22 = 1 } } Constraint e40 { Definition: { sqr(x25)*x2 + sqr(x28)*x5 + sqr(x31)*x9 + sqr(x32)*x11 + sqr(x34)*x13 + sqr(x37)*x15 + sqr(x38)*x16 + sqr(x40)*x18 + sqr(x41)*x19 + sqr(x24)*x22 = 1 } } Constraint e41 { Definition: { sqr(x26)*x2 + sqr(x29)*x5 + sqr(x31)*x7 + sqr(x33)*x11 + sqr(x35)*x13 + sqr(x37)*x14 + sqr(x39)*x16 + sqr(x40)*x17 + sqr(x42)*x19 + sqr(x24)*x21 = 1 } } Constraint e42 { Definition: { sqr(x27)*x2 + sqr(x30)*x5 + sqr(x32)*x7 + sqr(x33)*x9 + sqr(x36)*x13 + sqr(x38)*x14 + sqr(x39)*x15 + sqr(x41)*x17 + sqr(x42)*x18 + sqr(x24)*x20 = 1 } } Constraint e43 { Definition: x23*x31 - x25*x29 + x26*x28 = 0; } Constraint e44 { Definition: x23*x37 - x25*x35 + x26*x34 = 0; } Constraint e45 { Definition: x23*x32 - x25*x30 + x27*x28 = 0; } Constraint e46 { Definition: x23*x38 - x25*x36 + x27*x34 = 0; } Constraint e47 { Definition: x23*x33 - x26*x30 + x27*x29 = 0; } Constraint e48 { Definition: x23*x39 - x26*x36 + x27*x35 = 0; } Constraint e49 { Definition: x23*x40 - x28*x35 + x29*x34 = 0; } Constraint e50 { Definition: x23*x41 - x28*x36 + x30*x34 = 0; } Constraint e51 { Definition: x23*x42 - x29*x36 + x30*x35 = 0; } Constraint e52 { Definition: x25*x33 - x26*x32 + x27*x31 = 0; } Constraint e53 { Definition: x25*x39 - x26*x38 + x27*x37 = 0; } Constraint e54 { Definition: x25*x40 - x28*x37 + x31*x34 = 0; } Constraint e55 { Definition: x25*x41 - x28*x38 + x32*x34 = 0; } Constraint e56 { Definition: x24*x25 - x31*x38 + x32*x37 = 0; } Constraint e57 { Definition: x26*x40 - x29*x37 + x31*x35 = 0; } Constraint e58 { Definition: x26*x42 - x29*x39 + x33*x35 = 0; } Constraint e59 { Definition: x24*x26 - x31*x39 + x33*x37 = 0; } Constraint e60 { Definition: x27*x41 - x30*x38 + x32*x36 = 0; } Constraint e61 { Definition: x27*x42 - x30*x39 + x33*x36 = 0; } Constraint e62 { Definition: x24*x27 - x32*x39 + x33*x38 = 0; } Constraint e63 { Definition: x28*x33 - x29*x32 + x30*x31 = 0; } Constraint e64 { Definition: x28*x42 - x29*x41 + x30*x40 = 0; } Constraint e65 { Definition: x24*x28 - x31*x41 + x32*x40 = 0; } Constraint e66 { Definition: x24*x29 - x31*x42 + x33*x40 = 0; } Constraint e67 { Definition: x24*x30 - x32*x42 + x33*x41 = 0; } Constraint e68 { Definition: x34*x39 - x35*x38 + x36*x37 = 0; } Constraint e69 { Definition: x34*x42 - x35*x41 + x36*x40 = 0; } Constraint e70 { Definition: x24*x34 - x37*x41 + x38*x40 = 0; } Constraint e71 { Definition: x24*x35 - x37*x42 + x39*x40 = 0; } Constraint e72 { Definition: x24*x36 - x38*x42 + x39*x41 = 0; } Constraint e73 { Definition: x23*x24 - x25*x42 + x26*x41 - x27*x40 = 0; } Constraint e74 { Definition: x23*x24 - x25*x42 + x28*x39 - x33*x34 = 0; } Constraint e75 { Definition: x23*x24 + x26*x41 - x29*x38 + x32*x35 = 0; } Constraint e76 { Definition: x23*x24 - x27*x40 + x30*x37 - x31*x36 = 0; } Constraint e77 { Definition: x23*x24 + x28*x39 - x29*x38 + x30*x37 = 0; } Constraint e78 { Definition: x23*x24 - x31*x36 + x32*x35 - x33*x34 = 0; } Constraint e79 { Definition: x25*x42 - x26*x41 + x30*x37 - x31*x36 = 0; } Constraint e80 { Definition: x25*x42 + x27*x40 - x29*x38 + x32*x35 = 0; } Constraint e81 { Definition: x25*x42 - x28*x39 - x31*x36 + x32*x35 = 0; } Constraint e82 { Definition: x25*x42 - x29*x38 + x30*x37 + x33*x34 = 0; } Constraint e83 { Definition: x26*x41 - x27*x40 - x28*x39 + x33*x34 = 0; } Constraint e84 { Definition: x26*x41 - x28*x39 - x30*x37 + x32*x35 = 0; } Constraint e85 { Definition: x26*x41 - x29*x38 + x31*x36 + x33*x34 = 0; } Constraint e86 { Definition: x27*x40 + x28*x39 - x29*x38 + x31*x36 = 0; } Constraint e87 { Definition: x27*x40 - x30*x37 + x32*x35 - x33*x34 = 0; } Constraint e88 { Definition: - objvar + x23 <= 0; } Constraint e89 { Definition: - objvar - x23 <= 0; } Constraint e90 { Definition: - objvar + x25 <= 0; } Constraint e91 { Definition: - objvar - x25 <= 0; } Constraint e92 { Definition: - objvar + x26 <= 0; } Constraint e93 { Definition: - objvar - x26 <= 0; } Constraint e94 { Definition: - objvar + x27 <= 0; } Constraint e95 { Definition: - objvar - x27 <= 0; } Constraint e96 { Definition: - objvar + x28 <= 0; } Constraint e97 { Definition: - objvar - x28 <= 0; } Constraint e98 { Definition: - objvar + x29 <= 0; } Constraint e99 { Definition: - objvar - x29 <= 0; } Constraint e100 { Definition: - objvar + x30 <= 0; } Constraint e101 { Definition: - objvar - x30 <= 0; } Constraint e102 { Definition: - objvar + x31 <= 0; } Constraint e103 { Definition: - objvar - x31 <= 0; } Constraint e104 { Definition: - objvar + x32 <= 0; } Constraint e105 { Definition: - objvar - x32 <= 0; } Constraint e106 { Definition: - objvar + x33 <= 0; } Constraint e107 { Definition: - objvar - x33 <= 0; } Constraint e108 { Definition: - objvar + x34 <= 0; } Constraint e109 { Definition: - objvar - x34 <= 0; } Constraint e110 { Definition: - objvar + x35 <= 0; } Constraint e111 { Definition: - objvar - x35 <= 0; } Constraint e112 { Definition: - objvar + x36 <= 0; } Constraint e113 { Definition: - objvar - x36 <= 0; } Constraint e114 { Definition: - objvar + x37 <= 0; } Constraint e115 { Definition: - objvar - x37 <= 0; } Constraint e116 { Definition: - objvar + x38 <= 0; } Constraint e117 { Definition: - objvar - x38 <= 0; } Constraint e118 { Definition: - objvar + x39 <= 0; } Constraint e119 { Definition: - objvar - x39 <= 0; } Constraint e120 { Definition: - objvar + x40 <= 0; } Constraint e121 { Definition: - objvar - x40 <= 0; } Constraint e122 { Definition: - objvar + x41 <= 0; } Constraint e123 { Definition: - objvar - x41 <= 0; } Constraint e124 { Definition: - objvar + x42 <= 0; } Constraint e125 { Definition: - objvar - x42 <= 0; } Constraint e126 { Definition: - objvar + x24 <= 0; } Constraint e127 { Definition: - objvar - x24 <= 0; } Procedure MainInitialization { Body: { objvar.lower := 0; x2.upper := 1; x3.upper := 1; x4.upper := 1; x5.upper := 1; x6.upper := 1; x7.upper := 1; x8.upper := 1; x9.upper := 1; x10.upper := 1; x11.upper := 1; x12.upper := 1; x13.upper := 1; x14.upper := 1; x15.upper := 1; x16.upper := 1; x17.upper := 1; x18.upper := 1; x19.upper := 1; x20.upper := 1; x21.upper := 1; x22.upper := 1; x23.lower := -1; x23.upper := 1; x24.upper := 1; x25.lower := -1; x25.upper := 1; x26.lower := -1; x26.upper := 1; x27.lower := -1; x27.upper := 1; x28.lower := -1; x28.upper := 1; x29.lower := -1; x29.upper := 1; x30.lower := -1; x30.upper := 1; x31.lower := -1; x31.upper := 1; x32.lower := -1; x32.upper := 1; x33.lower := -1; x33.upper := 1; x34.lower := -1; x34.upper := 1; x35.lower := -1; x35.upper := 1; x36.lower := -1; x36.upper := 1; x37.lower := -1; x37.upper := 1; x38.lower := -1; x38.upper := 1; x39.lower := -1; x39.upper := 1; x40.lower := -1; x40.upper := 1; x41.lower := -1; x41.upper := 1; x42.lower := -1; x42.upper := 1; } } MathematicalProgram orth_d3m6_pl { Objective: objvar; Direction: minimize; Constraints: AllConstraints; Variables: AllVariables; Type: NLP; } Procedure MainExecution { Body: { solve orth_d3m6_pl; } } Procedure MainTermination { Body: { return 1; } } }