rootsur.lib
LIB "rootsur.lib"; ring r = 0,(x,y),dp; whichvariable(x5); ==> x whichvariable(x3y); ==> 0