Generalized Bezout numbers and linear-product start systems in PHCv2.
Besides some renaming nothing is new in this release.
Four types of start systems are implemented, based on total degree,
m-homogeneous, multi-homegenous, and generalized Bezout number.
--------------------------------------------------------------------------------
file name : short description
-------------------------------------------------------------------------------
total_degree_start_systems : start systems based on total degree
ts_startsys : test on total-degree based start systems
--------------------------------------------------------------------------------
sets_of_unknowns : set of unknowns of polynomials
sets_of_unknowns_io : input/output for sets of unknowns
partitions_of_sets_of_unknowns : partitions of sets of unknowns
partitions_of_sets_of_unknowns_io : input/output for partitions
degrees_in_sets_of_unknowns : compute degrees and degree tables
m_homogeneous_bezout_numbers : calculation of m-homogeneous bounds
random_product_system : systems of products of hyperplanes
random_product_system_io : input/output for product systems
m_homogeneous_start_systems : creation of m-homogeneous start systems
interpolating_homotopies : homotopies based on interpolation
interpolating_homotopies_driver : driver for interpolating homotopies
drivers_for_m_homogenization : menu-driver for m-homogenization
ts_drivmhom : calls the driver for m-homogenization
--------------------------------------------------------------------------------
generate_unions : all unions of k numbers from a range
degree_structure : model for multi-homogeneous structure
multi_homogeneous_start_systems : construct multi-homogeneous start systems
drivers_for_multi_homogenization : menu-driver for multi-homogenization
ts_drivmuho : calls the driver for multi-homogenization
--------------------------------------------------------------------------------
set_structure : model of general degree structure
set_structure_io : input/output of set structures
degree_sets_tables : generalized permanents
random_product_start_systems : construct random linear-product systems
drivers_for_set_structures : menu-driver for set structures
ts_drivss : calls the driver for set structures
--------------------------------------------------------------------------------
wc *adb counts 4286 lines of Ada code