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     ! 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