Newton's iteration and the sparse Hensel algorithm (Extended Abstract)

Abstract

This paper presents an organization of the p-adic lifting (or Hensel) algorithm that differs from the organization previously presented by Zassenhaus [Zas69] and currently used in algebraic manipulation circles [Mos73, Yun74, Wan75, Mus75]. Our organization is somewhat more general than the earlier one and admits the improvements that yielded the “sparse modular” algorithm [Zip79] more easily than the Zassenhaus algorithm. From a pedagogical point of view, the relationship between Newton's iteration and the p-adic algorithms is clearer in our formulation than with the Zassenhaus algorithm.