let display n s = String.concat " + "
 (List.map2 (fun i v -> (Num.string_of_num v)^"x^"^(string_of_int i))
   (take n nats) (take n s))