> | ### D.15.18 realclassify_lib Library: realclassify.lib Purpose: Classification of real singularities Author: Magdaleen Marais, magdaleen@aims.ac.za Andreas Steenpass, steenpass@mathematik.uni-kl.de 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. 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:
> D.15.18.1 realclassify |  | real classification of singularities of modality 0 and 1
> D.15.18.2 realmorsesplit |  | splitting lemma in the real case
> D.15.18.3 milnornumber |  | Milnor number
> D.15.18.4 determinacy |  | an upper bound for the determinacy

User manual for Singular version 4-0-2, 2015, generated by texi2html.