A p-adic division with remainder algorithm

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.