Home Online Manual
Top
Back: milnorcode
Forward: quickclass
FastBack:
FastForward:
Up: classify_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.6.3.8 morsesplit

Procedure from library classify.lib (see classify_lib).

Usage:
morsesplit(f); f=poly

Return:
Normal form of f in M^3 after application of the splitting lemma

Compute:
apply the splitting lemma (generalized Morse lemma) to f

Example:
 
LIB "classify.lib";
ring r=0,(x,y,z),ds;
export r;
==> // ** `r` is already global
init_debug(1);
==> Debugging level is set to  1
poly f=(x2+3y-2z)^2+xyz-(x-y3+x2*z3)^3;
poly g=morsesplit(f);
==> Residual singularity f= -x3+3/2xy2+1/2x3y-1/16x2y2+3x2y3
g;
==> -x3+3/2xy2+1/2x3y-1/16x2y2+3x2y3