|  |  D.15.29.3 milnornumber Procedure from libraryrealclassify.lib(see  realclassify_lib).
 
Example:Usage:
milnornumber(f); f poly
Return:
Milnor number of f, or -1 if the Milnor number is not finite
Note:
The monomial order must be local.
 |  | LIB "realclassify.lib";
ring r = 0, (x,y), ds;
poly f = x3+y4;
milnornumber(f);
==> 6
 | 
 
 |