arnoldclassify.lib
LIB "arnoldclassify.lib"; ring r=0,(x,y,z),ds; poly f=(x2+3y-2z)^2+xyz-(x-y3+x2*z3)^3; arnoldCorank(f); ==> 2