Return to drivers_for_lifting_functions.ads CVS log

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

Annotation of OpenXM_contrib/PHC/Ada/Root_Counts/Stalift/drivers_for_lifting_functions.ads, Revision 1.1

1.1     ! maekawa     1: with text_io;                            use text_io;
        !             2: with Standard_Integer_VecVecs;
        !             3: with Standard_Floating_VecVecs;
        !             4: with Lists_of_Integer_Vectors;
        !             5: with Lists_of_Floating_Vectors;
        !             6: with Arrays_of_Integer_Vector_Lists;
        !             7: with Arrays_of_Floating_Vector_Lists;
        !             8: with Standard_Complex_Poly_Systems;      use Standard_Complex_Poly_Systems;
        !             9:
        !            10: package Drivers_for_Lifting_Functions is
        !            11:
        !            12:   function Read_Integer_Lifting
        !            13:               ( l : Lists_of_Integer_Vectors.List )
        !            14:               return Lists_of_Integer_Vectors.List;
        !            15:
        !            16:   -- DESCRIPTION : interactive point-wise lifting of a list.
        !            17:   --   Returns the list of lifted points.
        !            18:
        !            19:   function Read_Float_Lifting
        !            20:               ( l : Lists_of_Floating_Vectors.List )
        !            21:               return Lists_of_Floating_Vectors.List;
        !            22:
        !            23:   -- DESCRIPTION : interactive point-wise lifting of a list.
        !            24:   --   Returns the list of lifted points.
        !            25:
        !            26:   procedure Driver_for_Lifting_Functions
        !            27:               ( file : in file_type; p : in Poly_Sys;
        !            28:                 points : in Arrays_of_Integer_Vector_Lists.Array_of_Lists;
        !            29:                 lifted : in out Arrays_of_Integer_Vector_Lists.Array_of_Lists;
        !            30:                 lilifu : in out Standard_Integer_VecVecs.Link_to_VecVec );
        !            31:
        !            32:   -- DESCRIPTION :
        !            33:   --   Displays the menu with the available lifting functions and
        !            34:   --   performs the selected integer lifting function.
        !            35:
        !            36:   -- NOTE : it is assumed that different supports are submitted.
        !            37:
        !            38:   -- ON ENTRY :
        !            39:   --   file     file that must be opened for output;
        !            40:   --   p        polynomial system;
        !            41:   --   points   supports of the system p.
        !            42:
        !            43:   -- ON RETURN :
        !            44:   --   lifted   the lifted support sets;
        !            45:   --   lilifu   vectors used for linear lifting, otherwise lilifu = null.
        !            46:
        !            47:   procedure Driver_for_Lifting_Functions
        !            48:               ( file : in file_type; p : in Poly_Sys;
        !            49:                 points : in Arrays_of_Floating_Vector_Lists.Array_of_Lists;
        !            50:                 lifted : in out Arrays_of_Floating_Vector_Lists.Array_of_Lists;
        !            51:                 lilifu : in out Standard_Floating_VecVecs.Link_to_VecVec );
        !            52:
        !            53:   -- DESCRIPTION :
        !            54:   --   Displays the menu with the available lifting functions and
        !            55:   --   performs the selected floating-point lifting function.
        !            56:
        !            57:   -- NOTE : it is assumed that different supports are submitted.
        !            58:
        !            59:   -- ON ENTRY :
        !            60:   --   file     file that must be opened for output;
        !            61:   --   p        polynomial system;
        !            62:   --   points   supports of the system p.
        !            63:
        !            64:   -- ON RETURN :
        !            65:   --   lifted   the lifted support sets;
        !            66:   --   lilifu   vectors used for linear lifting, otherwise lilifu = null.
        !            67:
        !            68:   procedure Driver_for_Lifting_Functions
        !            69:               ( file : in file_type; p : in Poly_Sys;
        !            70:                 ipoints : in Arrays_of_Integer_Vector_Lists.Array_of_Lists;
        !            71:                 fltlif : out boolean;
        !            72:                 fpoints : in out Arrays_of_Floating_Vector_Lists.Array_of_Lists;
        !            73:                 ilifted : in out Arrays_of_Integer_Vector_Lists.Array_of_Lists;
        !            74:                 flifted : in out Arrays_of_Floating_Vector_Lists.Array_of_Lists;
        !            75:                 ililifu : in out Standard_Integer_VecVecs.Link_to_VecVec;
        !            76:                 flilifu : in out Standard_Floating_VecVecs.Link_to_VecVec );
        !            77:
        !            78:   -- DESCRIPTION :
        !            79:   --   The user has the choice for integer or floating-point lifting.
        !            80:   --   On return, output parameter fltlif is true if the user wants
        !            81:   --   floating-point lifting and false otherwise.
        !            82:   --   Depending on fltlif, the appropriate parameters are determined.
        !            83:
        !            84: end Drivers_for_Lifting_Functions;