D.15.13 polyclass_lib

Library:

polyclass.lib

Purpose:

Data types for normal form equations

Authors:

Janko Boehm, email: [email protected]
Magdaleen Marais, email: [email protected]
Gerhard Pfister, email: [email protected]

Overview:

This library implements a ring independent polynomial type used for the return value in classify2.lib and realclassify.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 class NormalformEquation consisting out of a string type, an integer milnorNumber, a Poly normalFormEquation, and integer modality, a list of numbers parameters, a list variables, an integer corank, in the real case, an integer inertiaIndex, a list of open intervals represented as lists consisting out of two rationals used to select a real root of the minimal polynomial (which is stored in the variable minpoly of the polynomial ring containing normalFormEquation, that is, in normalFormEquation.in), or if no minimal polynomial is defined then an interval containing the rational parameter value.

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.13.1 makePoly		constructor for ring independent polynomial type Poly
D.15.13.2 printPoly		print routine for polynomial type Poly
D.15.13.3 printNormalFormEquation		print routine for normal form equations