## ams_version=1.0 Model Main_ex8_6_1 { 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 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 objvar; Constraint e1 { Definition: { -(POWER(x31,6) - 2*POWER(x31,3) + POWER(x32,6) - 2*POWER(x32,3) + POWER( x33,6) - 2*POWER(x33,3) + POWER(x34,6) - 2*POWER(x34,3) + POWER(x35,6) - 2 *POWER(x35,3) + POWER(x36,6) - 2*POWER(x36,3) + POWER(x37,6) - 2*POWER(x37 ,3) + POWER(x38,6) - 2*POWER(x38,3) + POWER(x39,6) - 2*POWER(x39,3) + POWER(x40,6) - 2*POWER(x40,3) + POWER(x41,6) - 2*POWER(x41,3) + POWER(x42, 6) - 2*POWER(x42,3) + POWER(x43,6) - 2*POWER(x43,3) + POWER(x44,6) - 2* POWER(x44,3) + POWER(x45,6) - 2*POWER(x45,3) + POWER(x46,6) - 2*POWER(x46, 3) + POWER(x47,6) - 2*POWER(x47,3) + POWER(x48,6) - 2*POWER(x48,3) + POWER(x49,6) - 2*POWER(x49,3) + POWER(x50,6) - 2*POWER(x50,3) + POWER(x51, 6) - 2*POWER(x51,3) + POWER(x52,6) - 2*POWER(x52,3) + POWER(x53,6) - 2* POWER(x53,3) + POWER(x54,6) - 2*POWER(x54,3) + POWER(x55,6) - 2*POWER(x55, 3) + POWER(x56,6) - 2*POWER(x56,3) + POWER(x57,6) - 2*POWER(x57,3) + POWER(x58,6) - 2*POWER(x58,3) + POWER(x59,6) - 2*POWER(x59,3) + POWER(x60, 6) - 2*POWER(x60,3) + POWER(x61,6) - 2*POWER(x61,3) + POWER(x62,6) - 2* POWER(x62,3) + POWER(x63,6) - 2*POWER(x63,3) + POWER(x64,6) - 2*POWER(x64, 3) + POWER(x65,6) - 2*POWER(x65,3) + POWER(x66,6) - 2*POWER(x66,3) + POWER(x67,6) - 2*POWER(x67,3) + POWER(x68,6) - 2*POWER(x68,3) + POWER(x69, 6) - 2*POWER(x69,3) + POWER(x70,6) - 2*POWER(x70,3) + POWER(x71,6) - 2* POWER(x71,3) + POWER(x72,6) - 2*POWER(x72,3) + POWER(x73,6) - 2*POWER(x73, 3) + POWER(x74,6) - 2*POWER(x74,3) + POWER(x75,6) - 2*POWER(x75,3)) + objvar = 0 } } Constraint e2 { Definition: -1/(sqr(x1 - x2) + sqr(x11 - x12) + sqr(x21 - x22)) + x31 = 0; } Constraint e3 { Definition: -1/(sqr(x1 - x3) + sqr(x11 - x13) + sqr(x21 - x23)) + x32 = 0; } Constraint e4 { Definition: -1/(sqr(x1 - x4) + sqr(x11 - x14) + sqr(x21 - x24)) + x33 = 0; } Constraint e5 { Definition: -1/(sqr(x1 - x5) + sqr(x11 - x15) + sqr(x21 - x25)) + x34 = 0; } Constraint e6 { Definition: -1/(sqr(x1 - x6) + sqr(x11 - x16) + sqr(x21 - x26)) + x35 = 0; } Constraint e7 { Definition: -1/(sqr(x1 - x7) + sqr(x11 - x17) + sqr(x21 - x27)) + x36 = 0; } Constraint e8 { Definition: -1/(sqr(x1 - x8) + sqr(x11 - x18) + sqr(x21 - x28)) + x37 = 0; } Constraint e9 { Definition: -1/(sqr(x1 - x9) + sqr(x11 - x19) + sqr(x21 - x29)) + x38 = 0; } Constraint e10 { Definition: -1/(sqr(x1 - x10) + sqr(x11 - x20) + sqr(x21 - x30)) + x39 = 0; } Constraint e11 { Definition: -1/(sqr(x2 - x3) + sqr(x12 - x13) + sqr(x22 - x23)) + x40 = 0; } Constraint e12 { Definition: -1/(sqr(x2 - x4) + sqr(x12 - x14) + sqr(x22 - x24)) + x41 = 0; } Constraint e13 { Definition: -1/(sqr(x2 - x5) + sqr(x12 - x15) + sqr(x22 - x25)) + x42 = 0; } Constraint e14 { Definition: -1/(sqr(x2 - x6) + sqr(x12 - x16) + sqr(x22 - x26)) + x43 = 0; } Constraint e15 { Definition: -1/(sqr(x2 - x7) + sqr(x12 - x17) + sqr(x22 - x27)) + x44 = 0; } Constraint e16 { Definition: -1/(sqr(x2 - x8) + sqr(x12 - x18) + sqr(x22 - x28)) + x45 = 0; } Constraint e17 { Definition: -1/(sqr(x2 - x9) + sqr(x12 - x19) + sqr(x22 - x29)) + x46 = 0; } Constraint e18 { Definition: -1/(sqr(x2 - x10) + sqr(x12 - x20) + sqr(x22 - x30)) + x47 = 0; } Constraint e19 { Definition: -1/(sqr(x3 - x4) + sqr(x13 - x14) + sqr(x23 - x24)) + x48 = 0; } Constraint e20 { Definition: -1/(sqr(x3 - x5) + sqr(x13 - x15) + sqr(x23 - x25)) + x49 = 0; } Constraint e21 { Definition: -1/(sqr(x3 - x6) + sqr(x13 - x16) + sqr(x23 - x26)) + x50 = 0; } Constraint e22 { Definition: -1/(sqr(x3 - x7) + sqr(x13 - x17) + sqr(x23 - x27)) + x51 = 0; } Constraint e23 { Definition: -1/(sqr(x3 - x8) + sqr(x13 - x18) + sqr(x23 - x28)) + x52 = 0; } Constraint e24 { Definition: -1/(sqr(x3 - x9) + sqr(x13 - x19) + sqr(x23 - x29)) + x53 = 0; } Constraint e25 { Definition: -1/(sqr(x3 - x10) + sqr(x13 - x20) + sqr(x23 - x30)) + x54 = 0; } Constraint e26 { Definition: -1/(sqr(x4 - x5) + sqr(x14 - x15) + sqr(x24 - x25)) + x55 = 0; } Constraint e27 { Definition: -1/(sqr(x4 - x6) + sqr(x14 - x16) + sqr(x24 - x26)) + x56 = 0; } Constraint e28 { Definition: -1/(sqr(x4 - x7) + sqr(x14 - x17) + sqr(x24 - x27)) + x57 = 0; } Constraint e29 { Definition: -1/(sqr(x4 - x8) + sqr(x14 - x18) + sqr(x24 - x28)) + x58 = 0; } Constraint e30 { Definition: -1/(sqr(x4 - x9) + sqr(x14 - x19) + sqr(x24 - x29)) + x59 = 0; } Constraint e31 { Definition: -1/(sqr(x4 - x10) + sqr(x14 - x20) + sqr(x24 - x30)) + x60 = 0; } Constraint e32 { Definition: -1/(sqr(x5 - x6) + sqr(x15 - x16) + sqr(x25 - x26)) + x61 = 0; } Constraint e33 { Definition: -1/(sqr(x5 - x7) + sqr(x15 - x17) + sqr(x25 - x27)) + x62 = 0; } Constraint e34 { Definition: -1/(sqr(x5 - x8) + sqr(x15 - x18) + sqr(x25 - x28)) + x63 = 0; } Constraint e35 { Definition: -1/(sqr(x5 - x9) + sqr(x15 - x19) + sqr(x25 - x29)) + x64 = 0; } Constraint e36 { Definition: -1/(sqr(x5 - x10) + sqr(x15 - x20) + sqr(x25 - x30)) + x65 = 0; } Constraint e37 { Definition: -1/(sqr(x6 - x7) + sqr(x16 - x17) + sqr(x26 - x27)) + x66 = 0; } Constraint e38 { Definition: -1/(sqr(x6 - x8) + sqr(x16 - x18) + sqr(x26 - x28)) + x67 = 0; } Constraint e39 { Definition: -1/(sqr(x6 - x9) + sqr(x16 - x19) + sqr(x26 - x29)) + x68 = 0; } Constraint e40 { Definition: -1/(sqr(x6 - x10) + sqr(x16 - x20) + sqr(x26 - x30)) + x69 = 0; } Constraint e41 { Definition: -1/(sqr(x7 - x8) + sqr(x17 - x18) + sqr(x27 - x28)) + x70 = 0; } Constraint e42 { Definition: -1/(sqr(x7 - x9) + sqr(x17 - x19) + sqr(x27 - x29)) + x71 = 0; } Constraint e43 { Definition: -1/(sqr(x7 - x10) + sqr(x17 - x20) + sqr(x27 - x30)) + x72 = 0; } Constraint e44 { Definition: -1/(sqr(x8 - x9) + sqr(x18 - x19) + sqr(x28 - x29)) + x73 = 0; } Constraint e45 { Definition: -1/(sqr(x8 - x10) + sqr(x18 - x20) + sqr(x28 - x30)) + x74 = 0; } Constraint e46 { Definition: -1/(sqr(x9 - x10) + sqr(x19 - x20) + sqr(x29 - x30)) + x75 = 0; } 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; x31.l := 0.0848665660820583; x32.l := 0.0410257523649882; x33.l := 0.0433369072910337; x34.l := 0.0533318858204364; x35.l := 0.048742871418623; x36.l := 0.0474070412149129; x37.l := 0.0461135050589101; x38.l := 0.0342436643329313; x39.l := 0.234033993203568; x40.l := 0.0305813197498946; x41.l := 0.0206139788536328; x42.l := 0.022321904556586; x43.l := 0.019514587685195; x44.l := 0.0231552480584656; x45.l := 0.110991800051043; x46.l := 0.0141433163490096; x47.l := 0.06233782929589; x48.l := 0.0422056151370249; x49.l := 0.0122707298338899; x50.l := 0.0294578214857431; x51.l := 0.0124337559964587; x52.l := 0.0149209531159923; x53.l := 0.0241864337079319; x54.l := 0.0285751692200051; x55.l := 0.0169011255076456; x56.l := 0.0206427090641815; x57.l := 0.0268692752074436; x58.l := 0.0119564718949588; x59.l := 0.0219757698125455; x60.l := 0.0587995371380756; x61.l := 0.0310356025470503; x62.l := 0.075455653192454; x63.l := 0.0295607909263086; x64.l := 0.0266495598227703; x65.l := 0.0459626111078803; x66.l := 0.0164878991409964; x67.l := 0.0172772991007472; x68.l := 0.350729712295995; x69.l := 0.0252523239258106; x70.l := 0.0220343327084997; x71.l := 0.0157109506031469; x72.l := 0.0961472396262811; x73.l := 0.0123406666409974; x74.l := 0.0342225900399961; x75.l := 0.0215007077887895; } } MathematicalProgram ex8_6_1 { Objective: objvar; Direction: minimize; Constraints: AllConstraints; Variables: AllVariables; Type: NLP; } Procedure MainExecution { Body: { solve ex8_6_1; } } Procedure MainTermination { Body: { return 1; } } }