Return to READ_ME CVS log

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

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

1.1     ! maekawa     1: Mixed-volume computation and polyhedral continuation by static lifting in PHCv2.
        !             2:
        !             3: The algorithm used is based on the construction of a mixed subdivision,
        !             4: based on Betke's formula for mixed volumes and the polyhedral homotopy
        !             5: continuation methods developed by Huber and Sturmfels.
        !             6:
        !             7: This library features integer-valued and floating-point lifting functions.
        !             8: The implementation of integer static lifting typically induces nested
        !             9: subdivisions, with non-fine cells recursively refined by subdivisions.
        !            10:
        !            11: There are four parts in this library:
        !            12:
        !            13: 1. Integer-valued lifting, mixed subdivisions and polyhedral continuation
        !            14: 2. Floating-point lifting, mixed subdivisions and polyhedral continuation
        !            15: 3. Influence of points to mixed volume: a simple criterion
        !            16: 4. Driver packages
        !            17:
        !            18: --------------------------------------------------------------------------------
        !            19: file name                         : short description
        !            20: --------------------------------------------------------------------------------
        !            21: integer_mixed_subdivisions        : mixed subdivisions with integer lifting
        !            22: integer_mixed_subdivisions_io     : input/output of mixed subdivisions
        !            23: integer_lifting_functions         : lifting supports with integer values
        !            24: integer_lifting_utilities         : utilities for integer lifting functions
        !            25: integer_pruning_methods           : pruning methods for integer subdivisions
        !            26: integer_polyhedral_continuation   : polyhedral continuation by integer lifting
        !            27: mixed_coherent_subdivisions       : drivers to lifting functions
        !            28: mixed_volume_computation          : functions to compute mixed volumes
        !            29: ts_mixvol                         : mixed volume of supports
        !            30: bkk_bound_computations            : black-box mixed volumes and solvers
        !            31: --------------------------------------------------------------------------------
        !            32: floating_integer_convertors       : convertors integer<->floating data
        !            33: floating_mixed_subdivisions       : mixed subdivisions with floating lifting
        !            34: floating_mixed_subdivisions_io    : input/output of mixed subdivisions
        !            35: floating_lifting_functions        : lifting supports with floating values
        !            36: floating_lifting_utilities        : utilities for floating lifting functions
        !            37: floating_pruning_methods          : pruning methods for floating subdivisions
        !            38: floating_polyhedral_continuation  : polyhedral continuation by floating lifting
        !            39: --------------------------------------------------------------------------------
        !            40: inner_normal_cones                : representations of cones of inner normals
        !            41: normal_cone_intersections         : taking intersections of normal cones
        !            42: contributions_to_mixed_volume     : contributions of points to mixed volume
        !            43: --------------------------------------------------------------------------------
        !            44: drivers_for_mixed_contributions   : application of the contribution checks
        !            45: driver_for_criterion              : driver for the criterion
        !            46: ts_drivcrit                       : calls the menu-driver for the criterion
        !            47: driver_for_lifting_functions      : menu-driver for selecting lifting function
        !            48: pruning_statistics                : writes pruning statistics
        !            49: drivers_for_static_lifting        : menu-driver for static lifting
        !            50: ts_drivstal                       : calls the driver for static lifting
        !            51: --------------------------------------------------------------------------------
        !            52:
        !            53: Subdivisions induced by integer lifting functions have to be recursive,
        !            54: since one cannot guarantee that all cells will be fine-mixed.
        !            55:
        !            56: wc *adb counts 8845 lines of Ada code