|  |  D.6.4.1 classifyCeq Procedure from libraryclassifyceq.lib(see  classifyceq_lib).
 
Example:Usage:
classifyCeq(f); f poly
Return:
string including the Tjurina number of f and its type in the classification of Greuel and Kroening
 |  | LIB "classifyceq.lib";
ring R=3,(x,y,z,u,v,w),ds;
classifyCeq(-x2+xy+y2+xz-yz-z2+w2+u3+v4);
==> The given function defines a simple singularity.
==> The tjurina number is 9.
==> E^0[6]:x^3+y^4
 | 
 |