[BACK]Return to READ_ME CVS log [TXT][DIR] Up to [local] / OpenXM_contrib / PHC / Ada
File: [local] / OpenXM_contrib / PHC / Ada / READ_ME (download)

Revision 1.1.1.1 (vendor branch), Sun Oct 29 17:45:22 2000 UTC (23 years, 6 months ago) by maekawa
Branch: PHC, MAIN
CVS Tags: v2, maekawa-ipv6, RELEASE_1_2_3, RELEASE_1_2_2_KNOPPIX_b, RELEASE_1_2_2_KNOPPIX, RELEASE_1_2_2, RELEASE_1_2_1, HEAD
Changes since 1.1: +0 -0 lines 

Import the second public release of PHCpack.

OKed by Jan Verschelde.

Ada source code of Polynomial Homotopy Continuation version 2.

The same hierarchical structure as in the original version is preserved,
with the addition of numerical Schubert calculus.
New in this release is the introduction of multi-precision arithmetic.
The mathematical library has been rebuilt using Ada 95 concepts.

The Ada sources of PHCv2 are organized in the following tree of directories:

 Ada                       : Ada source code of PHC
  |-- System               : 0. UNIX dependencies, e.g.: timing package
  |-- Math_Lib             : 1. general mathematical library
  |      |-- Numbers       : 1.1. number representations
  |      |-- Matrices      : 1.2. matrices and linear-system solvers
  |      |-- Polynomials   : 1.3. multivariate polynomial systems
  |      |-- Supports      : 1.4. support sets and linear programming
  |-- Homotopy             : 2. homotopy and solution lists
  |-- Continuation         : 3. path-tracking routines
  |-- Root_Counts          : 4. root counts and homotopy construction
  |      |-- Product       : 4.1. linear-product start systems
  |      |-- Implift       : 4.2. implicit lifting
  |      |-- Stalift       : 4.3. static lifting
  |      |-- Dynlift       : 4.4. dynamic lifting
  |      |-- Symmetry      : 4.5. exploitation of symmetry relations
  |-- Schubert             : 5. numerical Schubert calculus
  |-- Main                 : 6. main dispatcher
  |-- Objects              : 7. to install, type: make phc

There are four parts:
  1. System and Mathematical Library
  2. Homotopy and Continuation
  3. Root Counts and Start Systems
  4. Schubert and Main Interfacing Library

Homotopy Continuation is a symbolic-numeric method:
root counting is a symbolic action for the resolution of a start system,
whereas path-following has Newton's method as main computational engine.

PHC occupies by now about 100,000 lines of source code: 
about 20,000 lines package specifications and about 80,000 lines Ada code.