off rlabout;



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


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



P := {{x12, x13, 43632010704375000000*x11-16425357725777048175127, 1047168256905000000000*x2-116984577604531343112581, 3955416298394411250000000*x3-287280999838179279587350787, 528141*x4-327962*x6, 87342952774290133563079272086254003*x5-2786097478001193142442055525000000000*x6, 56551*x9-60749*x8, 3503150000000*x6*x7-2024966666675299*x8}};


p := {{x12,

       x13,

       43632010704375000000*x11 - 16425357725777048175127,

       1047168256905000000000*x2 - 116984577604531343112581,

       3955416298394411250000000*x3 - 287280999838179279587350787,

       528141*x4 - 327962*x6,

       87342952774290133563079272086254003*x5

        - 2786097478001193142442055525000000000*x6,

        - 60749*x8 + 56551*x9,

       3503150000000*x6*x7 - 2024966666675299*x8}}


classifyComponents P;


{{{x11,

   x12,

   x13,

   x2,

   x3,

   x4,

   x5,

   x6,

   x7,

   x8,

   x9}},

 {{x11,

   x2,

   x3,

   x4,

   x5,

   x6,

   x7,

   x8,

   x9}},

          16425357725777048175127
 {{x11 = -------------------------,
           43632010704375000000

         116984577604531343112581
   x2 = --------------------------,
          1047168256905000000000

         287280999838179279587350787
   x3 = -----------------------------,
          3955416298394411250000000

   x4 = -1,

          - 25485551478535865214037500000000
   x5 = -------------------------------------,
           496134286720535615847354809149

          - 528141
   x6 = -----------,
          327962

   x7 = 1,

          - 925078572075000000
   x8 = -----------------------,
         332056058968082205319

          - 56197598174984175000000
   x9 = ----------------------------}},
         18778102190704016792994769

 {c},

 c}


end;

