Definition:Addition of Polynomial Forms