Return to total_degree_start_systems.ads CVS log

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

Import the second public release of PHCpack.

OKed by Jan Verschelde.

with Standard_Complex_Vectors;           use Standard_Complex_Vectors;
with Standard_Complex_Poly_Systems;      use Standard_Complex_Poly_Systems;
with Standard_Complex_Solutions;         use Standard_Complex_Solutions;

package Total_Degree_Start_Systems is

-- DESCRIPTION :
--   This package constructs the start system based on the total degree.

  procedure Total_Degree_Info;

  -- DESCRIPTION :
  --   Displays information about the total degree on screen.

  procedure Start_System 
               ( p : in Poly_Sys; q : in out Poly_Sys; c : in Vector;
                 qsols : in out Solution_List);

  -- ON ENTRY :
  --   p         the polynomial system that has to be solved;
  --   c         a vector with constants.

  -- ON RETURN :
  --   q         the start system, with for i in q'range :
  --             q(i) = x_i^Degree(p(i)) - c(i);
  --   qsols     the solutions of the start system.

  procedure Start_System 
               ( p : in Poly_Sys; q : in out Poly_Sys;
                 qsols : in out Solution_List ); 

  -- DESCRIPTION :
  --   The meaning of the parameters is here the same, except that instead
  --   of the vector c, a random number generator will be used for choosing
  --   the c(i)'s on the unit circle.

end Total_Degree_Start_Systems;