D.15.27 transformation_lib

Library:

transWithPrecision.lib

Purpose:

The image of a transformation given up to a specified degree

Authors:

Janko Boehm, email: [email protected]
Magdaleen Marais, email: [email protected]
Alexander Mathis

Overview:

The image of a map defined by a matrix is given up to a specified degree. This tool can be used, particularly in Singularity theory, working with right equivalence.

It is known that a nondegenerate germ which has finite determinacy d is right equivalent to its d-jet. Therefore, in these cases, it is often enough to know the image of a transformation up to degree d.

Procedures:

D.15.27.1 transWithPrecision

the image of a transformation of a polynomial defined by a matrix up to a specified degree