classify.lib
LIB "classify.lib"; ring r = 0, (x,y,z), ds; poly f = (x2+3y-2z)^2+xyz-(x-y3+x2z3)^3; complexSingType(f); ==> D[4]