Return to READ_ME CVS log

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

Import the second public release of PHCpack.

OKed by Jan Verschelde.

Polynomial homotopies, solutions of systems, scaling and reduction in PHCv2.

New in this release is the capability of dealing with solution vectors of
multi-precision numbers.
The Creators in the package Homotopy allow more accessibility constants for
the Cheater's homotopy.

This library is organized in three parts:
1) Representation of solutions of families of systems.
2) Homotopy with homogenization 
3) Scaling and reduction of polynomial systems.

--------------------------------------------------------------------------------
file name                          : short description
--------------------------------------------------------------------------------
standard_complex_solutions         : standard solutions to families of systems
standard_complex_solutions_io      : input/output of standard solutions
multprec_complex_solutions         : multprec solutions to families of systems
multprec_complex_solutions_io      : input/output of multprec solutions
--------------------------------------------------------------------------------
homogenization                     : making polynomials homogeneous
projective_transformations         : transform polynomials and solutions
homotopy                           : management of homotopy
drivers_for_homotopy_creation      : menu-driven homotopy construction
--------------------------------------------------------------------------------
scaling                            : scaling systems and solutions
drivers_for_scaling                : menu-driver for scaling routines
ts_drivscal                        : calls the driver
mainscal                           : scaling tool, as called by phc
reduction_of_polynomials           : S-polynomials and R-polynomials
reduction_of_polynomial_systems    : linear and nonlinear reduction
reduction_of_nonsquare_systems     : transform overconstrained into square
drivers_for_reduction              : menu-drivers for reducing systems
mainred                            : reduction tool, as called by phc
--------------------------------------------------------------------------------

The standard and multi-precision solutions lists are two separate packages,
not implemented by means of generics, because of the difficulties with
mixed real-complex numbers.

wc *adb counts 4818 lines of Ada code

Note: some little tools have been added to manipulate lists of solutions.

grepsols  : make a selection from a list of solutions
mergesols : merge the list of solutions