Definition:Polynomial Multiplication