Arithmetic Continuation of Regular Roots of Formal Parametric Polynomial Systems

Abstract

Given a regular system of polynomial equations with power series coefficients, an initial root is continued as a power series. With the ground domain as an arbitrary field, arithmetic alone is used for the root continuation over this field, and computation is quadratic in the number of computed coefficients. If the power series of the coefficients of the polynomial are geometrically bounded, then the coefficients of the power series of the root are also.