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