Solving resultant form equations over number fields

Gaál, István; Pohst, Michael

doi:10.1090/S0025-5718-08-02141-8

Solving resultant form equations over number fields
HTML articles powered by AMS MathViewer

by István Gaál and Michael Pohst PDF

Math. Comp. 77 (2008), 2447-2453 Request permission

Abstract:

We give an efficient algorithm for solving resultant form equations over number fields. This is the first time that such equations are completely solved by reducing them to unit equations in two variables.

References

A. Baker and G. Wüstholz, Logarithmic forms and group varieties, J. Reine Angew. Math. 442 (1993), 19–62. MR 1234835, DOI 10.1515/crll.1993.442.19
Yann Bugeaud and Kálmán Győry, Bounds for the solutions of unit equations, Acta Arith. 74 (1996), no. 1, 67–80. MR 1367579, DOI 10.4064/aa-74-1-67-80
M. Daberkow, C. Fieker, J. Klüners, M. Pohst, K. Roegner, M. Schörnig, and K. Wildanger, KANT V4, J. Symbolic Comput. 24 (1997), no. 3-4, 267–283. Computational algebra and number theory (London, 1993). MR 1484479, DOI 10.1006/jsco.1996.0126
J.-H. Evertse and K. Győry, Finiteness criteria for decomposable form equations, Acta Arith. 50 (1988), no. 4, 357–379. MR 961695, DOI 10.4064/aa-50-4-357-379
J.-H. Evertse and K. Győry, Lower bounds for resultants. I, Compositio Math. 88 (1993), no. 1, 1–23. MR 1234974
István Gaál, Diophantine equations and power integral bases, Birkhäuser Boston, Inc., Boston, MA, 2002. New computational methods. MR 1896601, DOI 10.1007/978-1-4612-0085-7
István Gaál, On the resolution of resultant type equations, J. Symbolic Comput. 34 (2002), no. 2, 137–144. MR 1930830, DOI 10.1006/jsco.2002.0546
István Gaál and Michael Pohst, Diophantine equations over global function fields. I. The Thue equation, J. Number Theory 119 (2006), no. 1, 49–65. MR 2228949, DOI 10.1016/j.jnt.2005.10.009
István Gaál and Michael Pohst, Diophantine equations over global function fields. II. $R$-integral solutions of Thue equations, Experiment. Math. 15 (2006), no. 1, 1–6. MR 2229380
I. Gaál and M. Pohst, Diophantine equations over global function fields III: An application to resultant form equations, submitted.
István Járási, Computing small solutions of unit equations in three variables. II. Applications to resultant form equations, Publ. Math. Debrecen 65 (2004), no. 3-4, 399–408. MR 2107956
A. K. Lenstra, H. W. Lenstra Jr., and L. Lovász, Factoring polynomials with rational coefficients, Math. Ann. 261 (1982), no. 4, 515–534. MR 682664, DOI 10.1007/BF01457454
Michael E. Pohst, Computational algebraic number theory, DMV Seminar, vol. 21, Birkhäuser Verlag, Basel, 1993. MR 1243639, DOI 10.1007/978-3-0348-8589-8
Wolfgang M. Schmidt, Inequalities for resultants and for decomposable forms, Diophantine approximation and its applications (Proc. Conf., Washington, D.C., 1972) Academic Press, New York, 1973, pp. 235–253. MR 0354566