Home Online Manual
Back: realclassify
Forward: milnornumber
FastBack: parallel_lib
FastForward: resources_lib
Up: realclassify_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.15.18.2 realmorsesplit

Procedure from library realclassify.lib (see realclassify_lib).

realmorsesplit(f[, mu]); f poly, mu int

a list consisting of the corank of f, the inertia index, an upper bound for the determinacy, and the residual form of f

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.

LIB "realclassify.lib";
ring r = 0, (x,y,z), ds;
poly f = (x2+3y-2z)^2+xyz-(x-y3+x2z3)^3;
==> [1]:
==>    2
==> [2]:
==>    0
==> [3]:
==>    3
==> [4]:
==>    -x3+2/3xy2
See also: morsesplit.