Differentiation and Antidifferentiation of Real Polynomial Functions