|
 |
 |
 |
 |
 |
 |
 |
 |
 |
D.6.3.8 morsesplit
Procedure from libraryclassify.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
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 |