![]() ![]() | ![]() |
File: [local] / OpenXM_contrib / PHC / Ada / Root_Counts / Stalift / READ_ME (download)
Revision 1.1.1.1 (vendor branch), Sun Oct 29 17:45:31 2000 UTC (23 years, 10 months ago) by maekawa
Import the second public release of PHCpack. OKed by Jan Verschelde. |
Mixed-volume computation and polyhedral continuation by static lifting in PHCv2. The algorithm used is based on the construction of a mixed subdivision, based on Betke's formula for mixed volumes and the polyhedral homotopy continuation methods developed by Huber and Sturmfels. This library features integer-valued and floating-point lifting functions. The implementation of integer static lifting typically induces nested subdivisions, with non-fine cells recursively refined by subdivisions. There are four parts in this library: 1. Integer-valued lifting, mixed subdivisions and polyhedral continuation 2. Floating-point lifting, mixed subdivisions and polyhedral continuation 3. Influence of points to mixed volume: a simple criterion 4. Driver packages -------------------------------------------------------------------------------- file name : short description -------------------------------------------------------------------------------- integer_mixed_subdivisions : mixed subdivisions with integer lifting integer_mixed_subdivisions_io : input/output of mixed subdivisions integer_lifting_functions : lifting supports with integer values integer_lifting_utilities : utilities for integer lifting functions integer_pruning_methods : pruning methods for integer subdivisions integer_polyhedral_continuation : polyhedral continuation by integer lifting mixed_coherent_subdivisions : drivers to lifting functions mixed_volume_computation : functions to compute mixed volumes ts_mixvol : mixed volume of supports bkk_bound_computations : black-box mixed volumes and solvers -------------------------------------------------------------------------------- floating_integer_convertors : convertors integer<->floating data floating_mixed_subdivisions : mixed subdivisions with floating lifting floating_mixed_subdivisions_io : input/output of mixed subdivisions floating_lifting_functions : lifting supports with floating values floating_lifting_utilities : utilities for floating lifting functions floating_pruning_methods : pruning methods for floating subdivisions floating_polyhedral_continuation : polyhedral continuation by floating lifting -------------------------------------------------------------------------------- inner_normal_cones : representations of cones of inner normals normal_cone_intersections : taking intersections of normal cones contributions_to_mixed_volume : contributions of points to mixed volume -------------------------------------------------------------------------------- drivers_for_mixed_contributions : application of the contribution checks driver_for_criterion : driver for the criterion ts_drivcrit : calls the menu-driver for the criterion driver_for_lifting_functions : menu-driver for selecting lifting function pruning_statistics : writes pruning statistics drivers_for_static_lifting : menu-driver for static lifting ts_drivstal : calls the driver for static lifting -------------------------------------------------------------------------------- Subdivisions induced by integer lifting functions have to be recursive, since one cannot guarantee that all cells will be fine-mixed. wc *adb counts 8845 lines of Ada code