Home Online Manual
Top
Back: classifyci_lib
Forward: Semigroup
FastBack:
FastForward:
Up: classifyci_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.6.5.1 classifyicis

Procedure from library classifyci.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

Example:
 
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)