off rlabout;



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


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



P := {{x1, x2, x3, x5, x7, x9}, {x10, x2, x3, x5, x7, x9}, {x3, x4, x5, x7, x9, 500000*x1*x10-x2}, {x7, x8, x9, 500000*x1*x10-x2, 1000000000*x2*x4-x3, 20000*x5*x6-x3}, {x1, x2, x3, x6, x7, x8, x9}, {x10, x2, x3, x6, x7, x8, x9}, {x3, x4, x6, x7, x8, x9, 500000*x1*x10-x2}};


p := {{x1,

       x2,

       x3,

       x5,

       x7,

       x9},

      {x10,

       x2,

       x3,

       x5,

       x7,

       x9},

      {x3,

       x4,

       x5,

       x7,

       x9,

       500000*x1*x10 - x2},

      {x7,

       x8,

       x9,

       500000*x1*x10 - x2,

       1000000000*x2*x4 - x3,

        - x3 + 20000*x5*x6},

      {x1,

       x2,

       x3,

       x6,

       x7,

       x8,

       x9},

      {x10,

       x2,

       x3,

       x6,

       x7,

       x8,

       x9},

      {x3,

       x4,

       x6,

       x7,

       x8,

       x9,

       500000*x1*x10 - x2}}


classifyComponents P;


{{{x1,

   x2,

   x3,

   x5,

   x7,

   x9},

  {x10,

   x2,

   x3,

   x5,

   x7,

   x9},

  {x1,

   x10,

   x2,

   x3,

   x4,

   x5,

   x7,

   x9},

  {x1,

   x10,

   x2,

   x3,

   x4,

   x5,

   x6,

   x7,

   x8,

   x9},

  {x1,

   x2,

   x3,

   x6,

   x7,

   x8,

   x9},

  {x10,

   x2,

   x3,

   x6,

   x7,

   x8,

   x9},

  {x1,

   x10,

   x2,

   x3,

   x4,

   x6,

   x7,

   x8,

   x9}},

 {{},

  {},

  {x1,x10,x2},

  {x1,

   x10,

   x2,

   x3,

   x4,

   x5,

   x6},

  {},

  {},

  {x1,x10,x2}},

 {{1 = 0},

  {1 = 0},

  {x1 = -1,x10 = 1,x2 = -500000},

  {x1 = -1,x10 = 1,x2 = -500000,x3 = -500000000000000,x4 = 1,x5 = 1,x6

    = -25000000000},

  {1 = 0},

  {1 = 0},

  {x1 = -1,x10 = 1,x2 = -500000}},

 {o,o,c,c,o,o,c},

 3c + 4o}


end;

