|
 |
 |
 |
 |
 |
 |
 |
 |
 |
D.5.1.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 |