Abstract
In this chapter we continue our discussion of techniques for inverting modular and evaluation homomorphisms defined on the domain Z[x 1, . . ., x v ]. The particular methods developed in this chapter are based on Newton's iteration for solving a polynomial equation. Unlike the integer and polynomial Chinese remainder algorithms of the preceding chapter, algorithms based on Newton's iteration generally require only one image of the solution in a domain of the form Z p [x 1] from which to reconstruct the desired solution in the larger domain Z[x 1, . . . , x v]. A particularly important case of Newton's iteration to be discussed here is the Hensel construction. It will be seen that multivariate polynomial computations (such as GCD computation and factorization) can be performed much more efficiently (in most cases) by methods based on the Hensel construction than by methods based on the Chinese remainder algorithms of the preceding chapter
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
M. Lauer, “Computing by Homomorphic Images,” pp. 139–168 in Computer Algebra — Symbolic and Algebraic Computation, ed. B. Buchberger, G.E. Collins and R. Loos, Springer-Verlag (1982).
J.D. Lipson, “Newton’s Method: A Great Algebraic Algorithm,” pp. 260–270 in Proc. SYMSAC’ 76, ed. R.D. Jenks, ACM Press (1976).
R. Loos, “Rational Zeros of Integral Polynomials by p-Adic Expansions,” SIAM J. on Computing, 12 pp. 286–293 (1983).
M. Mignotte, “Some Useful Bounds.,” pp. 259–263 in Computer Algebra — Symbolic and Algebraic Computation, ed. B. Buchberger, G.E. Collins and R. Loos, Springer-Verlag (1982).
A. Miola and D.Y.Y. Yun, “The Computational Aspects of Hensel-Type Univariate Greatest Common Divisor Algorithms,” (Proc. EUROSAM’ 74) ACM SIGSAM Bull., 8(3) pp. 46–54 (1974).
P.S. Wang, “An Improved Multivariate Polynomial Factoring Algorithm,” Math. Comp., 32 pp. 1215–1231 (1978).
P.S. Wang, “The EEZ-GCD Algorithm,” ACM SIGSAM Bull., 14 pp. 50–60 (1980).
D.Y.Y. Yun, “The Hensel Lemma in Algebraic Manipulation,” Ph.D. Thesis, M.I.T. (1974).
H. Zassenhaus, “Hensel Factorization I,” J. Number Theory, 1 pp. 291–311 (1969).
R. Zippel, “Newton’s Iteration and the Sparse Hensel Algorithm,” pp. 68–72 in Proc. SYMSAC’ 81, ed. P.S. Wang, ACM Press (1981).
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1992 Kluwer Academic Publishers
About this chapter
Cite this chapter
Geddes, K.O., Czapor, S.R., Labahn, G. (1992). Newton’s Iteration and the Hensel Construction. In: Algorithms for Computer Algebra. Springer, Boston, MA. https://doi.org/10.1007/978-0-585-33247-5_6
Download citation
DOI: https://doi.org/10.1007/978-0-585-33247-5_6
Publisher Name: Springer, Boston, MA
Print ISBN: 978-0-7923-9259-0
Online ISBN: 978-0-585-33247-5
eBook Packages: Springer Book Archive