4 x**3*y**2+4*x**2*y**2*z-x**2*y*z**2+288*x**2*y**2+207*x**2*y*z+1152*x*y**2*z+ 156*x*y*z**2+x*z**3-3456*x**2*y+20736*x*y**2+19008*x*y*z+82944*y**2*z +432*x*z**2- 497664*x*y+62208*x*z+2985984*x; y**3*t**3+4*y**3*t**2-y**2*z*t**2+4*y**2*t**3-48*y**2*t**2-5*y*z*t**2 +108*y*z*t+ z**2*t+144*z*t-1728*z; -x**2*z**2*t+4*x*z**2*t**2+z**3*t**2+x**3*z+156*x**2*z*t+207*x*z**2*t+ 1152*x*z*t**2+288*z**2*t**2+432*x**2*z+19008*x*z*t-3456*z**2*t+82944*x*t**2+ 20736*z*t**2+62208*x*z-497664*z*t+2985984*z; y**3*t**3-x*y**2*t**2+4*y**3*t**2+4*y**2*t**3-5*x*y**2*t-48*y**2*t**2+x**2*y+ 108*x*y*t+144*x*y-1728*x; TITLE : cohn2, modular equations for special algebraic number fields ROOT COUNTS : total degree : 900 2-homogeneous Bezout number is 450 with partition : {x y z }{t } generalized Bezout number : 358 based on the set structure : {x }{x z }{x z }{y }{y z } {y z }{y }{y z }{t }{t }{t } {x z }{x t }{z }{x z }{t } {y }{x y }{x y }{t }{t }{t } mixed volume : 124 REFERENCES : From PoSSo test suite. Andre' Galligo and Carlo Traverso: "Practical Determination of the dimension of an algebraic variety", in E. Kaltofen and S.M. Watt, Eds "Computers and Mathematics", pages 46-52, 1989. H. Cohn: "An explicit modular equation in two variables and Hilbert's Twelfth problem", Math. of Comp. 38, pp. 227-236, 1982. H. Cohn, J. Deutch: "An explit modular equation in two variables for Q[sqrt(3)]", Math. of Comp. 50, pp. 557-568, 1988. THE SOLUTIONS : 18 4 =========================================================== solution 1 : t : 1.00000000000000E+00 0.00000000000000E+00 m : 1 the solution for t : x : -1.23997158246700E+02 -7.54108290873468E+01 y : 4.81861750852218E+01 2.85294148295339E+01 z : -1.61588268408412E+01 1.78870081595856E+01 t : -3.05964654408600E+00 1.82602611365708E-01 == err : 2.401E-13 = rco : 2.653E-04 = res : 4.265E-06 == solution 2 : t : 1.00000000000000E+00 0.00000000000000E+00 m : 1 the solution for t : x : 6.02393786358094E+02 2.51345585423244E-88 y : 2.08383161251585E+01 -5.10545720390964E-89 z : 6.02393786358094E+02 -9.73964143515069E-88 t : 2.08383161251585E+01 -6.13636683162216E-89 == err : 5.985E-13 = rco : 5.275E-06 = res : 5.035E-04 == solution 3 : t : 1.00000000000000E+00 0.00000000000000E+00 m : 1 the solution for t : x : -5.97960427705686E+01 6.80828237761971E+00 y : -4.99290642112624E-01 9.33089973938555E+00 z : -5.97960427705686E+01 6.80828237761971E+00 t : -4.99290642112627E-01 9.33089973938555E+00 == err : 1.830E-14 = rco : 5.344E-04 = res : 2.107E-07 == solution 4 : t : 1.00000000000000E+00 0.00000000000000E+00 m : 1 the solution for t : x : -8.42105246557411E+02 -1.12909149701848E-89 y : -7.66022331457492E+00 8.43750439348047E-92 z : -1.09615038022715E+01 -3.68182009897330E-91 t : -2.18804311393714E+01 -2.87642195232289E-91 == err : 9.157E-14 = rco : 7.570E-07 = res : 9.507E-06 == solution 5 : t : 1.00000000000000E+00 0.00000000000000E+00 m : 1 the solution for t : x : -5.97960427705686E+01 -6.80828237761971E+00 y : -4.99290642112623E-01 -9.33089973938555E+00 z : -5.97960427705686E+01 -6.80828237761971E+00 t : -4.99290642112629E-01 -9.33089973938555E+00 == err : 2.214E-14 = rco : 5.344E-04 = res : 9.424E-08 == solution 6 : t : 1.00000000000000E+00 0.00000000000000E+00 m : 1 the solution for t : x : 2.30226349318897E+00 2.29757961177032E+02 y : 1.17605675035346E+00 -2.87963907718388E+00 z : 2.30226349318902E+00 -2.29757961177032E+02 t : 1.17605675035346E+00 2.87963907718388E+00 == err : 4.355E-13 = rco : 5.736E-07 = res : 3.279E-06 == solution 7 : t : 1.00000000000000E+00 0.00000000000000E+00 m : 1 the solution for t : x : 4.35414647301048E-01 -7.37888274251716E+00 y : 1.83176559758234E+00 -4.11273135653901E+00 z : 4.35414647301049E-01 -7.37888274251716E+00 t : 1.83176559758234E+00 -4.11273135653901E+00 == err : 1.640E-15 = rco : 2.781E-04 = res : 5.890E-09 == solution 8 : t : 1.00000000000000E+00 0.00000000000000E+00 m : 1 the solution for t : x : 4.35414647301048E-01 7.37888274251716E+00 y : 1.83176559758234E+00 4.11273135653901E+00 z : 4.35414647301049E-01 7.37888274251716E+00 t : 1.83176559758234E+00 4.11273135653901E+00 == err : 1.640E-15 = rco : 2.781E-04 = res : 5.890E-09 == solution 9 : t : 1.00000000000000E+00 0.00000000000000E+00 m : 1 the solution for t : x : 6.02648764055773E+02 -8.10922451376730E+02 y : 1.17711982346853E+00 9.71239630969622E-01 z : 6.02648764055773E+02 -8.10922451376730E+02 t : 1.17711982346853E+00 9.71239630969621E-01 == err : 4.823E-13 = rco : 1.265E-09 = res : 3.553E-04 == solution 10 : t : 1.00000000000000E+00 0.00000000000000E+00 m : 1 the solution for t : x : -1.09615038022715E+01 -4.29545678213551E-91 y : -2.18804311393714E+01 4.14204761134496E-91 z : -8.42105246557411E+02 1.62000084354825E-89 t : -7.66022331457492E+00 0.00000000000000E+00 == err : 1.783E-13 = rco : 7.580E-07 = res : 1.144E-05 == solution 11 : t : 1.00000000000000E+00 0.00000000000000E+00 m : 1 the solution for t : x : -1.61588268408412E+01 1.78870081595856E+01 y : -3.05964654408600E+00 1.82602611365708E-01 z : -1.23997158246700E+02 -7.54108290873469E+01 t : 4.81861750852218E+01 2.85294148295338E+01 == err : 2.167E-13 = rco : 3.095E-04 = res : 5.150E-06 == solution 12 : t : 1.00000000000000E+00 0.00000000000000E+00 m : 1 the solution for t : x : 1.36567442620473E+02 6.73357734978399E+01 y : -1.33747712198973E+01 -2.20687866697351E+00 z : 1.36567442620473E+02 6.73357734978399E+01 t : -1.33747712198973E+01 -2.20687866697351E+00 == err : 2.057E-13 = rco : 1.822E-05 = res : 2.861E-06 == solution 13 : t : 1.00000000000000E+00 0.00000000000000E+00 m : 1 the solution for t : x : -1.61588268408412E+01 -1.78870081595856E+01 y : -3.05964654408600E+00 -1.82602611365708E-01 z : -1.23997158246700E+02 7.54108290873469E+01 t : 4.81861750852218E+01 -2.85294148295338E+01 == err : 2.167E-13 = rco : 3.095E-04 = res : 5.150E-06 == solution 14 : t : 1.00000000000000E+00 0.00000000000000E+00 m : 1 the solution for t : x : 2.30226349318900E+00 -2.29757961177032E+02 y : 1.17605675035346E+00 2.87963907718388E+00 z : 2.30226349318901E+00 2.29757961177032E+02 t : 1.17605675035346E+00 -2.87963907718388E+00 == err : 3.868E-13 = rco : 5.736E-07 = res : 5.030E-06 == solution 15 : t : 1.00000000000000E+00 0.00000000000000E+00 m : 1 the solution for t : x : 1.36567442620473E+02 -6.73357734978399E+01 y : -1.33747712198973E+01 2.20687866697351E+00 z : 1.36567442620473E+02 -6.73357734978399E+01 t : -1.33747712198973E+01 2.20687866697351E+00 == err : 2.057E-13 = rco : 1.822E-05 = res : 2.861E-06 == solution 16 : t : 1.00000000000000E+00 0.00000000000000E+00 m : 1 the solution for t : x : -6.71049434640517E+01 7.06909459002873E-89 y : -1.21079632432404E+01 2.07409198908829E-89 z : -6.71049434640517E+01 -6.28363963558109E-89 t : -1.21079632432404E+01 -2.25818299403695E-89 == err : 5.000E-14 = rco : 3.370E-04 = res : 5.960E-08 == solution 17 : t : 1.00000000000000E+00 0.00000000000000E+00 m : 1 the solution for t : x : 6.02648764055773E+02 8.10922451376730E+02 y : 1.17711982346853E+00 -9.71239630969622E-01 z : 6.02648764055773E+02 8.10922451376730E+02 t : 1.17711982346853E+00 -9.71239630969621E-01 == err : 5.276E-13 = rco : 1.265E-09 = res : 3.200E-04 == solution 18 : t : 1.00000000000000E+00 0.00000000000000E+00 m : 1 the solution for t : x : -1.23997158246700E+02 7.54108290873468E+01 y : 4.81861750852218E+01 -2.85294148295339E+01 z : -1.61588268408412E+01 -1.78870081595856E+01 t : -3.05964654408600E+00 -1.82602611365708E-01 == err : 2.401E-13 = rco : 2.653E-04 = res : 4.265E-06 ==