let print_rat_poly = pr_poly Format.std_formatter