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     ! 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;