Abstract
Probabilistic algorithms are presented for testing the result of the product of two n -bit integers in O ( n ) bit operations and for testing the result of the product of two polynomials of degree n over any integral domain in 4 n + o ( n ) algebraic operations with the error probability o (l/ n 1-ε ) for any ε > 0. The last algorithm does not depend on the constants of the underlying domain.