Definition:Product of Polynomials