Fixed problem with long division arithmetic / sparse polynomials

Added an Eq[C] and Ring[C] requirement in the Polynomial apply method.
This enables a filtering of the zero-coefficient terms before
instantiating a new Polynomial object.