fact: Definition points_of_ps_lap_gen α {r} {K : field r} pow (cl : list (puiseux_series α)) := filter_finite_ord (qpower_list pow cl).
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