Formal_Puiseux_Series.Puiseux_Polynomial_Library