Return to drivers_for_homotopy_creation.ads CVS log

Up to [local] / OpenXM_contrib / PHC / Ada / Homotopy

Import the second public release of PHCpack.

OKed by Jan Verschelde.

with text_io;                            use text_io;
with Standard_Complex_Numbers;           use Standard_Complex_Numbers;
with Standard_Complex_Solutions;         use Standard_Complex_Solutions;
with Standard_Complex_Poly_Systems;      use Standard_Complex_Poly_Systems;

package Drivers_for_Homotopy_Creation is

-- DESCRIPTION :
--   Menu-driven creation of an artificial-parameter polynomial homotopy.

  procedure Default_Homotopy_Settings
                ( k : out positive; a,t : out Complex_Number );
  procedure Default_Homotopy_Settings
                ( k : out positive; a,t : out Complex_Number;
                  proj : out boolean );

  -- DESCRIPTION :
  --   Sets the default settings of the homotopy parameters.

  -- ON RETURN :
  --   k          relaxation constant, by default equals 2;
  --   a          randomly chosen complex number of radius 1;
  --   t          1 is default target value of the continuation parameter;
  --   proj       no projective transformation, proj = false.

  procedure Menu_for_Homotopy_Settings
                ( file : in file_type; k : in out positive;
                  a,t : in out Complex_Number; proj : in out boolean );
  procedure Menu_for_Homotopy_Settings
                ( file : in file_type; k : in out positive;
                  a,t : in out Complex_Number );

  -- DESCRIPTION :
  --   Interactive setting of the homotopy parameters.
  --   If proj is left out, then no projective transformation is set.

  procedure Driver_for_Homotopy_Construction
               ( file : in file_type; p,q : in out Poly_Sys;
                 qsols : in out Solution_List; target : out Complex_Number );

  -- DESCRIPTION :
  --   This is an interactive driver for the construction of an artificial
  --   parameter homotopy.  The user can ask to homogenize the polynomial
  --   system  and can determine the homotopy parameters and the target
  --   value for the  continuation parameter.
  --   This target value is returned as output.
  --   Note that the starting value for the continuation parameter is stored
  --   with the solutions.

end Drivers_for_Homotopy_Creation;