Ring_of_polynomial_functions loading ...