Return to drivers_for_lifting_functions.ads CVS log

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

Import the second public release of PHCpack.

OKed by Jan Verschelde.

with text_io;                            use text_io;
with Standard_Integer_VecVecs;
with Standard_Floating_VecVecs;
with Lists_of_Integer_Vectors;
with Lists_of_Floating_Vectors;
with Arrays_of_Integer_Vector_Lists;
with Arrays_of_Floating_Vector_Lists;
with Standard_Complex_Poly_Systems;      use Standard_Complex_Poly_Systems;

package Drivers_for_Lifting_Functions is

  function Read_Integer_Lifting
              ( l : Lists_of_Integer_Vectors.List )
              return Lists_of_Integer_Vectors.List;

  -- DESCRIPTION : interactive point-wise lifting of a list.
  --   Returns the list of lifted points.

  function Read_Float_Lifting
              ( l : Lists_of_Floating_Vectors.List )
              return Lists_of_Floating_Vectors.List;

  -- DESCRIPTION : interactive point-wise lifting of a list.
  --   Returns the list of lifted points.

  procedure Driver_for_Lifting_Functions
              ( file : in file_type; p : in Poly_Sys;
                points : in Arrays_of_Integer_Vector_Lists.Array_of_Lists;
                lifted : in out Arrays_of_Integer_Vector_Lists.Array_of_Lists;
                lilifu : in out Standard_Integer_VecVecs.Link_to_VecVec );

  -- DESCRIPTION :
  --   Displays the menu with the available lifting functions and
  --   performs the selected integer lifting function.

  -- NOTE : it is assumed that different supports are submitted.

  -- ON ENTRY :
  --   file     file that must be opened for output;
  --   p        polynomial system;
  --   points   supports of the system p.

  -- ON RETURN :
  --   lifted   the lifted support sets;
  --   lilifu   vectors used for linear lifting, otherwise lilifu = null.

  procedure Driver_for_Lifting_Functions
              ( file : in file_type; p : in Poly_Sys;
                points : in Arrays_of_Floating_Vector_Lists.Array_of_Lists;
                lifted : in out Arrays_of_Floating_Vector_Lists.Array_of_Lists;
                lilifu : in out Standard_Floating_VecVecs.Link_to_VecVec );

  -- DESCRIPTION :
  --   Displays the menu with the available lifting functions and
  --   performs the selected floating-point lifting function.

  -- NOTE : it is assumed that different supports are submitted.

  -- ON ENTRY :
  --   file     file that must be opened for output;
  --   p        polynomial system;
  --   points   supports of the system p.

  -- ON RETURN :
  --   lifted   the lifted support sets;
  --   lilifu   vectors used for linear lifting, otherwise lilifu = null.

  procedure Driver_for_Lifting_Functions
              ( file : in file_type; p : in Poly_Sys;
                ipoints : in Arrays_of_Integer_Vector_Lists.Array_of_Lists;
                fltlif : out boolean;
                fpoints : in out Arrays_of_Floating_Vector_Lists.Array_of_Lists;
                ilifted : in out Arrays_of_Integer_Vector_Lists.Array_of_Lists;
                flifted : in out Arrays_of_Floating_Vector_Lists.Array_of_Lists;
                ililifu : in out Standard_Integer_VecVecs.Link_to_VecVec;
                flilifu : in out Standard_Floating_VecVecs.Link_to_VecVec );

  -- DESCRIPTION :
  --   The user has the choice for integer or floating-point lifting.
  --   On return, output parameter fltlif is true if the user wants
  --   floating-point lifting and false otherwise.
  --   Depending on fltlif, the appropriate parameters are determined.

end Drivers_for_Lifting_Functions;