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

let strings_of_roots = function

  p, n

  -> (List.map (function x -> string_approx_rat (x, n))) (low_approximation_of_roots (p, n))