Lists, rationals, polynomials and intervals - Implementation (more functions) : Rat_poly

let variation = function

  f -> (function i  -> f (lower_bound (i)) - f (upper_bound (i)))