polyclass.lib
LIB "polyclass.lib"; ring R=0,(x,y),ds; poly f = x+y; Poly F = makePoly(f); valueOf(F); ==> x+y