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

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