Return to READ_ME CVS log

Up to [local] / OpenXM_contrib / PHC / Ada

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

1.1       maekawa     1: Ada source code of Polynomial Homotopy Continuation version 2.
                      2:
                      3: The same hierarchical structure as in the original version is preserved,
                      4: with the addition of numerical Schubert calculus.
                      5: New in this release is the introduction of multi-precision arithmetic.
                      6: The mathematical library has been rebuilt using Ada 95 concepts.
                      7:
                      8: The Ada sources of PHCv2 are organized in the following tree of directories:
                      9:
                     10:  Ada                       : Ada source code of PHC
                     11:   |-- System               : 0. UNIX dependencies, e.g.: timing package
                     12:   |-- Math_Lib             : 1. general mathematical library
                     13:   |      |-- Numbers       : 1.1. number representations
                     14:   |      |-- Matrices      : 1.2. matrices and linear-system solvers
                     15:   |      |-- Polynomials   : 1.3. multivariate polynomial systems
                     16:   |      |-- Supports      : 1.4. support sets and linear programming
                     17:   |-- Homotopy             : 2. homotopy and solution lists
                     18:   |-- Continuation         : 3. path-tracking routines
                     19:   |-- Root_Counts          : 4. root counts and homotopy construction
                     20:   |      |-- Product       : 4.1. linear-product start systems
                     21:   |      |-- Implift       : 4.2. implicit lifting
                     22:   |      |-- Stalift       : 4.3. static lifting
                     23:   |      |-- Dynlift       : 4.4. dynamic lifting
                     24:   |      |-- Symmetry      : 4.5. exploitation of symmetry relations
                     25:   |-- Schubert             : 5. numerical Schubert calculus
                     26:   |-- Main                 : 6. main dispatcher
                     27:   |-- Objects              : 7. to install, type: make phc
                     28:
                     29: There are four parts:
                     30:   1. System and Mathematical Library
                     31:   2. Homotopy and Continuation
                     32:   3. Root Counts and Start Systems
                     33:   4. Schubert and Main Interfacing Library
                     34:
                     35: Homotopy Continuation is a symbolic-numeric method:
                     36: root counting is a symbolic action for the resolution of a start system,
                     37: whereas path-following has Newton's method as main computational engine.
                     38:
                     39: PHC occupies by now about 100,000 lines of source code:
                     40: about 20,000 lines package specifications and about 80,000 lines Ada code.