Definition:Polynomial over Field