Definition:Degree of Polynomial over Integral Domain