Return to READ_ME CVS log

Up to [local] / OpenXM_contrib / PHC / Ada / Math_Lib

Annotation of OpenXM_contrib/PHC/Ada/Math_Lib/READ_ME, Revision 1.1.1.1

1.1       maekawa     1: Mathematical library with basic data structures and operations in PHCv2.
                      2:
                      3: The mathematical library contains general tools that are not specific
                      4: for polynomial homotopy continuation.
                      5:
                      6: New in this release are the multi-precision numbers and the use of Ada 95.
                      7:
                      8:   Math_Lib             : 1. general mathematical library
                      9:      |-- Numbers       : 1.1. number representations
                     10:      |-- Matrices      : 1.2. matrices and linear-system solvers
                     11:      |-- Polynomials   : 1.3. multivariate polynomial systems
                     12:      |-- Supports      : 1.4. support sets and linear programming
                     13:
                     14: The directory Numbers specifies the coefficient rings and contains
                     15: definitions of floating-point and complex numbers.
                     16: The coefficient rings are implemented by means of packages that can
                     17: be used for instantiating generic packages.
                     18:
                     19: In Matrices we find a generic package vectors, matrices of integer,
                     20: floating-point and complex numbers.  Solvers of linear systems are provided.
                     21:
                     22: The directory Polynomials contains the packages to deal with
                     23: multivariate polynomials and systems.
                     24:
                     25: To deal with support sets and polytopes, linear-programming
                     26: methods have been implemented in the directory Supports.