fact: Definition newton_segments α {R : ring α} {K : field R} pol := let gdpl := points_of_ps_polynom pol in lower_convex_hull_points gdpl.
imports: Utf8 QArith Sorting ConvexHull ConvexHullMisc Misc NbarM QbarM Newton Field2 Fpolynomial Power_series Puiseux_series Ps_add Ps_add_compat Ps_mul Ps_div