Definition:Multiplication of Polynomial Forms