|
D.15.17.2 realmorsesplit
Procedure from library realclassify.lib (see realclassify_lib).
- Usage:
- realmorsesplit(f[, mu]); f poly, mu int
- Return:
- a list consisting of the corank of f, the inertia index, an upper
bound for the determinacy, the residual form of f and
the transformation
- Note:
- The characteristic of the basering must be zero, the monomial order
must be local, f must be contained in maxideal(2) 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.
Example:
See also:
morsesplit.
|