|  |  D.6.5.1 classifyicis Procedure from libraryclassifyci.lib(see  classifyci_lib).
 
Example:Usage:
classifyicis(I); I ideal
Assume:
I is given by two generators
Purpose:
Check whether the ideal defines a complete intersection singularity or not
Return:
String type in the classification of Giusti,M
or The given singularity is not simple
 
 |  | LIB "classifyci.lib";
ring R=0,(x,y,z),ds;
ideal I=x2+yz,xy+z4;
classifyicis(I);
==> // ** dim(_) may be wrong because the mixed monomial ordering
==> // ** dim(_) may be wrong because the mixed monomial ordering
==> // ** dim(I) may be wrong because the mixed monomial ordering
==> // ** dim(I) may be wrong because the mixed monomial ordering
==> U_9:(x2+yz,xy+z4)
 | 
 
 |