Return to READ_ME CVS log

Up to [local] / OpenXM_contrib / PHC / Ada / Math_Lib / Supports

Annotation of OpenXM_contrib/PHC/Ada/Math_Lib/Supports/READ_ME, Revision 1.1.1.1

1.1       maekawa     1: Support sets, polytopes, and feasibility of linear-inequality systems in PHCv2.
                      2:
                      3: New in this release is the usage of Ada 95 concepts to build the lists.
                      4:
                      5: The library is divided in two parts :
                      6: 1) algorithms for linear programming;
                      7: 2) data structures for support sets and faces of polytopes.
                      8: The algorithms are independent from the data structures.
                      9:
                     10: --------------------------------------------------------------------------------
                     11: file name                          : short description
                     12: --------------------------------------------------------------------------------
                     13: dictionaries                       : basic manipulations for simplex algorithm
                     14: linear_programming                 : primal and dual simplex algorithm
                     15: givens_rotations                   : transformations to triangulate matrices
                     16: integer_linear_inequalties         : feasibility of integer linear inequalities
                     17: floating_linear_inequalities       : feasibility of floating linear inequalities
                     18: face_enumerators_utilities         : some utilities for the face enumerators
                     19: integer_face_enumerators           : enumerate k-faces of integer polytope
                     20: floating_face_enumerators          : enumerate k-faces of floating polytope
                     21: floating_linear_inequality_solvers : primal-dual algo with inconsistency proof
                     22: --------------------------------------------------------------------------------
                     23: generic_lists_of_vectors           : generic lists of links to vectors
                     24: generic_lists_of_vectors_io        : input/output for generic lists of vectors
                     25: lists_of_integer_vectors           : lists of standard integer vectors
                     26: lists_of_integer_vectors_io        : input/output of lists of integer vectors
                     27: lists_of_floating_vectors          : lists of standard floating vectors
                     28: lists_of_floating_vectors_io       : input/output of lists of floating vectors
                     29: generic_arrays_of_vector_lists     : generic arrays of vector lists
                     30: generic_arrays_of_vector_lists_io  : input/output for arrays of vector lists
                     31: arrays_of_integer_vector_lists     : arrays of integer vector lists
                     32: arrays_of_integer_vector_lists_io  : i/o for arrays of integer vector lists
                     33: arrays_of_floating_vector_lists    : arrays of floating vector lists
                     34: arrays_of_floating_vector_lists_io : i/o for arrays of floating vector lists
                     35: integer_support_functions          : support functions for integer polytopes
                     36: integer_faces_of_polytope          : faces of integer polytopes
                     37: integer_faces_of_polytope_io       : output for faces of integer polytopes
                     38: floating_support_functions         : support functions for floating polytopes
                     39: floating_faces_of_polytope         : faces of floating polytopes
                     40: --------------------------------------------------------------------------------
                     41: ts_diclp                           : test dictionaries and linear programming
                     42: ts_givrot                          : test of givens rotations
                     43: ts_lstvec                          : test lists of links to vectors
                     44: --------------------------------------------------------------------------------
                     45: The multi-precision facilities have not been developed throughout this
                     46: library, since we are dealing with Newton polytopes, spanned by vertices
                     47: with small integer numbers.
                     48:
                     49: This library contains three different methods for deciding on the
                     50: feasibility of a linear-inequality system:
                     51: 1) dictionaries : along the book
                     52: 2) looking for inconsistency proofs
                     53: 3) primal/dual method with either a solution or an inconsistency proof
                     54:
                     55: The algorithms to enumerate the k-faces are not efficient if one is
                     56: interested in the whole face lattice of a polytope.
                     57:
                     58: wc *adb counts 6765 lines of Ada code