Definition:Degree of Polynomial over Field