Definition:Real Polynomial Function