|
D.15.17.1 realclassify
Procedure from library realclassify.lib (see realclassify_lib).
- Usage:
- realclassify(f[, printcomments]); f poly, printcomments int
- Return:
- A list containing (in this order)
- the type of the singularity as a string,
- the normal form,
- the corank, the Milnor number, the inertia index and
a bound for the determinacy as integers.
The normal form involves parameters for singularities of modality
greater than 0. The actual value of the parameters is not computed
in most of the cases. If the value of the parameter is unknown,
the normal form is given as a string with an "a" as the
parameter. Otherwise, it is given as a polynomial.
An optional integer printcomments can be provided. If its value
is non-zero, a string will be added at the end of the returned
list, containing the result in more readable form and in some
cases also more comments on how to interpret the result. The
default is zero.
- Note:
- The classification is done over the real numbers, so in contrast to
classify.lib, the signs of coefficients of monomials where even
exponents occur matter.
The ground field must be Q (the rational numbers). No field
extensions of any kind nor floating point numbers are allowed.
The monomial order must be local.
The input polynomial must be contained in maxideal(2) and must be
an isolated singularity of modality 0 or 1. The Milnor number is
checked for being finite.
Example:
See also:
classify.
|