Changeset e9ffa0 in git for Singular/LIB/realclassify.lib

Timestamp:

Aug 3, 2012, 1:28:10 PM (12 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

69c542f9869e7a3e82b1cc481139d89110b7afd3

Parents:

b0732eb4254fbe76540d72c337f3d7f985adf948051432dd83870fbe8b97700f01135436c5d6f6fd

Message:

Merge pull request #164 from mmklee/factory_trfix_sw

Factory trfix sw

File:

• Singular/LIB/realclassify.lib (modified) (6 diffs)

Singular/LIB/realclassify.lib

@@ -9 +9 @@
 OVERVIEW:
    A library for classifying isolated hypersurface singularities over the reals
-   w.r.t. right
-   equivalence, based on the determinator of singularities by V.I. Arnold.
-   This library is based on classify.lib by Kai Krueger, but handles the real
-   case, while classify.lib does the complex classification.
+   w.r.t. right equivalence, based on the determinator of singularities by
+   V.I. Arnold. This library is based on classify.lib by Kai Krueger, but
+   handles the real case, while classify.lib does the complex classification.
+
+REFERENCES:
+Arnold, Varchenko, Gusein-Zade: Singularities of Differentiable Maps.
+Vol. 1: The classification of critical points caustics and wave fronts.
+Birkh\"auser, Boston 1985
+
+Greuel, Lossen, Shustin: Introduction to singularities and deformations.
+Springer, Berlin 2007
 
 PROCEDURES:
@@ -31 +38 @@
 RETURN:   A list containing (in this order)
           @* - the type of the singularity as a string,
-          @* - the normal form as well as
+          @* - the normal form,
           @* - the corank, the Milnor number, the inertia index and
                a bound for the determinacy as integers.
@@ -778 +785 @@
   "EXAMPLE:";
   echo = 2;
-  LIB "realclassify.lib";
   ring r = 0, (x,y,z), ds;
   poly f = (x2+3y-2z)^2+xyz-(x-y3+x2z3)^3;
@@ -1006 +1012 @@
   "EXAMPLE:";
   echo = 2;
-  LIB "realclassify.lib";
   ring r = 0, (x,y,z), ds;
   poly f = (x2+3y-2z)^2+xyz-(x-y3+x2z3)^3;
@@ -1053 +1058 @@
   "EXAMPLE:";
   echo = 2;
-  LIB "realclassify.lib";
   ring r = 0, (x,y), ds;
   poly f = x3+y4;
@@ -1145 +1149 @@
   "EXAMPLE:";
   echo = 2;
-  LIB "realclassify.lib";
   ring r = 0, (x,y), ds;
   poly f = x3+xy3;