Definition:Degree of Polynomial over Field as Sequence