Singular Manual: realclassify

D.6.19.1 realclassify

Procedure from library realclassify.lib (see realclassify_lib).

Usage:: realclassify(f); f poly
Return:: A list of elements NF of type NormalFormEquation with the following keys:
NF.singularityType = the type of the singularity as a string
NF.normalFormEquation = an element F of type Poly with the normal form equation (a representative of the stable equivalence class of f, as chosen by Arnold)
NF.modality = the modality of f
NF.parameters = a list where each entry is a list consisting out of the parameter term in the normalform equation and an interval
NF.corank = the corank of f (of type int)
NF.inertiaIndex = the interia index of f (of type int)
NF.milnorNumber = the milnor number of f (of type int)
NF.determinacy = an lower bound for the determinacy of f (of type int)
Note:: The classification is done over the real numbers, so in contrast to classify.lib, the signs of coefficients of monomials where even exponents occur matter.
The ground field must be Q (the rational numbers). No field extensions of any kind nor floating point numbers are allowed.
The monomial order must be local.
The input polynomial must be contained in maxideal(2) and must be an isolated singularity of modality 0 or 1. The Milnor number is checked for being finite.
In case of NF.modality=1, the parameter values are given as an element of a number field QQ[a]/(minpoly), the coefficient ring of F in terms of the unique root of minpoly of the ring F.in in the interval specified in NF.parameters in conjunction with the parameter term.

Example:

LIB "realclassify.lib";
ring r = 0, (x,y,z), ds;
poly f = (x2+3y-2z)^2+xyz-(x-y3+x2z3)^3;
realclassify(f);
==> [1]:
==>    Corank = 2
==> Inertia index = 0
==> Normalform equation of type = D[4]-
==> Normalform equation = x2y-y3
==> Milnor number = 4
==> Modality = 0
==> Determinacy <= 3
==> 
map phi = r, x+2y+y^2+x*y,x+y+y^2+x^2,z;
poly f  = x^2+y^2-z^2;  // A[1]
f=phi(f);
realclassify(f);
==> [1]:
==>    Corank = 0
==> Inertia index = 1
==> Normalform equation of type = A[1]
==> Normalform equation = 0
==> Milnor number = 1
==> Modality = 0
==> Determinacy <= 2
==> 
poly f  = x^3+y^2-z^2;  // A[2]
f=phi(f);
realclassify(f);
==> [1]:
==>    Corank = 1
==> Inertia index = 1
==> Normalform equation of type = A[2]
==> Normalform equation = x3
==> Milnor number = 2
==> Modality = 0
==> Determinacy <= 3
==> 
poly f  = x^2*y-y^3+z^2;  // D[4]-
f=phi(f);
realclassify(f);
==> [1]:
==>    Corank = 2
==> Inertia index = 0
==> Normalform equation of type = D[4]-
==> Normalform equation = x2y-y3
==> Milnor number = 4
==> Modality = 0
==> Determinacy <= 3
==> 
poly f  = x^3-y^4-z^2;  // E[6]-
f=phi(f);
realclassify(f);
==> [1]:
==>    Corank = 2
==> Inertia index = 1
==> Normalform equation of type = E[6]-
==> Normalform equation = x3-y4
==> Milnor number = 6
==> Modality = 0
==> Determinacy <= 4
==> 
poly f  = x^3+x*y^3+z^2;  // E[7]
f=phi(f);
realclassify(f);
==> [1]:
==>    Corank = 2
==> Inertia index = 0
==> Normalform equation of type = E[7]
==> Normalform equation = x3+xy3
==> Milnor number = 7
==> Modality = 0
==> Determinacy <= 5
==> 
poly f  = x^3+y^5-z^2;  // E[8]
f=phi(f);
realclassify(f);
==> [1]:
==>    Corank = 2
==> Inertia index = 1
==> Normalform equation of type = E[8]
==> Normalform equation = x3+y5
==> Milnor number = 8
==> Modality = 0
==> Determinacy <= 5
==> 
poly f  = x^3+3*x^2*y^2+x*y^4-z^2;  //J[10]+
f=phi(f);
realclassify(f);
==> [1]:
==>    Corank = 2
==> Inertia index = 1
==> Normalform equation of type = J[10]-
==> Normalform equation = x3+(a)*x2y2-xy4
==> Milnor number = 10
==> Modality = 1
==> Parameter term = (a)*x2y2
==> Minimal polynomial = (5a4-81)
==> Interval = [0, 731]
==> Determinacy <= 7
==> 
==> [2]:
==>    Corank = 2
==> Inertia index = 1
==> Normalform equation of type = J[10]+
==> Normalform equation = x3+(a)*x2y2+xy4
==> Milnor number = 10
==> Modality = 1
==> Parameter term = (a)*x2y2
==> Minimal polynomial = (5a4-81)
==> Interval = [-5/2, -3/2]
==> Determinacy <= 7
==> 
==> [3]:
==>    Corank = 2
==> Inertia index = 1
==> Normalform equation of type = J[10]+
==> Normalform equation = x3+3x2y2+xy4
==> Milnor number = 10
==> Modality = 1
==> Parameter term = 3x2y2
==> Determinacy <= 7
==> 
poly f  = x^3+x^2*y^2+4*y^9+z^2;  //J[13]+
f=phi(f);
realclassify(f);
==> [1]:
==>    Corank = 2
==> Inertia index = 0
==> Normalform equation of type = J[13]+
==> Normalform equation = x3+x2y2+15y9
==> Milnor number = 13
==> Modality = 1
==> Parameter term = 15y9
==> Determinacy <= 10
==> 
==> [2]:
==>    Corank = 2
==> Inertia index = 0
==> Normalform equation of type = J[13]+
==> Normalform equation = x3+x2y2-15y9
==> Milnor number = 13
==> Modality = 1
==> Parameter term = -15y9
==> Determinacy <= 10
==> 
poly f  = -x^4-x^2*y^2+3y^9-z^2;  //X[14]--
f=phi(f);
realclassify(f);
==> [1]:
==>    Corank = 2
==> Inertia index = 1
==> Normalform equation of type = X[14]--
==> Normalform equation = -x4-x2y2+19683y9
==> Milnor number = 14
==> Modality = 1
==> Parameter term = 19683y9
==> Determinacy <= 9
==> 
==> [2]:
==>    Corank = 2
==> Inertia index = 1
==> Normalform equation of type = X[14]--
==> Normalform equation = -x4-x2y2-19683y9
==> Milnor number = 14
==> Modality = 1
==> Parameter term = -19683y9
==> Determinacy <= 9
==> 
poly f  = -x^2*y^2-x^7+4*y^8+z^2;  //Y[7,8]--
f=phi(f);
realclassify(f);
==> [1]:
==>    Corank = 2
==> Inertia index = 0
==> Normalform equation of type = Y[8,7]-+
==> Normalform equation = -x2y2+(a)*y7+x8
==> Milnor number = 16
==> Modality = 1
==> Parameter term = (a)*y7
==> Minimal polynomial = (a4-128)
==> Interval = [-130, 0]
==> Determinacy <= 8
==> 
==> [2]:
==>    Corank = 2
==> Inertia index = 0
==> Normalform equation of type = Y[8,7]-+
==> Normalform equation = -x2y2+y7+x8
==> Milnor number = 16
==> Modality = 1
==> Parameter term = (a)*y7
==> Minimal polynomial = (a4-128)
==> Interval = [0, 130]
==> Determinacy <= 8
==> 
==> [3]:
==>    Corank = 2
==> Inertia index = 0
==> Normalform equation of type = Y[7,8]--
==> Normalform equation = -x2y2-x7+4y8
==> Milnor number = 16
==> Modality = 1
==> Parameter term = 4y8
==> Determinacy <= 8
==> 
==> [4]:
==>    Corank = 2
==> Inertia index = 0
==> Normalform equation of type = Y[7,8]-+
==> Normalform equation = -x2y2+x7+4y8
==> Milnor number = 16
==> Modality = 1
==> Parameter term = 4y8
==> Determinacy <= 8
==> 
poly f  = (x^2+y^2)^2+5*x^9-z^2;  // tilde Y[9]
f=phi(f);
realclassify(f);
==> [1]:
==>    Corank = 2
==> Inertia index = 1
==> Normalform equation of type = tilde(Y)[9]+
==> Normalform equation = x4+2x2y2+y4+5x9
==> Milnor number = 19
==> Modality = 1
==> Parameter term = 5x9
==> Determinacy <= 9
==> 
==> [2]:
==>    Corank = 2
==> Inertia index = 1
==> Normalform equation of type = tilde(Y)[9]+
==> Normalform equation = x4+2x2y2+y4-5x9
==> Milnor number = 19
==> Modality = 1
==> Parameter term = -5x9
==> Determinacy <= 9
==> 
poly f  = x^3+y^7+3*x*y^5+z^2;  // E[12]
f=phi(f);
realclassify(f);
==> [1]:
==>    Corank = 2
==> Inertia index = 0
==> Normalform equation of type = E[12]
==> Normalform equation = x3+3xy5+y7
==> Milnor number = 12
==> Modality = 1
==> Parameter term = 3xy5
==> Determinacy <= 8
==> 
poly f  = x^3+x*y^5+4*y^8-z^2;  // E[13]
f=phi(f);
realclassify(f);
==> [1]:
==>    Corank = 2
==> Inertia index = 1
==> Normalform equation of type = E[13]
==> Normalform equation = x3+xy5+4y8
==> Milnor number = 13
==> Modality = 1
==> Parameter term = 4y8
==> Determinacy <= 9
==> 
poly f  = x^3+y^8+2*x*y^6+z^2;  // E[14]+
f=phi(f);
realclassify(f);
==> [1]:
==>    Corank = 2
==> Inertia index = 0
==> Normalform equation of type = E[14]+
==> Normalform equation = x3+2xy6+y8
==> Milnor number = 14
==> Modality = 1
==> Parameter term = 2xy6
==> Determinacy <= 9
==> 
poly f  = x^3*y+y^5+5*x*y^4-z^2;  // Z[11]
f=phi(f);
realclassify(f);
==> [1]:
==>    Corank = 2
==> Inertia index = 1
==> Normalform equation of type = Z[11]
==> Normalform equation = x3+5xy4+y5
==> Milnor number = 11
==> Modality = 1
==> Parameter term = 5xy4
==> Determinacy <= 5
==> 
poly f  = x^3*y+x*y^4+6*x^2*y^3+z^2;  // Z[12]
f=phi(f);
realclassify(f);
==> [1]:
==>    Corank = 2
==> Inertia index = 0
==> Normalform equation of type = Z[12]
==> Normalform equation = x3y+6x2y3+xy4
==> Milnor number = 12
==> Modality = 1
==> Parameter term = 6x2y3
==> Determinacy <= 6
==> 
poly f  = x^3*y-y^6+2*x*y^5-z^2;  // Z[13]-
f=phi(f);
realclassify(f);
==> [1]:
==>    Corank = 2
==> Inertia index = 1
==> Normalform equation of type = Z[13]-
==> Normalform equation = x3y+2xy5-y6
==> Milnor number = 13
==> Modality = 1
==> Parameter term = 2xy5
==> Determinacy <= 6
==> 
poly f  = x^4+y^5+x^2*y^3+z^2;  // W[12]+
f=phi(f);
realclassify(f);
==> [1]:
==>    Corank = 2
==> Inertia index = 0
==> Normalform equation of type = W[12]+
==> Normalform equation = x4+x2y3+y5
==> Milnor number = 12
==> Modality = 1
==> Parameter term = x2y3
==> Determinacy <= 5
==> 
poly f  = -x^4+x*y^4+y^6-z^2;  // W[13]-
f=phi(f);
realclassify(f);
==> [1]:
==>    Corank = 2
==> Inertia index = 1
==> Normalform equation of type = W[13]-
==> Normalform equation = -x4+xy4+y6
==> Milnor number = 13
==> Modality = 1
==> Parameter term = y6
==> Determinacy <= 6
==> 
poly p = x^4-x^2*y^2+5*y^4+x*y^3+x^3*y+z^2;  //X9++
f=phi(f);
realclassify(p);
==> [1]:
==>    Corank = 2
==> Inertia index = 0
==> Normalform equation of type = X[9]++
==> Normalform equation = x4+(a)*x2y2+y4
==> Milnor number = 9
==> Modality = 1
==> Parameter term = (a)*x2y2
==> Minimal polynomial = (18541a6-2454316a4+32984048a2-17909824)
==> Interval = [10829268444323/1000000000000, 433170737773/40000000000]
==> Determinacy <= 4
==> 
==> [2]:
==>    Corank = 2
==> Inertia index = 0
==> Normalform equation of type = X[9]++
==> Normalform equation = x4+(a)*x2y2+y4
==> Milnor number = 9
==> Modality = 1
==> Parameter term = (a)*x2y2
==> Minimal polynomial = (18541a6-2454316a4+32984048a2-17909824)
==> Interval = [-94106465721/125000000000, -752851725767/1000000000000]
==> Determinacy <= 4
==>