off rlabout;



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


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



basis := { - x1 + 10*x26 + 100*x27 + 2*x28, 100*x1 - 10*x14*x2 - 50*x2*x3 + 10*x4 + 10*x6, 10000*x13*x8 - 50*x2*x3 - 100*x3 + 110*x4, 50*x2*x3 - 110*x4, 100*x4 - 100*x5, 10*x14*x2 - 10*x6, x14**2 - x7,  - 1000000*x13*x8 + 10000*x3 - x8 + 1, 10*x30 + 100*x31 - x9,  - 100*x10 + 100*x9,  - 5*x11 + x30 + 10*x31, 100*x11 - 100*x12, 0, 0,  - x15 + 2*x29, 100*x15 - 100*x16,  - 100*x17*x18 + 100*x24,  - 1000*x17*x18 - x18 + 1000*x24 + 1,  - 100*x19*x25 + 100*x23*x24,  - 100*x20*x25 + 100*x22*x24,  - x21 + 100*x32, 100*x20*x25 + 100*x21 - 100*x22*x24 - 100*x22, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0};


basis := { - x1 + 10*x26 + 100*x27 + 2*x28,

          100*x1 - 10*x14*x2 - 50*x2*x3 + 10*x4 + 10*x6,

          10000*x13*x8 - 50*x2*x3 - 100*x3 + 110*x4,

          50*x2*x3 - 110*x4,

          100*x4 - 100*x5,

          10*x14*x2 - 10*x6,

             2
          x14  - x7,

           - 1000000*x13*x8 + 10000*x3 - x8 + 1,

          10*x30 + 100*x31 - x9,

           - 100*x10 + 100*x9,

           - 5*x11 + x30 + 10*x31,

          100*x11 - 100*x12,

          0,

          0,

           - x15 + 2*x29,

          100*x15 - 100*x16,

           - 100*x17*x18 + 100*x24,

           - 1000*x17*x18 - x18 + 1000*x24 + 1,

           - 100*x19*x25 + 100*x23*x24,

           - 100*x20*x25 + 100*x22*x24,

           - x21 + 100*x32,

          100*x20*x25 + 100*x21 - 100*x22*x24 - 100*x22,

          0,

          0,

          0,

          0,

          0,

          0,

          0,

          0,

          0,

          0}


classifyComponents {basis};


{{{x1,

   x10,

   x11,

   x12,

   x13,

   x14,

   x15,

   x16,

   x17,

   x18,

   x19,

   x2,

   x20,

   x21,

   x22,

   x23,

   x24,

   x25,

   x26,

   x27,

   x28,

   x29,

   x3,

   x30,

   x31,

   x32,

   x4,

   x5,

   x6,

   x7,

   x8,

   x9}},

 {{x1,

   x10,

   x11,

   x12,

   x13,

   x14,

   x15,

   x16,

   x17,

   x18,

   x19,

   x2,

   x20,

   x21,

   x22,

   x23,

   x24,

   x25,

   x26,

   x27,

   x28,

   x29,

   x3,

   x30,

   x31,

   x32,

   x4,

   x5,

   x6,

   x7,

   x8,

   x9}},

          - 500
 {{x1 = --------,
           11

   x10 = 11,

          11
   x11 = ----,
          50

          11
   x12 = ----,
          50

   x13 = -1,

   x14 = 1,

   x15 = 1,

   x16 = 1,

   x17 = 1,

   x18 = 1,

   x19 = 1,

   x2 = 1,

   x20 = 1,

   x21 = 1,

   x22 = 1,

   x23 = 1,

   x24 = 1,

   x25 = 1,

   x26 = 1,

   x27 = 1,

           - 855
   x28 = --------,
            11

          1
   x29 = ---,
          2

   x3 = -100,

   x30 = 1,

           1
   x31 = -----,
          100

           1
   x32 = -----,
          100

          - 500
   x4 = --------,
           11

          - 500
   x5 = --------,
           11

   x6 = 1,

   x7 = 1,

   x8 = 1,

   x9 = 11}},

 {X},

 X}


end;

