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