Return to total_degree_start_systems.ads CVS log

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

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

1.1       maekawa     1: with Standard_Complex_Vectors;           use Standard_Complex_Vectors;
                      2: with Standard_Complex_Poly_Systems;      use Standard_Complex_Poly_Systems;
                      3: with Standard_Complex_Solutions;         use Standard_Complex_Solutions;
                      4:
                      5: package Total_Degree_Start_Systems is
                      6:
                      7: -- DESCRIPTION :
                      8: --   This package constructs the start system based on the total degree.
                      9:
                     10:   procedure Total_Degree_Info;
                     11:
                     12:   -- DESCRIPTION :
                     13:   --   Displays information about the total degree on screen.
                     14:
                     15:   procedure Start_System
                     16:                ( p : in Poly_Sys; q : in out Poly_Sys; c : in Vector;
                     17:                  qsols : in out Solution_List);
                     18:
                     19:   -- ON ENTRY :
                     20:   --   p         the polynomial system that has to be solved;
                     21:   --   c         a vector with constants.
                     22:
                     23:   -- ON RETURN :
                     24:   --   q         the start system, with for i in q'range :
                     25:   --             q(i) = x_i^Degree(p(i)) - c(i);
                     26:   --   qsols     the solutions of the start system.
                     27:
                     28:   procedure Start_System
                     29:                ( p : in Poly_Sys; q : in out Poly_Sys;
                     30:                  qsols : in out Solution_List );
                     31:
                     32:   -- DESCRIPTION :
                     33:   --   The meaning of the parameters is here the same, except that instead
                     34:   --   of the vector c, a random number generator will be used for choosing
                     35:   --   the c(i)'s on the unit circle.
                     36:
                     37: end Total_Degree_Start_Systems;