Home Online Manual
Top
Back: locstd
Forward: nf_icis
FastBack:
FastForward:
Up: sing_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.6.20.10 milnor

Procedure from library sing.lib (see sing_lib).

Usage:
milnor(i); i ideal or poly

Return:
Milnor number of i, if i is ICIS (isolated complete intersection singularity) in generic form, resp. -1 if not

Note:
use proc nf_icis to put generators in generic form
printlevel >=1: display comments

Example:
 
LIB "sing.lib";
int p      = printlevel;
printlevel = 2;
ring r     = 32003,(x,y,z),ds;
ideal j    = x5+y6+z6,x2+2y2+3z2,xyz+yx;
milnor(j);
==> //sequence of discriminant numbers: 100,149,70
==> 21
poly f     = x7+y7+(x-y)^2*x2y2+z2;
milnor(f);
==> 28
printlevel = p;