Definition:Polynomial over Real Numbers