|
 |
 |
 |
 |
 |
 |
 |
 |
 |
D.6.5.1 classifyicis
Procedure from libraryclassifyci.lib (see classifyci_lib).
- 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); ==> U_9:(x2+yz,xy+z4) |