D.5.8.2 dim_slocus

Procedure from library sing.lib (see sing_lib).

Usage:

dim_slocus(i); i ideal or poly

Return:

dimension of singular locus of i

Example:

LIB "sing.lib";
ring r  = 32003,(x,y,z),ds;
ideal i = x5+y6+z6,x2+2y2+3z2;
dim_slocus(i);
→ 0