Changeset a1f059 in git

Timestamp:

Nov 3, 2022, 1:50:57 PM (5 months ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', 'f875bbaccd0831e36aaed09ff6adeb3eb45aeb94')

Children:

61fbafc385ef8f9d3f576c978a3777d808eae100

Parents:

2ea97f9b11bc251f21ac6d89ae9453eb5074a95d

Message:

arnoldClassify_to_string

File:

• Singular/LIB/arnoldclassify.lib (modified) (2 diffs)

Singular/LIB/arnoldclassify.lib

@@ -1 +1 @@
 ///////////////////////////////////////////////////////////////////////////////
-version="version arnoldclassify.lib 4.1.2.0 Feb_2019 "; // $Id$
+version="version arnoldclassify.lib 4.3.1.2 Nov_2022 "; // $Id$
 category="Singularities";
 info="
@@ -2015 +2015 @@
 }
 
+proc arnoldClassify_to_string(poly  fPoly)
+"USAGE:   arnoldClassify_to_string (f); f poly
+ASSUME:  The basering is local of characteristic 0 and f defines an
+         isolated singularity from Arnol'd's list of corank at most 2.
+COMPUTE: singularity class with respect to right equivalence and
+         invariants used in the process of classification
+RETURN:  string: separated by |:
+         @* - name of singularity series as listed by arnoldListAllSeries(),
+         @* - name of singularity class,
+         @* - parameters k,r,s defining the singularity class, -1 if not used,
+         @* - modality, corank, Milnor number, determinacy,
+         @* - Tjurina number, -2 if not computed, -1 if infinite,
+         @* - Milnor code, -1 if not computed,
+         @* - normal form of the singularity series from Arnol'd's list,
+         @* - restrictions on parameters as string in SINGULAR syntax.
+EXAMPLE: example arnoldClassify_to_string; shows an example
+"
+{
+  singclass f=arnoldClassify(fPoly);
+  string s=f.Restrictions+"|"+
+    f.NormalForm+"|"+
+    string(f.MilnorCode)+"|"+
+    string(f.Tjurina)+"|"+
+    string(f.Determinacy)+"|"+
+    string(f.Milnor)+"|"+
+    string(f.Corank)+"|"+
+    string(f.Modality)+"|"+
+    string(f.r)+"|"+
+    string(f.s)+"|"+
+    f.Class+"|"+
+    f.Series;
+  return(s);
+}
+example
+{ "EXAMPLE:"; echo=2;
+  ring r = 0,(x,y),ds;
+  int k = random(3,10);
+  poly g = x4 + x2*y^(2*k+1)+x*y^(3*k+1)+ y^(4*k +1);
+  arnoldClassify_to_string(g);
+}
+