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

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:
 
LIB "realclassify.lib";
ring r = 0, (x,y,z), ds;
poly f = (x2+3y-2z)^2+xyz-(x-y3+x2z3)^3;
realmorsesplit(f);
==> [1]:
==>    2
==> [2]:
==>    0
==> [3]:
==>    3
==> [4]:
==>    -x3+2/3xy2
==> [5]:
==>    _[1]=x
==>    _[2]=2/3y+z-1/3x2-1/18xy
==>    _[3]=y
See also: morsesplit.


Top Back: realclassify Forward: milnornumber FastBack: parallel_lib FastForward: realizationMatroids_lib Up: realclassify_lib Top: Singular Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 3-1-6, Dec 2012, generated by texi2html.