The classification of real singularities using Singular. II: The structure of the equivalence classes of the unimodal singularities. (Q898266)

In his famous paper [Invent. Math. 35, l87--109 (1976; Zbl 0336.57022)], \textit{V. I. Arnold} presented a classificaton of hypersurface singularities of modality smaller or equal to two over the complex numbers together with a singularity determinator (an algorithm to compute the normal form of a given singularity). Arnold gave also a corresponding classification over the real numbers. The authors developed algorithms to determine the normal form of simple and unimodal singularities over the real numbers. This article is the second part of a series of articles on the algorithmic classification of real singularities up to modality 1 and corank 2. The first article contains the splitting lemma and the case of simple singularities [the authors, J. Symb. Comput. 68, Part 1, 61--71 (2015; Zbl 1304.14008)]. In this article the complete structure of the equivalence classes of the unimodal real singularities of corank 2 is described answering the question which normal forms of different type are equivalent. The algorithms are implemented in the \textsc{Singular} library \texttt{realclassify.lib}.