On the extended Hensel construction and its application to the computation of real limit points (Q2284954)

The Extended Hensel Construction (EHC) is an algorithm designed by \textit{T. Sasaki} and \textit{F. Kako} [Japan J. Ind. Appl. Math. 16, No. 2, 257--285 (1999; Zbl 0941.12002)] for factoring univariate polynomials with power series coefficients. The goal of this algorithm was to provide an alternative approach to the classical NewtonPuiseux method for univariate power series coefficients. The EHC relies on Yun-Moses polynomials which make this algorithm inefficient in practice. In the paper under review, the authors show that the EHC requires only linear algebra and univariate polynomial arithmetic and report its complexity supported by favorable experimental results. Furthermore, they investigate two applications of this study. The first one is the computation of real branches of space curves and the second one deals with the computation of limits of real multivariate rational functions.