The solution of triangularly connected decomposable form equations

Smart, N. P.

doi:10.1090/S0025-5718-1995-1277771-4

The solution of triangularly connected decomposable form equations
HTML articles powered by AMS MathViewer

by N. P. Smart PDF

Math. Comp. 64 (1995), 819-840 Request permission

Abstract:

An algorithm is given to solve the equations of the title. It generalizes an earlier algorithm to solve discriminant form equations. An application is given to finding curves of genus 2 with good reduction outside a given finite set of primes and Weierstrass points in given number fields.

References

M. K. Agrawal, J. H. Coates, D. C. Hunt, and A. J. van der Poorten, Elliptic curves of conductor $11$, Math. Comp. 35 (1980), no. 151, 991–1002. MR 572871, DOI 10.1090/S0025-5718-1980-0572871-5
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
J.-H. Evertse and K. Győry, Decomposable form equations, New advances in transcendence theory (Durham, 1986) Cambridge Univ. Press, Cambridge, 1988, pp. 175–202. MR 971999
I. Gaál, A. Pethö, and M. Pohst, On the resolution of index form equations in biquadratic number fields. I, II, J. Number Theory 38 (1991), no. 1, 18–34, 35–51. MR 1105669, DOI 10.1016/0022-314X(91)90090-X

On the resolution of index form equations in biquadratic number fields

38

I. Gaál and N. Schulte, Computing all power integral bases of cubic fields, Math. Comp. 53 (1989), no. 188, 689–696. MR 979943, DOI 10.1090/S0025-5718-1989-0979943-X
K. Győry, On the greatest prime factors of decomposable forms at integer points, Ann. Acad. Sci. Fenn. Ser. A I Math. 4 (1979), no. 2, 341–355. MR 565882, DOI 10.5186/aasfm.1978-79.0407
K. Győry, On the number of solutions of linear equations in units of an algebraic number field, Comment. Math. Helv. 54 (1979), no. 4, 583–600. MR 552678, DOI 10.1007/BF02566294
K. Győry, Explicit upper bounds for the solutions of some Diophantine equations, Ann. Acad. Sci. Fenn. Ser. A I Math. 5 (1980), no. 1, 3–12. MR 595172, DOI 10.5186/aasfm.1980.0508
K. Győry, On certain graphs composed of algebraic integers of a number field and their applications. I, Publ. Math. Debrecen 27 (1980), no. 3-4, 229–242. MR 603996

Résultats effectifs sur la représentation des entiers par des formes décomposables

K. Győry, On the representation of integers by decomposable forms in several variables, Publ. Math. Debrecen 28 (1981), no. 1-2, 89–98. MR 625628
K. Győry and Z. Z. Papp, Effective estimates for the integer solutions of norm form and discriminant form equations, Publ. Math. Debrecen 25 (1978), no. 3-4, 311–325. MR 517016
Roger A. Horn and Charles R. Johnson, Matrix analysis, Cambridge University Press, Cambridge, 1985. MR 832183, DOI 10.1017/CBO9780511810817
Serge Lang, Algebraic number theory, 2nd ed., Graduate Texts in Mathematics, vol. 110, Springer-Verlag, New York, 1994. MR 1282723, DOI 10.1007/978-1-4612-0853-2
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
J. R. Merriman and N. P. Smart, The calculation of all algebraic integers of degree $3$ with discriminant a product of powers of $2$ and $3$ only, Publ. Math. Debrecen 43 (1993), no. 3-4, 195–205. MR 1269947
J. R. Merriman and N. P. Smart, Curves of genus $2$ with good reduction away from $2$ with a rational Weierstrass point, Math. Proc. Cambridge Philos. Soc. 114 (1993), no. 2, 203–214. MR 1230127, DOI 10.1017/S030500410007153X
A. Pethö and B. M. M. de Weger, Products of prime powers in binary recurrence sequences. I. The hyperbolic case, with an application to the generalized Ramanujan-Nagell equation, Math. Comp. 47 (1986), no. 176, 713–727. MR 856715, DOI 10.1090/S0025-5718-1986-0856715-5

KANT—a tool for computations in algebraic number fields

The computer solution of Diophantine equations

N. P. Smart, Solving a quartic discriminant form equation, Publ. Math. Debrecen 43 (1993), no. 1-2, 29–39. MR 1239385
N. Tzanakis and B. M. M. de Weger, On the practical solution of the Thue equation, J. Number Theory 31 (1989), no. 2, 99–132. MR 987566, DOI 10.1016/0022-314X(89)90014-0
N. Tzanakis and B. M. M. de Weger, Solving a specific Thue-Mahler equation, Math. Comp. 57 (1991), no. 196, 799–815. MR 1094961, DOI 10.1090/S0025-5718-1991-1094961-0
N. Tzanakis and B. M. M. de Weger, How to explicitly solve a Thue-Mahler equation, Compositio Math. 84 (1992), no. 3, 223–288. MR 1189890
B. M. M. de Weger, Solving exponential Diophantine equations using lattice basis reduction algorithms, J. Number Theory 26 (1987), no. 3, 325–367. MR 901244, DOI 10.1016/0022-314X(87)90088-6
B. M. M. de Weger, Algorithms for Diophantine equations, CWI Tract, vol. 65, Stichting Mathematisch Centrum, Centrum voor Wiskunde en Informatica, Amsterdam, 1989. MR 1026936
B. M. M. de Weger, A hyperelliptic Diophantine equation related to imaginary quadratic number fields with class number $2$, J. Reine Angew. Math. 427 (1992), 137–156. MR 1162434, DOI 10.1515/crll.1992.427.137
Kun Rui Yu, Linear forms in $p$-adic logarithms, Acta Arith. 53 (1989), no. 2, 107–186. MR 1027200, DOI 10.4064/aa-53-2-107-186