off rlabout;



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


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



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


p := {{x17,

       x24,

       x25,

       x1 - x4,

       x10 - 50*x11,

        - x11 + x12,

       100*x13 - x3,

        - x15 + 2*x29,

        - x15 + x16,

       x18 - 1,

        - x21 + 100*x32,

        - x21 + x22,

        - x4 + x5,

       x8 - 1,

        - 50*x11 + x9,

        - 5*x11 + x30 + 10*x31,

       10*x26 + 100*x27 + 2*x28 - x4,

          2
       x14  - x7,

       x14*x2 - x6,

       5*x2*x3 - 11*x4,

        - x14*x6 + x2*x7,

        - 11*x14*x4 + 5*x3*x6},

      {x17,

       x19,

       x20,

       x24,

       x1 - x4,

       x10 - 50*x11,

        - x11 + x12,

       100*x13 - x3,

        - x15 + 2*x29,

        - x15 + x16,

       x18 - 1,

        - x21 + 100*x32,

        - x21 + x22,

        - x4 + x5,

       x8 - 1,

        - 50*x11 + x9,

        - 5*x11 + x30 + 10*x31,

       10*x26 + 100*x27 + 2*x28 - x4,

          2
       x14  - x7,

       x14*x2 - x6,

       5*x2*x3 - 11*x4,

        - x14*x6 + x2*x7,

        - 11*x14*x4 + 5*x3*x6},

      {x1 - x4,

       x10 - 50*x11,

        - x11 + x12,

       100*x13 - x3,

        - x15 + 2*x29,

        - x15 + x16,

       x17 - x24,

       x18 - 1,

        - x21 + 100*x32,

        - x21 + x22,

        - x4 + x5,

       x8 - 1,

        - 50*x11 + x9,

        - 5*x11 + x30 + 10*x31,

       10*x26 + 100*x27 + 2*x28 - x4,

          2
       x14  - x7,

       x14*x2 - x6,

       5*x2*x3 - 11*x4,

        - x14*x6 + x2*x7,

        - 11*x14*x4 + 5*x3*x6,

        - x19*x21 + x20*x23,

       x19*x25 - x23*x24,

       x20*x25 - x21*x24}}


classifyComponents P;


{{{x1,

   x10,

   x11,

   x12,

   x13,

   x14,

   x15,

   x16,

   x17,

   x18,

   x2,

   x21,

   x22,

   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,

   x24,

   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}},

 {{x1,

   x10,

   x11,

   x12,

   x13,

   x14,

   x15,

   x16,

   x18,

   x2,

   x21,

   x22,

   x26,

   x27,

   x28,

   x29,

   x3,

   x30,

   x31,

   x32,

   x4,

   x5,

   x6,

   x7,

   x8,

   x9},

  {x1,

   x10,

   x11,

   x12,

   x13,

   x14,

   x15,

   x16,

   x18,

   x2,

   x21,

   x22,

   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,

   x18 = 1,

   x2 = 1,

   x21 = 1,

   x22 = 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},

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

   x10 = 11,

          11
   x11 = ----,
          50

          11
   x12 = ----,
          50

   x13 = -1,

   x14 = 1,

   x15 = 1,

   x16 = 1,

   x18 = 1,

   x2 = 1,

   x21 = 1,

   x22 = 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},

          - 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,X},

 X + 2x}


end;

