Sparse Hensel Lifting

Abstract

An ew a lgorithm is introduced which computes the multivariate leading coefficients of polynomial factors from their univariate images. This algorithm is incorporated into a sparse Hensel lifting scheme and only requires the factorization of a single univariate image. The algorithm also provides the content of the input polynomial in the main variable as a by-product. We sho wh ow w ec an tak ea dvantage of this property when computing the GCD of multivariate polynomials by sparse Hensel lifting.