Lists, rationals, polynomials and intervals - Implementation (more functions) : Rat_poly_sturm.nb_roots

let nb_roots_in = function

    p -> (function i -> (variation (w (p))) (i))