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

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