Abstract
A new algorithm for division with remainder of univariate and multivariate polynomials over the integers is reported. This division algorithm relies on a p-adic construction which is closely related to the Hensel-type constructions used for polynomial factorization and greatest common divisor computations. It furnishes a new and systematic way of looking at the classical problem of division (with or without remainder). Due to the sparseness-preserving property of p-adic constructions, it appears useful as an alternative division algorithm in suitable cases when the polynomials are sparse. Detailed discussion and a more complete computing time analysis will be deferred until a later time as the work progresses further. An hope, in the meantime, is to attract comments and criticism on the algorithm and its significance.

This publication has 11 references indexed in Scilit: