Return to multi_homogeneous_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 Multi_Homogeneous_Start_Systems is

-- DESCRIPTION :
--   This package contains a routine for the construction
--   of random product start systems.

  procedure RPQ ( p : in Poly_Sys; q : out Poly_Sys;
                  sols : in out Solution_List; nl : out natural );

  -- DESCRIPTION :
  --   This routine constructs a start system q with the same structure
  --   as the system p.
  --   Solving q happens by factoring all possible linear systems.

  -- ON ENTRY :
  --   p          a polynomial system.

  -- ON RETURN :
  --   q          a suitable start system for p;
  --   sols       the solutions of the start system;
  --   nl         the number of matrices that are factored.

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

  -- DESCRIPTION :
  --   This routine constructs a start system q with the same structure
  --   as the system p.
  --   Solving q happens by factoring only these linear systems that
  --   correspond to admissible products.

  -- ON ENTRY :
  --   p          a polynomial system.

  -- ON RETURN :
  --   q          a suitable start system for p;
  --   sols       the solutions of the start system.

end Multi_Homogeneous_Start_Systems;