Univariate real polynomials implementations, seen as differentiable univariate real functions.