Return to READ_ME CVS log

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

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

1.1     ! maekawa     1: Generalized Bezout numbers and linear-product start systems in PHCv2.
        !             2:
        !             3: Besides some renaming nothing is new in this release.
        !             4:
        !             5: Four types of start systems are implemented, based on total degree,
        !             6: m-homogeneous, multi-homegenous, and generalized Bezout number.
        !             7:
        !             8: --------------------------------------------------------------------------------
        !             9: file name                          : short description
        !            10: -------------------------------------------------------------------------------
        !            11: total_degree_start_systems         : start systems based on total degree
        !            12: ts_startsys                        : test on total-degree based start systems
        !            13: --------------------------------------------------------------------------------
        !            14: sets_of_unknowns                   : set of unknowns of polynomials
        !            15: sets_of_unknowns_io                : input/output for sets of unknowns
        !            16: partitions_of_sets_of_unknowns     : partitions of sets of unknowns
        !            17: partitions_of_sets_of_unknowns_io  : input/output for partitions
        !            18: degrees_in_sets_of_unknowns        : compute degrees and degree tables
        !            19: m_homogeneous_bezout_numbers       : calculation of m-homogeneous bounds
        !            20: random_product_system              : systems of products of hyperplanes
        !            21: random_product_system_io           : input/output for product systems
        !            22: m_homogeneous_start_systems        : creation of m-homogeneous start systems
        !            23: interpolating_homotopies           : homotopies based on interpolation
        !            24: interpolating_homotopies_driver    : driver for interpolating homotopies
        !            25: drivers_for_m_homogenization       : menu-driver for m-homogenization
        !            26: ts_drivmhom                        : calls the driver for m-homogenization
        !            27: --------------------------------------------------------------------------------
        !            28: generate_unions                    : all unions of k numbers from a range
        !            29: degree_structure                   : model for multi-homogeneous structure
        !            30: multi_homogeneous_start_systems    : construct multi-homogeneous start systems
        !            31: drivers_for_multi_homogenization   : menu-driver for multi-homogenization
        !            32: ts_drivmuho                        : calls the driver for multi-homogenization
        !            33: --------------------------------------------------------------------------------
        !            34: set_structure                      : model of general degree structure
        !            35: set_structure_io                   : input/output of set structures
        !            36: degree_sets_tables                 : generalized permanents
        !            37: random_product_start_systems       : construct random linear-product systems
        !            38: drivers_for_set_structures         : menu-driver for set structures
        !            39: ts_drivss                          : calls the driver for set structures
        !            40: --------------------------------------------------------------------------------
        !            41:
        !            42: wc *adb counts 4286 lines of Ada code