Return to random_product_start_systems.ads CVS log | Up to [local] / OpenXM_contrib / PHC / Ada / Root_Counts / Product |
File: [local] / OpenXM_contrib / PHC / Ada / Root_Counts / Product / random_product_start_systems.ads (download)
Revision 1.1.1.1 (vendor branch), Sun Oct 29 17:45:29 2000 UTC (23 years, 10 months ago) by maekawa
Import the second public release of PHCpack. OKed by Jan Verschelde. |
with Standard_Complex_Poly_Systems; use Standard_Complex_Poly_Systems; with Standard_Complex_Solutions; use Standard_Complex_Solutions; package Random_Product_Start_Systems is -- DESCRIPTION : -- This package constructs a random product start -- product system for a given polynomial system. procedure Build_Set_Structure ( p : in Poly_Sys ); -- DESCRIPTION : -- This is a heuristic procedure for constructing a supporting -- set structure of the system p. procedure Build_Random_Product_System ( n : in natural ); -- DESCRIPTION : -- Based on the set structure, a random linear-product system -- will be constructed. The result is stored in the internal -- data manage by the package Random_Product_System. -- REQUIRED : -- The set structure may not be empty. procedure Construct ( p : in Poly_Sys; q : in out Poly_Sys; sols : in out Solution_List ); -- DESCRIPTION : -- Constructs a start system q, with more or less the same -- structure as p. A heuristic procedure will be used for -- constructing a supporting set structure. end Random_Product_Start_Systems;