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