Return to READ_ME CVS log

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

Initial revision

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