Return to random_product_start_systems.ads CVS log

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

Annotation of OpenXM_contrib/PHC/Ada/Root_Counts/Product/random_product_start_systems.ads, Revision 1.1.1.1

1.1       maekawa     1: with Standard_Complex_Poly_Systems;      use Standard_Complex_Poly_Systems;
                      2: with Standard_Complex_Solutions;         use Standard_Complex_Solutions;
                      3:
                      4: package Random_Product_Start_Systems is
                      5:
                      6: -- DESCRIPTION :
                      7: --   This package constructs a random product start
                      8: --   product system for a given polynomial system.
                      9:
                     10:   procedure Build_Set_Structure ( p : in Poly_Sys );
                     11:
                     12:   -- DESCRIPTION :
                     13:   --   This is a heuristic procedure for constructing a supporting
                     14:   --   set structure of the system p.
                     15:
                     16:   procedure Build_Random_Product_System ( n : in natural );
                     17:
                     18:   -- DESCRIPTION :
                     19:   --   Based on the set structure, a random linear-product system
                     20:   --   will be constructed.  The result is stored in the internal
                     21:   --   data manage by the package Random_Product_System.
                     22:
                     23:   -- REQUIRED :
                     24:   --   The set structure may not be empty.
                     25:
                     26:   procedure Construct ( p : in Poly_Sys; q : in out Poly_Sys;
                     27:                        sols : in out Solution_List );
                     28:
                     29:   -- DESCRIPTION :
                     30:   --   Constructs a start system q, with more or less the same
                     31:   --   structure as p.  A heuristic procedure will be used for
                     32:   --   constructing a supporting set structure.
                     33:
                     34: end Random_Product_Start_Systems;