Definition:Polynomial Addition/Polynomials over Ring