Top
Back: checkpfdMat
Forward: makePoly
FastBack:
FastForward:
Up: Singular Manual
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.15.15 polyclass_lib

Library:
polyclass.lib
Purpose:
Data types for normal form equations
Authors:
Janko Boehm, email: boehm@mathematik.uni-kl.de
Magdaleen Marais, email: magdaleen.marais@up.ac.za
Gerhard Pfister, email: pfister@mathematik.uni-kl.de

Overview:
This library implements a ring independent polynomial type used for the return value in classify2.lib, realclassify.lib and arnold.lib. You can use +, * and == for addition, multiplication and comparison. The key over contains the base ring of the polynomial, the key value its value as a polynomial of type poly. The constructor can be called by assigning a polynomial of type poly to a polynomial of type Poly via =.

Moreover the library implements a ring independent class Normalform consisting out of fields of type string, type list, type Poly and type RightEquivalenceChainWithPrecision, that capture the important characteristics of the stored singularity. The type RightEquivalenceChainWithPrecision is created to store a chain of (finite) transformations, ring independently as a list, performed on a sourcegerm. The image of the sourcegerm is stored in the field targetgerm. In this way the chain of transformations used to transform a sourcegerm to a normalformequation can be documented. To store each individual transformation the library implements a ring independent transformation of type PolynomialRightEquivalence, which contains fields for the ring over which the transformation is performed, the images that defines the transformation as a list of Poly's, and the inverse images that defined the inverse transformation as a list of Poly's.

The library also catains print functions for the newly created types for a user friendly display.

References:
J. Boehm, M.S. Marais, G. Pfister: Classification of Complex Singularities with Non-Degenerate Newton Boundary, https://arxiv.org/abs/2010.10185

J. Boehm, M.S. Marais, G. Pfister: Moduli Parameters of Complex Singularities with Non-Degenerate Newton Boundary, https://arxiv.org/abs/2402.05093

Acknowledgements: This research was supported by
the Staff Exchange Bursary Programme of the University of Pretoria, DFG SPP 1489, DFG TRR 195. The financial assistance of the National Research Foundation (NRF), South Africa, towards this research is hereby acknowledged. Opinions expressed and conclusions arrived at are those of the author and are not necessarily to be attributed to the National Research Foundation, South Africa.

Procedures:

D.15.15.1 makePoly  constructor for ring independent polynomial type Poly
D.15.15.2 printPoly  print routine for polynomial type Poly
D.15.15.3 addPoly  add polynomials of type Poly
D.15.15.4 multPoly  multiply polynomials of type Poly
D.15.15.5 equalPoly  check whether two polynomials of type Poly over the same ring are equal
D.15.15.6 expPoly  exponentiate polynomials of type Poly to an integer power
D.15.15.7 printPolynomialRightEquivalence  print a transformation
D.15.15.8 printRightEquivalenceChainWithPrecision  print a chain of transformations
D.15.15.9 printNormalFormEquation  print routine for normalform equation type NormalFormEquation
D.15.15.10 printNormalForm  print routine for normalform type NormalForm
See also: arnold_lib; classify2_lib; realclassify_lib.


Top Back: checkpfdMat Forward: makePoly FastBack: FastForward: Up: Singular Manual Top: Singular Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 4.4.0, 2024, generated by texi2html.