Top
Back: nf_icis
Forward: qhspectrum
FastBack: qhmoduli_lib
FastForward: spcurve_lib
Up: sing_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.5.8.10 slocus

Procedure from library sing.lib (see sing_lib).

Usage:
slocus(i); i ideal

Return:
ideal of singular locus of i if i is pure dimensional

Note:
this proc returns i and c-minors of jacobian ideal of i where c is the codimension of i. Hence, if i is not pure dimensional, slocus may return an ideal such that its 0-locus is strictly contained in the singular locus of i

Example:
 
LIB "sing.lib";
ring r  = 0,(x,y,z),ds;
ideal i = x5+y6+z6,x2+2y2+3z2;
slocus(i);
==> _[1]=x5+y6+z6
==> _[2]=x2+2y2+3z2
==> _[3]=36y5z-24yz5
==> _[4]=30x4z-12xz5
==> _[5]=-20x4y+12xy5


Top Back: nf_icis Forward: qhspectrum FastBack: qhmoduli_lib FastForward: spcurve_lib Up: sing_lib Top: Singular Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 2-0-0, February 2001, generated by texi2html.