Home Online Manual
Top
Back: determinacy
Forward: rootisolation_lib
FastBack:
FastForward:
Up: realclassify_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.15.31.5 addnondegeneratevariables

Procedure from library realclassify.lib (see realclassify_lib).

Usage:
addnondegeneratevariables(NFR); NFR NormalFormEquation

Return:
Adds squares of the non-degenerate variables (i.e. var(cr+1), ..., var(nvars(basering)) for corank cr) to the normalform nf, with signs according to the inertia index.

Example:
 
LIB "realclassify.lib";
ring r = 0, (x,y,z), ds;
poly f = (x2+3y-2z)^2+xyz-(x-y3+x2z3)^3;
list NFR = realclassify(f);
NFR[1];
==> Corank = 2
==> Inertia index = 0
==> Normalform equation of type = D[4]-
==> Normalform equation = x2y-y3
==> Milnor number = 4
==> Modality = 0
==> Determinacy <= 3
==> 
addnondegeneratevariables(NFR[1]);
==> Corank = 2
==> Inertia index = 0
==> Normalform equation of type = D[4]-
==> Normalform equation = z2+x2y-y3
==> Milnor number = 4
==> Modality = 0
==> Determinacy <= 3
==>
See also: realmorsesplit.