off rlabout;



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


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



basis := { - 110569195060524661790966049*x1**2 - 110569195060524661790966049*x1*x2 - 110569195060524661790966049*x1*x3 + 8268303407262959414915925880*x1,  - 39340519602534770292542037060*x1**2 - 64716470904160708181625699581*x1*x2 - 39340519602534770292542037060*x1*x3 + 4720862352304172435105044447200*x1 - 25375951301625937889083662521*x2**2 - 25375951301625937889083662521*x2*x3 + 1783712878395505546690039502520*x2,  - 40542202233642354036972112493*x1*x2 - 40542202233642354036972112493*x2**2 - 40542202233642354036972112493*x2*x3 + 4865064268037082484436653499160*x2 - 1101385347722460000000000000000*x3};


                                           2
basis := { - 110569195060524661790966049*x1  - 110569195060524661790966049*x1*x2

           - 110569195060524661790966049*x1*x3 + 8268303407262959414915925880*x1

          ,

                                             2
           - 39340519602534770292542037060*x1

           - 64716470904160708181625699581*x1*x2

           - 39340519602534770292542037060*x1*x3

           + 4720862352304172435105044447200*x1

                                             2
           - 25375951301625937889083662521*x2

           - 25375951301625937889083662521*x2*x3

           + 1783712878395505546690039502520*x2,

           - 40542202233642354036972112493*x1*x2

                                             2
           - 40542202233642354036972112493*x2

           - 40542202233642354036972112493*x2*x3

           + 4865064268037082484436653499160*x2

           - 1101385347722460000000000000000*x3}


classifyComponents {basis};


{{{x1,x2,x3}},

 {{x1,x2,x3}},

 {{x1 = 6370750272740487730605714088656003905312855984626434330401620094791237\
   24946507480/363119861759361777726981473298884265200114025794605848425623541\
   901559364374554229,x2

       2435158196431678075269723303260121876380182041220218084000000000000000
    = ------------------------------------------------------------------------,
        88855413834028114168909038303845635674184681755699132119998105847417

   x3 = 1211332867269198441072693452784338113719968190061889473244337101120300\
   0000000000000000000000000/2655316644431971908547363210968662930550555488148\
   86972174776156196176026001511549196005982309}},

 {C},

 C}


end;

