off rlabout;



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


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



basis := { - x1*x16, 312500000*x1*x16 - 209166125*x17*x2 - 3125*x18*x2 - 39914*x2*x8,  - 9999999000*x17*x3 - 8875063000*x18*x3 + 1277248*x2*x8 - 5946569*x3*x8, 6693316000*x17*x2 - 9999999000*x17*x4 - 8875063000*x18*x4 - 5946569*x4*x8,  - 9999999000*x17*x5 + 100000*x18*x2 - 8875063000*x18*x5 - 5946569*x5*x8, 1205258000*x10*x8 + 5946569*x3*x8 - 8044378*x6**2,  - 2249759*x7*x9,  - 1205258000*x10*x8 - 1277248*x2*x8 - 5946569*x3*x8 - 5946569*x4*x8 - 5946569*x5*x8, 4022189*x6**2 - 144572550*x9,  - 150291400*x10 + 2249759*x7*x9,  - 7204261*x11*x19 + 9999999000*x17*x3 + 5946569*x4*x8,  - 28033*x12*x14, 897056*x12*x14 - 9210405*x13, 7204261*x11*x19 - 222991200*x14, 18420810*x13 - 32091*x15,  - x1*x16,  - 6693316*x17*x2 - 9999999*x17*x3 - 9999999*x17*x4 - 9999999*x17*x5,  - 100*x18*x2 - 8875063*x18*x3 - 8875063*x18*x4 - 8875063*x18*x5,  - 7204261*x11*x19, 8875063000*x18*x3 + 5946569*x5*x8, 9999999*x17*x4, 9999999*x17*x5 + 8875063*x18*x4, 8875063*x18*x5};


basis := { - x1*x16,

          312500000*x1*x16 - 209166125*x17*x2 - 3125*x18*x2 - 39914*x2*x8,

           - 9999999000*x17*x3 - 8875063000*x18*x3 + 1277248*x2*x8

           - 5946569*x3*x8,

          6693316000*x17*x2 - 9999999000*x17*x4 - 8875063000*x18*x4

           - 5946569*x4*x8,

           - 9999999000*x17*x5 + 100000*x18*x2 - 8875063000*x18*x5

           - 5946569*x5*x8,

                                                        2
          1205258000*x10*x8 + 5946569*x3*x8 - 8044378*x6 ,

           - 2249759*x7*x9,

           - 1205258000*x10*x8 - 1277248*x2*x8 - 5946569*x3*x8 - 5946569*x4*x8

           - 5946569*x5*x8,

                    2
          4022189*x6  - 144572550*x9,

           - 150291400*x10 + 2249759*x7*x9,

           - 7204261*x11*x19 + 9999999000*x17*x3 + 5946569*x4*x8,

           - 28033*x12*x14,

          897056*x12*x14 - 9210405*x13,

          7204261*x11*x19 - 222991200*x14,

          18420810*x13 - 32091*x15,

           - x1*x16,

           - 6693316*x17*x2 - 9999999*x17*x3 - 9999999*x17*x4 - 9999999*x17*x5,

           - 100*x18*x2 - 8875063*x18*x3 - 8875063*x18*x4 - 8875063*x18*x5,

           - 7204261*x11*x19,

          8875063000*x18*x3 + 5946569*x5*x8,

          9999999*x17*x4,

          9999999*x17*x5 + 8875063*x18*x4,

          8875063*x18*x5}


classifyComponents {basis};


{{{x1,

   x10,

   x11,

   x12,

   x13,

   x14,

   x15,

   x16,

   x17,

   x18,

   x19,

   x2,

   x3,

   x4,

   x5,

   x6,

   x7,

   x8,

   x9}},

 {{x1,

   x11,

   x16,

   x17,

   x18,

   x19,

   x2,

   x3,

   x4,

   x5,

   x8}},

 {{1 = 0}},

 {o},

 o}


end;

