Return to READ_ME CVS log

Up to [local] / OpenXM_contrib / PHC / Ada / Root_Counts / Implift

Annotation of OpenXM_contrib/PHC/Ada/Root_Counts/Implift/READ_ME, Revision 1.1

1.1     ! maekawa     1: Mixed-volume computation and polyhedral homotopies by implicit lifting in PHCv2.
        !             2:
        !             3: This directory contains software for the computation of mixed volumes,
        !             4: according to the recursive formula Bershtein used in his proof.
        !             5: Also the homotopy method of Bernshtein has been implemented.
        !             6:
        !             7: --------------------------------------------------------------------------------
        !             8: file name                          : short description
        !             9: --------------------------------------------------------------------------------
        !            10: power_lists                        : manipulating support sets of polynomials
        !            11: ts_powlis                          : test the power lists
        !            12: vertices                           : extracting vertices from supports
        !            13: drivers_for_vertex_points          : drivers to the vertex extraction
        !            14: ts_drivpts                         : calls the driver to vertices
        !            15: --------------------------------------------------------------------------------
        !            16: transformations                    : unimodular transformations on monomials
        !            17: transformations_io                 : input/output of unimodular transformations
        !            18: integer_vectors_utilities          : utilities to manipulate integer vectors
        !            19: transforming_solutions             : transformations on solution lists
        !            20: transforming_integer_vector_lists  : transformations on lists of integer vectors
        !            21: transforming_laurent_systems       : transformations on Laurent systems
        !            22: --------------------------------------------------------------------------------
        !            23: trees_of_vectors                   : data structure to hold outer normals
        !            24: trees_of_vectors_io                : input/output of trees of vectors
        !            25: lists_of_vectors_utilities         : utilities to manipulate lists of vectors
        !            26: arrays_of_lists_utilities          : utilities to manipulate arrays of lists
        !            27: volumes                            : compute volumes and mixed volumes
        !            28: ts_impvol                          : test on mixed-volume computation
        !            29: --------------------------------------------------------------------------------
        !            30: binomial_system_solvers            : solvers of systems of two monomials
        !            31: fewnomial_system_solvers           : solvers of fewnomial systems
        !            32: durand_kerner                      : solve polynomial equation in one variable
        !            33: ts_binsolve                        : test binomial system solvers
        !            34: ts_fewnom                          : test fewnomial system solvers
        !            35: ts_durker                          : test polynomial equation solver
        !            36: mixed_homotopy_continuation        : polyhedral continuation
        !            37: set_structures_and_volumes         : combines product and polyhedral methods
        !            38: generic_position                   : test on genericity of system
        !            39: driver_for_polyhedral_continuation : set-up for continuation
        !            40: drivers_for_implicit_lifting       : menu-driver for implicit lifting
        !            41: ts_drivimpl                        : calls the menu-driver for implicit lifting
        !            42: --------------------------------------------------------------------------------
        !            43:
        !            44: This is the first implementation of polyhedral homotopy continuation.
        !            45: Everytime PHC is reorganized, I go through a deep pain struggling through
        !            46: packages as Volumes and Mixed_Homotopy_Continuation.  There are far too
        !            47: many dynamic structures and pointers to make it efficient.
        !            48:
        !            49: About half of this library is needed in the other polyhedral methods.
        !            50: Vertices and fewnomial system solvers are fundamental and deserve a
        !            51: thorough reorganization.
        !            52:
        !            53: wc *adb counts 6658 lines of Ada code