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