Multivariate polynomials and polynomial systems over any ring or field.

Three different representations of polynomials are implemented:
as a list of terms, a nested Horner scheme with fixed coefficient
and with parametric coefficients.
The i/o-routines provide readable formats.

1. Multivariate Polynomials :

     nat_grad_lex        Natural_Graded_Lexicographical_Ordening
     int_grad_lex        Integer_Graded_Lexicographical_Ordening
     lists               generic lists of items
     mul_poly            Multivariate_Polynomials
     mul_laur            Multivariate_Laurent_Polynomials
     cmp_mpoly           Complex_Multivariate_Polynomials
     cmp_mlaur           Complex_Multivariate_Laurent_Polynomials
     symtab              Symbol_Table
     symtab_io           Symbol_Table_io
     cmp_mpoly_io        Complex_Multivariate_Polynomials_io

2. Vectors of polynomials :

     cmp_polsys          Complex_Polynomial_Systems
     cmp_polsys_io       Complex_Polynomial_Systems_io
     jacobi              Jacobi_Matrices
     cmp_laursys         Complex_Laurent_Systems
     laurjaco            Laurent_Jacobi_Matrices
     expvec              Exponent_Vectors

3. Converters, randomizers and substitutors :

     pollaco             Polynomial_to_Laurent_Converters
     lapolco             Laurent_to_Polynomial_Converters
     polrand             Polynomial_Randomizers
     laurrand            Laurent_Polynomial_Randomizers
     substits            Substitutors
