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

Timestamp:

Jan 7, 2012, 12:42:56 AM (12 years ago)

Author:

Andreas Steenpass <steenpass@…>

Branches:

(u'spielwiese', 'e7cc1ebecb61be8b9ca6c18016352af89940b21a')

Children:

5abb0e7fdca82a2bad9778e410148c74d7b49a0b

Parents:

f1cfef36a45967a6dc88672e6efc050bf9c592b1

git-author:

Andreas Steenpass <steenpass@mathematik.uni-kl.de>2012-01-07 00:42:56+01:00

git-committer:

Andreas Steenpass <steenpass@mathematik.uni-kl.de>2012-08-02 18:26:50+02:00

Message:

update documentation for parallel.lib and realclassify.lib

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;