**Another obvious necessary condition (for
to divide
exactly)
is that the trailing coefficient
of
(that is the coefficient of
of its non-zero term with smallest degree)
divides that of
.
So, we assume that this condition holds too.
**

**If
and
are random enough the probability for
to divide
exactly is clearly low.
So we aim at designing a modular method that will take advantage of this remark.
**

*
*

2008-03-18