off rlabout;



symbolic (infile "../../SUPPORT/real.red" where !*output=nil);


symbolic (infile "../../SUPPORT/strings.red" where !*output=nil);



basis := { - 411*x1*x13*x3 - 960000*x1 + 2000000*x2, 2400*x1 + 587*x15 - 5000*x2,  - 411*x1*x13*x3 - 480000*x3 + 1000000*x4, 587*x15 + 1200*x3 - 2500*x4, 1871*x12 + 1650*x13 - 109850000*x16*x5*x8 - 33000*x5 + 1871*x6 + 1650*x7 + 515, 16500*x5 - 1871*x6, 165*x5 - 19*x7, 3300*x10 + 3742*x12 + 3300*x13 - 219700000*x16*x5*x8 - 66000*x8 + 3742*x9 + 2869, 16500*x8 - 1871*x9,  - 29*x10 + 165*x8,  - 33*x11 + 109850*x16*x5*x8, 33000*x11 - 2609*x12*x15 - 3742*x12, 165*x11 - 19*x13, 137*x1*x13*x3 - 320000*x14, 2400*x14 - 587*x15, 34650*x10 + 39291*x12 + 34650*x13 - 2306850000*x16*x5*x8};


basis := { - 411*x1*x13*x3 - 960000*x1 + 2000000*x2,

          2400*x1 + 587*x15 - 5000*x2,

           - 411*x1*x13*x3 - 480000*x3 + 1000000*x4,

          587*x15 + 1200*x3 - 2500*x4,

          1871*x12 + 1650*x13 - 109850000*x16*x5*x8 - 33000*x5 + 1871*x6

           + 1650*x7 + 515,

          16500*x5 - 1871*x6,

          165*x5 - 19*x7,

          3300*x10 + 3742*x12 + 3300*x13 - 219700000*x16*x5*x8 - 66000*x8

           + 3742*x9 + 2869,

          16500*x8 - 1871*x9,

           - 29*x10 + 165*x8,

           - 33*x11 + 109850*x16*x5*x8,

          33000*x11 - 2609*x12*x15 - 3742*x12,

          165*x11 - 19*x13,

          137*x1*x13*x3 - 320000*x14,

          2400*x14 - 587*x15,

          34650*x10 + 39291*x12 + 34650*x13 - 2306850000*x16*x5*x8}


classifyComponents {basis};


{{{x1,

   x10,

   x11,

   x12,

   x13,

   x14,

   x15,

   x16,

   x2,

   x3,

   x4,

   x5,

   x6,

   x7,

   x8,

   x9}},

 {{x1,

   x10,

   x11,

   x12,

   x13,

   x14,

   x15,

   x16,

   x2,

   x3,

   x4,

   x5,

   x6,

   x7,

   x8,

   x9}},

 {{x1 = -1,

          2869
   x10 = ------,
          5800

   x11 = -1,

           - 42949863
   x12 = -------------,
            4123684

           - 165
   x13 = --------,
            19

           - 219118342547
   x14 = -----------------,
           4074770638800

           - 746570162
   x15 = --------------,
           3395642199

          104217300000
   x16 = ---------------,
          4184078422979

          - 4293888981347
   x2 = ------------------,
          8489105497500

          - 666119761342880
   x3 = --------------------,
           46055095145037

          - 134214586295230987
   x4 = -----------------------,
           19189622977098750

          - 663803
   x5 = -----------,
          4785000

          - 663803
   x6 = -----------,
          542590

          - 34937
   x7 = ----------,
          29000

         2869
   x8 = -------,
         33000

         2869
   x9 = ------}},
         3742

 {X},

 X}


end;

