Statement

We consider the ring of the univariate polynomials in $x$ with coefficients in ${\mathbb{Z}}$ . We assume that these polynomials are represented in a computer program using expression trees, as in MAPLE.