Resolving zero-divisors using Hensel lifting


Algorithms which compute modulo triangular sets must respect the presence of zero-divisors. We present Hensel lifting as a tool for dealing with them. We give an application: a modular algorithm for computing GCDs of univariate polynomials with coefficients modulo a radical triangular set overQ. Our modular algorithm naturally generalizes previous work from… (More)


4 Figures and Tables