Return to random_product_start_systems.ads CVS log

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

Initial revision

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

package Random_Product_Start_Systems is

-- DESCRIPTION :
--   This package constructs a random product start
--   product system for a given polynomial system.

  procedure Build_Set_Structure ( p : in Poly_Sys );

  -- DESCRIPTION :
  --   This is a heuristic procedure for constructing a supporting
  --   set structure of the system p.

  procedure Build_Random_Product_System ( n : in natural );

  -- DESCRIPTION :
  --   Based on the set structure, a random linear-product system
  --   will be constructed.  The result is stored in the internal
  --   data manage by the package Random_Product_System.

  -- REQUIRED :
  --   The set structure may not be empty.

  procedure Construct ( p : in Poly_Sys; q : in out Poly_Sys;
		        sols : in out Solution_List );

  -- DESCRIPTION :
  --   Constructs a start system q, with more or less the same 
  --   structure as p.  A heuristic procedure will be used for
  --   constructing a supporting set structure.

end Random_Product_Start_Systems;