The current implementation only checks whether two qpolynomials are
obviously equal.  There may be non-obvious relations between the divs
that make two qpolynomials equal even if they do not appear to be equal.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>