puiseuxexpansions.lib
LIB "puiseuxexpansions.lib"; ring R=0,(x,y),dp; poly f=3*x^2+x*y+1; Puiseux F = makePuiseux(f,x^2,3); printPuiseux(F); ==> ( 3x2+xy+1 ) / x2 ==> Denominator of exponent : 3