## ams_version=1.0 Model Main_orth_d3m6 { 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 { Range: nonnegative; } Variable x21 { Range: nonnegative; } Variable x22 { Range: nonnegative; } Variable x23 { Range: nonnegative; } Variable x24 { Range: nonnegative; } Variable x25 { Range: nonnegative; } Constraint e1 { Definition: x2 = 1; } Constraint e2 { Definition: x3 = 0; } Constraint e3 { Definition: x4 = 0; } Constraint e4 { Definition: x5 = 0; } Constraint e5 { Definition: x6 >= 0; } Constraint e6 { Definition: x7 - x8 >= 0; } Constraint e7 { Definition: x8 - x9 >= 0; } Constraint e8 { Definition: x9 - x10 >= 0; } Constraint e9 { Definition: x10 >= 0; } Constraint e10 { Definition: sqr(x2) + sqr(x3) + sqr(x4) = 1; } Constraint e11 { Definition: sqr(x6) + sqr(x11) + sqr(x5) = 1; } Constraint e12 { Definition: sqr(x7) + sqr(x12) + sqr(x13) = 1; } Constraint e13 { Definition: sqr(x8) + sqr(x14) + sqr(x15) = 1; } Constraint e14 { Definition: sqr(x9) + sqr(x16) + sqr(x17) = 1; } Constraint e15 { Definition: sqr(x10) + sqr(x18) + sqr(x19) = 1; } Constraint e16 { Definition: { sqr(x2)*x20 + sqr(x6)*x21 + sqr(x7)*x22 + sqr(x8)*x23 + sqr(x9)*x24 + sqr(x10)*x25 = 1 } } Constraint e17 { Definition: { x20*x2*x3 + x21*x6*x11 + x22*x7*x12 + x23*x8*x14 + x24*x9*x16 + x25*x10* x18 = 0 } } Constraint e18 { Definition: { x20*x2*x4 + x21*x6*x5 + x22*x7*x13 + x23*x8*x15 + x24*x9*x17 + x25*x10* x19 = 0 } } Constraint e19 { Definition: { sqr(x3)*x20 + sqr(x11)*x21 + sqr(x12)*x22 + sqr(x14)*x23 + sqr(x16)*x24 + sqr(x18)*x25 = 1 } } Constraint e20 { Definition: { x20*x3*x4 + x21*x11*x5 + x22*x12*x13 + x23*x14*x15 + x24*x16*x17 + x25* x18*x19 = 0 } } Constraint e21 { Definition: { sqr(x4)*x20 + sqr(x5)*x21 + sqr(x13)*x22 + sqr(x15)*x23 + sqr(x17)*x24 + sqr(x19)*x25 = 1 } } Constraint e22 { Definition: x20 + x21 + x22 + x23 + x24 + x25 = 3; } Constraint e23 { Definition: { x6*x12*x4 - x7*x11*x4 + x7*x3*x5 - x2*x12*x5 - x6*x3*x13 + x2*x11*x13 - objvar <= 0 } } Constraint e24 { Definition: { x7*x11*x4 - x6*x12*x4 - x7*x3*x5 + x2*x12*x5 + x6*x3*x13 - x2*x11*x13 - objvar <= 0 } } Constraint e25 { Definition: { x6*x14*x4 - x8*x11*x4 + x8*x3*x5 - x2*x14*x5 - x6*x3*x15 + x2*x11*x15 - objvar <= 0 } } Constraint e26 { Definition: { x8*x11*x4 - x6*x14*x4 - x8*x3*x5 + x2*x14*x5 + x6*x3*x15 - x2*x11*x15 - objvar <= 0 } } Constraint e27 { Definition: { x6*x16*x4 - x9*x11*x4 + x9*x3*x5 - x2*x16*x5 - x6*x3*x17 + x2*x11*x17 - objvar <= 0 } } Constraint e28 { Definition: { x9*x11*x4 - x6*x16*x4 - x9*x3*x5 + x2*x16*x5 + x6*x3*x17 - x2*x11*x17 - objvar <= 0 } } Constraint e29 { Definition: { x6*x18*x4 - x10*x11*x4 + x10*x3*x5 - x2*x18*x5 - x6*x3*x19 + x2*x11*x19 - objvar <= 0 } } Constraint e30 { Definition: { x10*x11*x4 - x6*x18*x4 - x10*x3*x5 + x2*x18*x5 + x6*x3*x19 - x2*x11*x19 - objvar <= 0 } } Constraint e31 { Definition: { x7*x14*x4 - x8*x12*x4 + x8*x3*x13 - x2*x14*x13 - x7*x3*x15 + x2*x12*x15 - objvar <= 0 } } Constraint e32 { Definition: { x8*x12*x4 - x7*x14*x4 - x8*x3*x13 + x2*x14*x13 + x7*x3*x15 - x2*x12*x15 - objvar <= 0 } } Constraint e33 { Definition: { x7*x16*x4 - x9*x12*x4 + x9*x3*x13 - x2*x16*x13 - x7*x3*x17 + x2*x12*x17 - objvar <= 0 } } Constraint e34 { Definition: { x9*x12*x4 - x7*x16*x4 - x9*x3*x13 + x2*x16*x13 + x7*x3*x17 - x2*x12*x17 - objvar <= 0 } } Constraint e35 { Definition: { x7*x18*x4 - x10*x12*x4 + x10*x3*x13 - x2*x18*x13 - x7*x3*x19 + x2*x12*x19 - objvar <= 0 } } Constraint e36 { Definition: { x10*x12*x4 - x7*x18*x4 - x10*x3*x13 + x2*x18*x13 + x7*x3*x19 - x2*x12*x19 - objvar <= 0 } } Constraint e37 { Definition: { x8*x16*x4 - x9*x14*x4 + x9*x3*x15 - x2*x16*x15 - x8*x3*x17 + x2*x14*x17 - objvar <= 0 } } Constraint e38 { Definition: { x9*x14*x4 - x8*x16*x4 - x9*x3*x15 + x2*x16*x15 + x8*x3*x17 - x2*x14*x17 - objvar <= 0 } } Constraint e39 { Definition: { x8*x18*x4 - x10*x14*x4 + x10*x3*x15 - x2*x18*x15 - x8*x3*x19 + x2*x14*x19 - objvar <= 0 } } Constraint e40 { Definition: { x10*x14*x4 - x8*x18*x4 - x10*x3*x15 + x2*x18*x15 + x8*x3*x19 - x2*x14*x19 - objvar <= 0 } } Constraint e41 { Definition: { x9*x18*x4 - x10*x16*x4 + x10*x3*x17 - x2*x18*x17 - x9*x3*x19 + x2*x16*x19 - objvar <= 0 } } Constraint e42 { Definition: { x10*x16*x4 - x9*x18*x4 - x10*x3*x17 + x2*x18*x17 + x9*x3*x19 - x2*x16*x19 - objvar <= 0 } } Constraint e43 { Definition: { x7*x14*x5 - x8*x12*x5 + x8*x11*x13 - x6*x14*x13 - x7*x11*x15 + x6*x12*x15 - objvar <= 0 } } Constraint e44 { Definition: { x8*x12*x5 - x7*x14*x5 - x8*x11*x13 + x6*x14*x13 + x7*x11*x15 - x6*x12*x15 - objvar <= 0 } } Constraint e45 { Definition: { x7*x16*x5 - x9*x12*x5 + x9*x11*x13 - x6*x16*x13 - x7*x11*x17 + x6*x12*x17 - objvar <= 0 } } Constraint e46 { Definition: { x9*x12*x5 - x7*x16*x5 - x9*x11*x13 + x6*x16*x13 + x7*x11*x17 - x6*x12*x17 - objvar <= 0 } } Constraint e47 { Definition: { x7*x18*x5 - x10*x12*x5 + x10*x11*x13 - x6*x18*x13 - x7*x11*x19 + x6*x12* x19 - objvar <= 0 } } Constraint e48 { Definition: { x10*x12*x5 - x7*x18*x5 - x10*x11*x13 + x6*x18*x13 + x7*x11*x19 - x6*x12* x19 - objvar <= 0 } } Constraint e49 { Definition: { x8*x16*x5 - x9*x14*x5 + x9*x11*x15 - x6*x16*x15 - x8*x11*x17 + x6*x14*x17 - objvar <= 0 } } Constraint e50 { Definition: { x9*x14*x5 - x8*x16*x5 - x9*x11*x15 + x6*x16*x15 + x8*x11*x17 - x6*x14*x17 - objvar <= 0 } } Constraint e51 { Definition: { x8*x18*x5 - x10*x14*x5 + x10*x11*x15 - x6*x18*x15 - x8*x11*x19 + x6*x14* x19 - objvar <= 0 } } Constraint e52 { Definition: { x10*x14*x5 - x8*x18*x5 - x10*x11*x15 + x6*x18*x15 + x8*x11*x19 - x6*x14* x19 - objvar <= 0 } } Constraint e53 { Definition: { x9*x18*x5 - x10*x16*x5 + x10*x11*x17 - x6*x18*x17 - x9*x11*x19 + x6*x16* x19 - objvar <= 0 } } Constraint e54 { Definition: { x10*x16*x5 - x9*x18*x5 - x10*x11*x17 + x6*x18*x17 + x9*x11*x19 - x6*x16* x19 - objvar <= 0 } } Constraint e55 { Definition: { x8*x16*x13 - x9*x14*x13 + x9*x12*x15 - x7*x16*x15 - x8*x12*x17 + x7*x14* x17 - objvar <= 0 } } Constraint e56 { Definition: { x9*x14*x13 - x8*x16*x13 - x9*x12*x15 + x7*x16*x15 + x8*x12*x17 - x7*x14* x17 - objvar <= 0 } } Constraint e57 { Definition: { x8*x18*x13 - x10*x14*x13 + x10*x12*x15 - x7*x18*x15 - x8*x12*x19 + x7*x14 *x19 - objvar <= 0 } } Constraint e58 { Definition: { x10*x14*x13 - x8*x18*x13 - x10*x12*x15 + x7*x18*x15 + x8*x12*x19 - x7*x14 *x19 - objvar <= 0 } } Constraint e59 { Definition: { x9*x18*x13 - x10*x16*x13 + x10*x12*x17 - x7*x18*x17 - x9*x12*x19 + x7*x16 *x19 - objvar <= 0 } } Constraint e60 { Definition: { x10*x16*x13 - x9*x18*x13 - x10*x12*x17 + x7*x18*x17 + x9*x12*x19 - x7*x16 *x19 - objvar <= 0 } } Constraint e61 { Definition: { x9*x18*x15 - x10*x16*x15 + x10*x14*x17 - x8*x18*x17 - x9*x14*x19 + x8*x16 *x19 - objvar <= 0 } } Constraint e62 { Definition: { x10*x16*x15 - x9*x18*x15 - x10*x14*x17 + x8*x18*x17 + x9*x14*x19 - x8*x16 *x19 - objvar <= 0 } } Procedure MainInitialization { Body: { objvar.lower := 0; objvar.upper := 1; x2.lower := -1; x2.upper := 1; x3.lower := -1; x3.upper := 1; x4.lower := -1; x4.upper := 1; x5.lower := -1; x5.upper := 1; x6.lower := -1; x6.upper := 1; x7.lower := -1; x7.upper := 1; x8.lower := -1; x8.upper := 1; x9.lower := -1; x9.upper := 1; x10.lower := -1; x10.upper := 1; x11.lower := -1; x11.upper := 1; x12.lower := -1; x12.upper := 1; x13.lower := -1; x13.upper := 1; x14.lower := -1; x14.upper := 1; 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 := -1; x19.upper := 1; x20.upper := 1; x21.upper := 1; x22.upper := 1; x23.upper := 1; x24.upper := 1; x25.upper := 1; } } MathematicalProgram orth_d3m6 { Objective: objvar; Direction: minimize; Constraints: AllConstraints; Variables: AllVariables; Type: NLP; } Procedure MainExecution { Body: { solve orth_d3m6; } } Procedure MainTermination { Body: { return 1; } } }