Home Online Manual
Top
Back: testOlgaExamples
Forward: realclassify
FastBack:
FastForward:
Up: Singular Manual
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.15.31 realclassify_lib

Library:
realclassify.lib
Purpose:
Classification of real singularities
Author:
Janko Boehm, boehm@mathematik.uni-kl.de
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 classify2.lib by the first and second author and G. Pfister, but handles the real case, while classify2.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.31.1 realclassify  real classification of singularities of modality 0 and 1 up to stable equivalence
D.15.31.2 realmorsesplit  splitting lemma in the real case
D.15.31.3 milnornumber  Milnor number
D.15.31.4 determinacy  an upper bound for the determinacy
D.15.31.5 addnondegeneratevariables  find a right equivalent normal form by adding the non-degenerate variables