rootsur.lib
LIB "rootsur.lib"; ring r = 0,x,dp; isparam(2x3-56x+2); ==> 0 ring s = (0,a,b,c),x,dp; isparam(2x3-56x+2); ==> 0 isparam(2x3-56x+abc); ==> 1