Return to READ_ME CVS log

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

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

1.1       maekawa     1: Polynomial homotopies, solutions of systems, scaling and reduction in PHCv2.
                      2:
                      3: New in this release is the capability of dealing with solution vectors of
                      4: multi-precision numbers.
                      5: The Creators in the package Homotopy allow more accessibility constants for
                      6: the Cheater's homotopy.
                      7:
                      8: This library is organized in three parts:
                      9: 1) Representation of solutions of families of systems.
                     10: 2) Homotopy with homogenization
                     11: 3) Scaling and reduction of polynomial systems.
                     12:
                     13: --------------------------------------------------------------------------------
                     14: file name                          : short description
                     15: --------------------------------------------------------------------------------
                     16: standard_complex_solutions         : standard solutions to families of systems
                     17: standard_complex_solutions_io      : input/output of standard solutions
                     18: multprec_complex_solutions         : multprec solutions to families of systems
                     19: multprec_complex_solutions_io      : input/output of multprec solutions
                     20: --------------------------------------------------------------------------------
                     21: homogenization                     : making polynomials homogeneous
                     22: projective_transformations         : transform polynomials and solutions
                     23: homotopy                           : management of homotopy
                     24: drivers_for_homotopy_creation      : menu-driven homotopy construction
                     25: --------------------------------------------------------------------------------
                     26: scaling                            : scaling systems and solutions
                     27: drivers_for_scaling                : menu-driver for scaling routines
                     28: ts_drivscal                        : calls the driver
                     29: mainscal                           : scaling tool, as called by phc
                     30: reduction_of_polynomials           : S-polynomials and R-polynomials
                     31: reduction_of_polynomial_systems    : linear and nonlinear reduction
                     32: reduction_of_nonsquare_systems     : transform overconstrained into square
                     33: drivers_for_reduction              : menu-drivers for reducing systems
                     34: mainred                            : reduction tool, as called by phc
                     35: --------------------------------------------------------------------------------
                     36:
                     37: The standard and multi-precision solutions lists are two separate packages,
                     38: not implemented by means of generics, because of the difficulties with
                     39: mixed real-complex numbers.
                     40:
                     41: wc *adb counts 4818 lines of Ada code
                     42:
                     43: Note: some little tools have been added to manipulate lists of solutions.
                     44:
                     45: grepsols  : make a selection from a list of solutions
                     46: mergesols : merge the list of solutions