|  |  D.15.1.6 arnoldDeterminacy Procedure from libraryarnoldclassify.lib(see  arnoldclassify_lib).
 
Example:Usage:
arnoldDeterminacy( I[, m]); I poly or ideal, m int.
Assume:
the basering is local, I is the Jacobian ideal of a polynomial f
with isolated critical point at 0, m is the Milnor number of f
Compute:
determinacy bound k for f w.r.t. right equivalence
Return:
integer k s.th. f is right-k-determined, -1 for infinity
Note:
uses [Cor. A.9.7,GP12]
 |  | LIB "arnoldclassify.lib";
ring r=0,(x,y),ds;
poly f=x3+xy3;
ideal I=std(jacob(f));
int k=arnoldDeterminacy(I);
print(k);
==> 5
 | 
 
 |