@@ -436,7 +436,8 @@ The output is rather extensive ...
436436 + x1^4 - 10*x1^3 + 35*x1^2 - 50*x1 + 24;
437437 x1*x2^3 - 6*x1*x2^2 - x2^3 + 11*x1*x2 + 6*x2^2 - 6*x1 - 11*x2 + 6;
438438 x1^2*x3^2 - 3*x1^2*x3 - 3*x1*x3^2 + 2*x1^2 + 9*x1*x3 + 2*x3^2 - 6*x1 - 6*x3 + 4;
439- x1*x2*x3*x4 - x1*x2*x3 - x1*x2*x4 - x1*x3*x4 - x2*x3*x4 + x1*x2 + x1*x3 + x1*x4 + x2*x3 + x2*x4 + x3*x4 - x1 - x2 - x3 - x4 + 1;
439+ x1*x2*x3*x4 - x1*x2*x3 - x1*x2*x4 - x1*x3*x4 - x2*x3*x4
440+ + x1*x2 + x1*x3 + x1*x4 + x2*x3 + x2*x4 + x3*x4 - x1 - x2 - x3 - x4 + 1;
440441 the generic points :
441442 Solution 1 :
442443 t : 1.00000000000000E+00 0.00000000000000E+00
@@ -476,11 +477,20 @@ The output is rather extensive ...
476477 == err : 9.770E-15 = rco : 9.066E-02 = res : 1.066E-14 =
477478 set of dimension 1 has degree 12
478479 the polynomials :
479- + x1^4 - 10*x1^3 + 35*x1^2 - 50*x1 + (9.98263256449285E-01-5.89107021114901E-02*i)*zz1 + 24;
480- x1*x2^3 - 6*x1*x2^2 - x2^3 + 11*x1*x2 + 6*x2^2 - 6*x1 - 11*x2 + (8.25826300922299E-02-9.96584220829855E-01*i)*zz1 + 6;
481- x1^2*x3^2 - 3*x1^2*x3 - 3*x1*x3^2 + 2*x1^2 + 9*x1*x3 + 2*x3^2 - 6*x1 - 6*x3 + (1.55033404443160E-01-9.87909228374127E-01*i)*zz1 + 4;
482- x1*x2*x3*x4 - x1*x2*x3 - x1*x2*x4 - x1*x3*x4 - x2*x3*x4 + x1*x2 + x1*x3 + x1*x4 + x2*x3 + x2*x4 + x3*x4 - x1 - x2 - x3 - x4 + (-8.97158012682676E-01-4.41709746642829E-01*i)*zz1 + 1;
483- + (-3.53404925407865E-01-1.02449352102111E-02*i)*x1 + (-3.23378971672498E-01-1.42919700111768E-01*i)*x2 + (2.20216662912369E-01-2.76594687902244E-01*i)*x3 + (8.35397253138817E-02-3.43542012415485E-01*i)*x4 + (-2.67791727313329E-01-2.30841050904175E-01*i)*zz1 - 3.53553390593274E-01;
480+ + x1^4 - 10*x1^3 + 35*x1^2 - 50*x1
481+ + (9.98263256449285E-01-5.89107021114901E-02*i)*zz1 + 24;
482+ x1*x2^3 - 6*x1*x2^2 - x2^3 + 11*x1*x2 + 6*x2^2 - 6*x1 - 11*x2
483+ + (8.25826300922299E-02-9.96584220829855E-01*i)*zz1 + 6;
484+ x1^2*x3^2 - 3*x1^2*x3 - 3*x1*x3^2 + 2*x1^2 + 9*x1*x3 + 2*x3^2 - 6*x1
485+ - 6*x3 + (1.55033404443160E-01-9.87909228374127E-01*i)*zz1 + 4;
486+ x1*x2*x3*x4 - x1*x2*x3 - x1*x2*x4 - x1*x3*x4 - x2*x3*x4
487+ + x1*x2 + x1*x3 + x1*x4 + x2*x3 + x2*x4 + x3*x4 - x1 - x2 - x3 - x4
488+ + (-8.97158012682676E-01-4.41709746642829E-01*i)*zz1 + 1;
489+ + (-3.53404925407865E-01-1.02449352102111E-02*i)*x1
490+ + (-3.23378971672498E-01-1.42919700111768E-01*i)*x2
491+ + (2.20216662912369E-01-2.76594687902244E-01*i)*x3
492+ + (8.35397253138817E-02-3.43542012415485E-01*i)*x4
493+ + (-2.67791727313329E-01-2.30841050904175E-01*i)*zz1 - 3.53553390593274E-01;
484494 the generic points :
485495 Solution 1 :
486496 t : 1.00000000000000E+00 0.00000000000000E+00
@@ -604,12 +614,32 @@ The output is rather extensive ...
604614 == err : 6.181E-15 = rco : 3.233E-02 = res : 1.200E-14 =
605615 set of dimension 2 has degree 1
606616 the polynomials :
607- x1^4 - 10*x1^3 + 35*x1^2 - 50*x1 + (9.98263256449285E-01-5.89107021114901E-02*i)*zz1 + (-4.67731979750726E-01 + 8.83870349722439E-01*i)*zz2 + 24;
608- x1*x2^3 - 6*x1*x2^2 - x2^3 + 11*x1*x2 + 6*x2^2 - 6*x1 - 11*x2 + (8.25826300922299E-02-9.96584220829855E-01*i)*zz1 + (-8.21936276409882E-01 + 5.69579456723519E-01*i)*zz2 + 6;
609- + x1^2*x3^2 - 3*x1^2*x3 - 3*x1*x3^2 + 2*x1^2 + 9*x1*x3 + 2*x3^2 - 6*x1 - 6*x3 + (1.55033404443160E-01-9.87909228374127E-01*i)*zz1 + (-6.80008285278479E-01-7.33204427122902E-01*i)*zz2 + 4;
610- x1*x2*x3*x4 - x1*x2*x3 - x1*x2*x4 - x1*x3*x4 - x2*x3*x4 + x1*x2 + x1*x3 + x1*x4 + x2*x3 + x2*x4 + x3*x4 - x1 - x2 - x3 - x4 + (-8.97158012682676E-01-4.41709746642829E-01*i)*zz1 + (-2.11981526746876E-01 + 9.77273673193985E-01*i)*zz2 + 1;
611- + (-3.53404925407865E-01-1.02449352102111E-02*i)*x1 + (-3.23378971672498E-01-1.42919700111768E-01*i)*x2 + (2.20216662912369E-01-2.76594687902244E-01*i)*x3 + (8.35397253138817E-02-3.43542012415485E-01*i)*x4 + (-2.67791727313329E-01-2.30841050904175E-01*i)*zz1 + (3.28014183926858E-01-1.31934435015266E-01*i)*zz2 - 3.53553390593274E-01;
612- + (-4.95361781887585E-01 + 5.82835865995319E-03*i)*x1 + (1.04868230499720E-01 + 2.82848378492330E-01*i)*x2 + (-1.92957771968200E-01 + 1.72592823677708E-01*i)*x3 + (1.50836540788987E-01-4.65440876777183E-01*i)*x4 + (2.59311098918677E-01-3.82322947183237E-02*i)*zz1 + (-2.61338053548032E-01-1.91269889240060E-01*i)*zz2+(2.54532009330191E-01 + 1.49441343387202E-02*i);
617+ x1^4 - 10*x1^3 + 35*x1^2 - 50*x1
618+ + (9.98263256449285E-01-5.89107021114901E-02*i)*zz1
619+ + (-4.67731979750726E-01 + 8.83870349722439E-01*i)*zz2 + 24;
620+ x1*x2^3 - 6*x1*x2^2 - x2^3 + 11*x1*x2 + 6*x2^2 - 6*x1 - 11*x2
621+ + (8.25826300922299E-02-9.96584220829855E-01*i)*zz1
622+ + (-8.21936276409882E-01 + 5.69579456723519E-01*i)*zz2 + 6;
623+ + x1^2*x3^2 - 3*x1^2*x3 - 3*x1*x3^2 + 2*x1^2 + 9*x1*x3 + 2*x3^2 - 6*x1 - 6*x3
624+ + (1.55033404443160E-01-9.87909228374127E-01*i)*zz1
625+ + (-6.80008285278479E-01-7.33204427122902E-01*i)*zz2 + 4;
626+ x1*x2*x3*x4 - x1*x2*x3 - x1*x2*x4 - x1*x3*x4 - x2*x3*x4
627+ + x1*x2 + x1*x3 + x1*x4 + x2*x3 + x2*x4 + x3*x4
628+ - x1 - x2 - x3 - x4 + (-8.97158012682676E-01-4.41709746642829E-01*i)*zz1
629+ + (-2.11981526746876E-01 + 9.77273673193985E-01*i)*zz2 + 1;
630+ + (-3.53404925407865E-01-1.02449352102111E-02*i)*x1
631+ + (-3.23378971672498E-01-1.42919700111768E-01*i)*x2
632+ + (2.20216662912369E-01-2.76594687902244E-01*i)*x3
633+ + (8.35397253138817E-02-3.43542012415485E-01*i)*x4
634+ + (-2.67791727313329E-01-2.30841050904175E-01*i)*zz1
635+ + (3.28014183926858E-01-1.31934435015266E-01*i)*zz2 - 3.53553390593274E-01;
636+ + (-4.95361781887585E-01 + 5.82835865995319E-03*i)*x1
637+ + (1.04868230499720E-01 + 2.82848378492330E-01*i)*x2i
638+ + (-1.92957771968200E-01 + 1.72592823677708E-01*i)*x3
639+ + (1.50836540788987E-01-4.65440876777183E-01*i)*x4
640+ + (2.59311098918677E-01-3.82322947183237E-02*i)*zz1
641+ + (-2.61338053548032E-01-1.91269889240060E-01*i)*zz2
642+ + (2.54532009330191E-01 + 1.49441343387202E-02*i);
613643 the generic points :
614644 Solution 1 :
615645 t : 1.00000000000000E+00 0.00000000000000E+00
@@ -624,13 +654,46 @@ The output is rather extensive ...
624654 == err : 4.130E-14 = rco : 4.252E-02 = res : 6.734E-15 =
625655 set of dimension 3 has degree 1
626656 the polynomials :
627- x1^4 - 10*x1^3 + 35*x1^2 - 50*x1 + (9.98263256449285E-01-5.89107021114901E-02*i)*zz1 + (-4.67731979750726E-01 + 8.83870349722439E-01*i)*zz2 + (-3.46149707492286E-01-9.38179289903057E-01*i)*zz3 + 24;
628- + x1*x2^3 - 6*x1*x2^2 - x2^3 + 11*x1*x2 + 6*x2^2 - 6*x1 - 11*x2 + (8.25826300922299E-02-9.96584220829855E-01*i)*zz1 + (-8.21936276409882E-01 + 5.69579456723519E-01*i)*zz2 + (-9.94974897178992E-01-1.00124692177572E-01*i)*zz3 + 6;
629- + x1^2*x3^2 - 3*x1^2*x3 - 3*x1*x3^2 + 2*x1^2 + 9*x1*x3 + 2*x3^2 - 6*x1 - 6*x3 + (1.55033404443160E-01-9.87909228374127E-01*i)*zz1 + (-6.80008285278479E-01-7.33204427122902E-01*i)*zz2 + (9.94504055917016E-01 + 1.04698055209280E-01*i)*zz3 + 4;
630- x1*x2*x3*x4 - x1*x2*x3 - x1*x2*x4 - x1*x3*x4 - x2*x3*x4 + x1*x2 + x1*x3 + x1*x4 + x2*x3 + x2*x4 + x3*x4 - x1 - x2 - x3 - x4 + (-8.97158012682676E-01-4.41709746642829E-01*i)*zz1 + (-2.11981526746876E-01 + 9.77273673193985E-01*i)*zz2 + (7.37616926767541E-01 + 6.75219423110746E-01*i)*zz3 + 1;
631- + (-3.53404925407865E-01-1.02449352102111E-02*i)*x1 + (-3.23378971672498E-01-1.42919700111768E-01*i)*x2 + (2.20216662912369E-01-2.76594687902244E-01*i)*x3 + (8.35397253138817E-02-3.43542012415485E-01*i)*x4 + (-2.67791727313329E-01-2.30841050904175E-01*i)*zz1 + (3.28014183926858E-01-1.31934435015266E-01*i)*zz2 + (-1.52787277524516E-01 + 3.18835455723868E-01*i)*zz3 - 3.53553390593274E-01;
632- + (-4.95361781887585E-01 + 5.82835865995319E-03*i)*x1 + (1.04868230499720E-01 + 2.82848378492330E-01*i)*x2 + (-1.92957771968200E-01 + 1.72592823677708E-01*i)*x3 + (1.50836540788987E-01-4.65440876777183E-01*i)*x4 + (2.59311098918677E-01-3.82322947183237E-02*i)*zz1 + (-2.61338053548032E-01-1.91269889240060E-01*i)*zz2 + (-3.36536283081467E-01-7.29526150129006E-02*i)*zz3+(2.54532009330191E-01 + 1.49441343387202E-02*i);
633- + (1.15184561011707E-01 + 1.13377932381136E-01*i)*x1 + (-5.17726679477236E-01-8.32947479684604E-02*i)*x2 + (-3.72758479505006E-01-2.38502017467544E-02*i)*x3 + (-9.43470497132125E-02-1.99900948005935E-01*i)*x4 + (-2.38409509176001E-01-2.75632135792588E-01*i)*zz1 + (-1.20802218865972E-01 + 2.04083624753821E-01*i)*zz2 + (1.70161843122080E-02-4.70880850401632E-01*i)*zz3+(8.75322932557317E-02-3.02958515664302E-01*i);
657+ x1^4 - 10*x1^3 + 35*x1^2 - 50*x1
658+ + (9.98263256449285E-01-5.89107021114901E-02*i)*zz1
659+ + (-4.67731979750726E-01 + 8.83870349722439E-01*i)*zz2
660+ + (-3.46149707492286E-01-9.38179289903057E-01*i)*zz3 + 24;
661+ + x1*x2^3 - 6*x1*x2^2 - x2^3 + 11*x1*x2 + 6*x2^2 - 6*x1 - 11*x2
662+ + (8.25826300922299E-02-9.96584220829855E-01*i)*zz1
663+ + (-8.21936276409882E-01 + 5.69579456723519E-01*i)*zz2
664+ + (-9.94974897178992E-01-1.00124692177572E-01*i)*zz3 + 6;
665+ + x1^2*x3^2 - 3*x1^2*x3 - 3*x1*x3^2 + 2*x1^2 + 9*x1*x3 + 2*x3^2
666+ - 6*x1 - 6*x3 + (1.55033404443160E-01-9.87909228374127E-01*i)*zz1
667+ + (-6.80008285278479E-01-7.33204427122902E-01*i)*zz2
668+ + (9.94504055917016E-01 + 1.04698055209280E-01*i)*zz3 + 4;
669+ x1*x2*x3*x4 - x1*x2*x3 - x1*x2*x4 - x1*x3*x4 - x2*x3*x4
670+ + x1*x2 + x1*x3 + x1*x4 + x2*x3 + x2*x4 + x3*x4 - x1 - x2 - x3 - x4
671+ + (-8.97158012682676E-01-4.41709746642829E-01*i)*zz1
672+ + (-2.11981526746876E-01 + 9.77273673193985E-01*i)*zz2
673+ + (7.37616926767541E-01 + 6.75219423110746E-01*i)*zz3 + 1;
674+ + (-3.53404925407865E-01-1.02449352102111E-02*i)*x1
675+ + (-3.23378971672498E-01-1.42919700111768E-01*i)*x2
676+ + (2.20216662912369E-01-2.76594687902244E-01*i)*x3
677+ + (8.35397253138817E-02-3.43542012415485E-01*i)*x4
678+ + (-2.67791727313329E-01-2.30841050904175E-01*i)*zz1
679+ + (3.28014183926858E-01-1.31934435015266E-01*i)*zz2
680+ + (-1.52787277524516E-01 + 3.18835455723868E-01*i)*zz3 - 3.53553390593274E-01;
681+ + (-4.95361781887585E-01 + 5.82835865995319E-03*i)*x1
682+ + (1.04868230499720E-01 + 2.82848378492330E-01*i)*x2
683+ + (-1.92957771968200E-01 + 1.72592823677708E-01*i)*x3
684+ + (1.50836540788987E-01-4.65440876777183E-01*i)*x4
685+ + (2.59311098918677E-01-3.82322947183237E-02*i)*zz1
686+ + (-2.61338053548032E-01-1.91269889240060E-01*i)*zz2
687+ + (-3.36536283081467E-01-7.29526150129006E-02*i)*zz3
688+ + (2.54532009330191E-01 + 1.49441343387202E-02*i);
689+ + (1.15184561011707E-01 + 1.13377932381136E-01*i)*x1
690+ + (-5.17726679477236E-01-8.32947479684604E-02*i)*x2
691+ + (-3.72758479505006E-01-2.38502017467544E-02*i)*x3
692+ + (-9.43470497132125E-02-1.99900948005935E-01*i)*x4
693+ + (-2.38409509176001E-01-2.75632135792588E-01*i)*zz1
694+ + (-1.20802218865972E-01 + 2.04083624753821E-01*i)*zz2
695+ + (1.70161843122080E-02-4.70880850401632E-01*i)*zz3
696+ + (8.75322932557317E-02-3.02958515664302E-01*i);
634697 the generic points :
635698 Solution 1 :
636699 t : 1.00000000000000E+00 0.00000000000000E+00
0 commit comments