Fixed polynomial arithmetic issues with sparse polynomials

Added an Eq[C] and Ring[C] evidence requirement for Polynomial
companion apply method. This enables filtering out the zero
coefficients for correct long division.