|  |  D.15.29.4 determinacy Procedure from libraryrealclassify.lib(see  realclassify_lib).
 
Example:Usage:
determinacy(f[, mu]); f poly, mu int
Return:
an upper bound for the determinacy of f
Note:
The characteristic of the basering must be zero, the monomial order
must be local, f must be contained in maxideal(1) and the Milnor
number of f must be finite.
The Milnor number of f can be provided as an optional parameter in
order to avoid that it is computed again.
 
 See also:
 highcorner;
 milnornumber.|  | LIB "realclassify.lib";
ring r = 0, (x,y), ds;
poly f = x3+xy3;
determinacy(f);
==> 5
 | 
 
 |