ncrat.lib
LIB "ncrat.lib"; ncInit(list("x", "y", "z")); poly p = 2 * x * y; ncrat f = ncratFromPoly(p); print(f); ==> 2*x*y