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     ! 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.