Return to multi_homogeneous_start_systems.ads CVS log

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

Annotation of OpenXM_contrib/PHC/Ada/Root_Counts/Product/multi_homogeneous_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 Multi_Homogeneous_Start_Systems is
                      5:
                      6: -- DESCRIPTION :
                      7: --   This package contains a routine for the construction
                      8: --   of random product start systems.
                      9:
                     10:   procedure RPQ ( p : in Poly_Sys; q : out Poly_Sys;
                     11:                   sols : in out Solution_List; nl : out natural );
                     12:
                     13:   -- DESCRIPTION :
                     14:   --   This routine constructs a start system q with the same structure
                     15:   --   as the system p.
                     16:   --   Solving q happens by factoring all possible linear systems.
                     17:
                     18:   -- ON ENTRY :
                     19:   --   p          a polynomial system.
                     20:
                     21:   -- ON RETURN :
                     22:   --   q          a suitable start system for p;
                     23:   --   sols       the solutions of the start system;
                     24:   --   nl         the number of matrices that are factored.
                     25:
                     26:   procedure GBQ ( p : in Poly_Sys; q : out Poly_Sys;
                     27:                   sols : in out Solution_List );
                     28:
                     29:   -- DESCRIPTION :
                     30:   --   This routine constructs a start system q with the same structure
                     31:   --   as the system p.
                     32:   --   Solving q happens by factoring only these linear systems that
                     33:   --   correspond to admissible products.
                     34:
                     35:   -- ON ENTRY :
                     36:   --   p          a polynomial system.
                     37:
                     38:   -- ON RETURN :
                     39:   --   q          a suitable start system for p;
                     40:   --   sols       the solutions of the start system.
                     41:
                     42: end Multi_Homogeneous_Start_Systems;