|
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
|
|