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     ! 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