## ams_version=1.0 Model Main_ex8_6_2 { Variable x1; 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 objvar; Constraint e1 { Definition: { -(sqr(1 - exp(3 - 3*(sqr(x1 - x2) + sqr(x11 - x12) + sqr(x21 - x22))**0.5) ) + sqr(1 - exp(3 - 3*(sqr(x1 - x3) + sqr(x11 - x13) + sqr(x21 - x23))** 0.5)) + sqr(1 - exp(3 - 3*(sqr(x1 - x4) + sqr(x11 - x14) + sqr(x21 - x24)) **0.5)) + sqr(1 - exp(3 - 3*(sqr(x1 - x5) + sqr(x11 - x15) + sqr(x21 - x25 ))**0.5)) + sqr(1 - exp(3 - 3*(sqr(x1 - x6) + sqr(x11 - x16) + sqr(x21 - x26))**0.5)) + sqr(1 - exp(3 - 3*(sqr(x1 - x7) + sqr(x11 - x17) + sqr(x21 - x27))**0.5)) + sqr(1 - exp(3 - 3*(sqr(x1 - x8) + sqr(x11 - x18) + sqr( x21 - x28))**0.5)) + sqr(1 - exp(3 - 3*(sqr(x1 - x9) + sqr(x11 - x19) + sqr(x21 - x29))**0.5)) + sqr(1 - exp(3 - 3*(sqr(x1 - x10) + sqr(x11 - x20) + sqr(x21 - x30))**0.5)) + sqr(1 - exp(3 - 3*(sqr(x2 - x3) + sqr(x12 - x13) + sqr(x22 - x23))**0.5)) + sqr(1 - exp(3 - 3*(sqr(x2 - x4) + sqr(x12 - x14) + sqr(x22 - x24))**0.5)) + sqr(1 - exp(3 - 3*(sqr(x2 - x5) + sqr( x12 - x15) + sqr(x22 - x25))**0.5)) + sqr(1 - exp(3 - 3*(sqr(x2 - x6) + sqr(x12 - x16) + sqr(x22 - x26))**0.5)) + sqr(1 - exp(3 - 3*(sqr(x2 - x7) + sqr(x12 - x17) + sqr(x22 - x27))**0.5)) + sqr(1 - exp(3 - 3*(sqr(x2 - x8) + sqr(x12 - x18) + sqr(x22 - x28))**0.5)) + sqr(1 - exp(3 - 3*(sqr(x2 - x9) + sqr(x12 - x19) + sqr(x22 - x29))**0.5)) + sqr(1 - exp(3 - 3*(sqr( x2 - x10) + sqr(x12 - x20) + sqr(x22 - x30))**0.5)) + sqr(1 - exp(3 - 3*( sqr(x3 - x4) + sqr(x13 - x14) + sqr(x23 - x24))**0.5)) + sqr(1 - exp(3 - 3 *(sqr(x3 - x5) + sqr(x13 - x15) + sqr(x23 - x25))**0.5)) + sqr(1 - exp(3 - 3*(sqr(x3 - x6) + sqr(x13 - x16) + sqr(x23 - x26))**0.5)) + sqr(1 - exp(3 - 3*(sqr(x3 - x7) + sqr(x13 - x17) + sqr(x23 - x27))**0.5)) + sqr(1 - exp(3 - 3*(sqr(x3 - x8) + sqr(x13 - x18) + sqr(x23 - x28))**0.5)) + sqr(1 - exp(3 - 3*(sqr(x3 - x9) + sqr(x13 - x19) + sqr(x23 - x29))**0.5)) + sqr(1 - exp(3 - 3*(sqr(x3 - x10) + sqr(x13 - x20) + sqr(x23 - x30))** 0.5)) + sqr(1 - exp(3 - 3*(sqr(x4 - x5) + sqr(x14 - x15) + sqr(x24 - x25)) **0.5)) + sqr(1 - exp(3 - 3*(sqr(x4 - x6) + sqr(x14 - x16) + sqr(x24 - x26 ))**0.5)) + sqr(1 - exp(3 - 3*(sqr(x4 - x7) + sqr(x14 - x17) + sqr(x24 - x27))**0.5)) + sqr(1 - exp(3 - 3*(sqr(x4 - x8) + sqr(x14 - x18) + sqr(x24 - x28))**0.5)) + sqr(1 - exp(3 - 3*(sqr(x4 - x9) + sqr(x14 - x19) + sqr( x24 - x29))**0.5)) + sqr(1 - exp(3 - 3*(sqr(x4 - x10) + sqr(x14 - x20) + sqr(x24 - x30))**0.5)) + sqr(1 - exp(3 - 3*(sqr(x5 - x6) + sqr(x15 - x16) + sqr(x25 - x26))**0.5)) + sqr(1 - exp(3 - 3*(sqr(x5 - x7) + sqr(x15 - x17) + sqr(x25 - x27))**0.5)) + sqr(1 - exp(3 - 3*(sqr(x5 - x8) + sqr(x15 - x18) + sqr(x25 - x28))**0.5)) + sqr(1 - exp(3 - 3*(sqr(x5 - x9) + sqr( x15 - x19) + sqr(x25 - x29))**0.5)) + sqr(1 - exp(3 - 3*(sqr(x5 - x10) + sqr(x15 - x20) + sqr(x25 - x30))**0.5)) + sqr(1 - exp(3 - 3*(sqr(x6 - x7) + sqr(x16 - x17) + sqr(x26 - x27))**0.5)) + sqr(1 - exp(3 - 3*(sqr(x6 - x8) + sqr(x16 - x18) + sqr(x26 - x28))**0.5)) + sqr(1 - exp(3 - 3*(sqr(x6 - x9) + sqr(x16 - x19) + sqr(x26 - x29))**0.5)) + sqr(1 - exp(3 - 3*(sqr( x6 - x10) + sqr(x16 - x20) + sqr(x26 - x30))**0.5)) + sqr(1 - exp(3 - 3*( sqr(x7 - x8) + sqr(x17 - x18) + sqr(x27 - x28))**0.5)) + sqr(1 - exp(3 - 3 *(sqr(x7 - x9) + sqr(x17 - x19) + sqr(x27 - x29))**0.5)) + sqr(1 - exp(3 - 3*(sqr(x7 - x10) + sqr(x17 - x20) + sqr(x27 - x30))**0.5)) + sqr(1 - exp(3 - 3*(sqr(x8 - x9) + sqr(x18 - x19) + sqr(x28 - x29))**0.5)) + sqr(1 - exp(3 - 3*(sqr(x8 - x10) + sqr(x18 - x20) + sqr(x28 - x30))**0.5)) + sqr(1 - exp(3 - 3*(sqr(x9 - x10) + sqr(x19 - x20) + sqr(x29 - x30))**0.5)) ) + objvar = -45 } } Procedure MainInitialization { Body: { x1.lower := 0; x1.upper := 0; x2.lower := -5; x2.upper := 5; x3.lower := -5; x3.upper := 5; x4.lower := -5; x4.upper := 5; x5.lower := -5; x5.upper := 5; x6.lower := -5; x6.upper := 5; x7.lower := -5; x7.upper := 5; x8.lower := -5; x8.upper := 5; x9.lower := -5; x9.upper := 5; x10.lower := -5; x10.upper := 5; x11.lower := 0; x11.upper := 0; x12.lower := 0; x12.upper := 0; x13.lower := -5; x13.upper := 5; x14.lower := -5; x14.upper := 5; x15.lower := -5; x15.upper := 5; x16.lower := -5; x16.upper := 5; x17.lower := -5; x17.upper := 5; x18.lower := -5; x18.upper := 5; x19.lower := -5; x19.upper := 5; x20.lower := -5; x20.upper := 5; x21.lower := 0; x21.upper := 0; x22.lower := 0; x22.upper := 0; x23.lower := 0; x23.upper := 0; x24.lower := -5; x24.upper := 5; x25.lower := -5; x25.upper := 5; x26.lower := -5; x26.upper := 5; x27.lower := -5; x27.upper := 5; x28.lower := -5; x28.upper := 5; x29.lower := -5; x29.upper := 5; x30.lower := -5; x30.upper := 5; x2.l := 3.43266708; x3.l := 0.50375356; x4.l := -1.98862096; x5.l := -2.07787883; x6.l := -2.75947133; x7.l := -1.50169496; x8.l := 3.56270347; x9.l := -4.32886277; x10.l := 0.00210668999999974; x13.l := 4.91133039; x14.l := 2.62250467; x15.l := -3.69307517; x16.l := 1.39718759; x17.l := -3.40482136; x18.l := -2.49919467; x19.l := 1.68928609; x20.l := -0.64643619; x24.l := -3.49898212; x25.l := 0.8911365; x26.l := 3.30892812; x27.l := -2.69184262; x28.l := 1.6573446; x29.l := 2.75857606; x30.l := -1.96341523; } } MathematicalProgram ex8_6_2 { Objective: objvar; Direction: minimize; Constraints: AllConstraints; Variables: AllVariables; Type: NLP; } Procedure MainExecution { Body: { solve ex8_6_2; } } Procedure MainTermination { Body: { return 1; } } }