A New Algorithm for Computing the Extended Hensel Construction of Multivariate Polynomials

Abstract

This paper presents a new algorithm for computing the extended Hensel construction (EHC) of multivariate polynomials in main variable x and sub-variables u1, u2, · · ·, um over a number field $$\mathbb{K}$$ . This algorithm first constructs a set by using the resultant of two initial coprime factors w.r.t. x, and then obtains the Hensel factors by comparing the coefficients of xi on both sides of an equation. Since the Hensel factors are polynomials of the main variable with coefficients in fraction field $$\mathbb{K}$$ (u1, u2, · · ·, um), the computation cost of handling rational functions can be high. Therefore, the authors use a method which multiplies resultant and removes the denominators of the rational functions. Unlike previously-developed algorithms that use interpolation functions or Grobner basis, the algorithm relies little on polynomial division, and avoids multiplying by different factors when removing the denominators of Hensel factors. All algorithms are implemented using Magma, a computational algebra system and experiments indicate that our algorithm is more efficient.