Return to floating_lifting_functions.ads CVS log

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

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

1.1     ! maekawa     1: with Standard_Floating_Numbers;          use Standard_Floating_Numbers;
        !             2: with Standard_Floating_Vectors;          use Standard_Floating_Vectors;
        !             3: with Standard_Complex_Poly_Functions;    use Standard_Complex_Poly_Functions;
        !             4: with Standard_Complex_Poly_Systems;      use Standard_Complex_Poly_Systems;
        !             5: with Standard_Complex_Poly_SysFun;       use Standard_Complex_Poly_SysFun;
        !             6: with Standard_Complex_Polynomials;       use Standard_Complex_Polynomials;
        !             7: with Lists_of_Floating_Vectors;          use Lists_of_Floating_Vectors;
        !             8: with Arrays_of_Floating_Vector_Lists;    use Arrays_of_Floating_Vector_Lists;
        !             9: with Floating_Faces_of_Polytope;         use Floating_Faces_of_Polytope;
        !            10:
        !            11: package Floating_Lifting_Functions is
        !            12:
        !            13: -- DESCRIPTION :
        !            14: --   This package provides a suite of floating-point lifting functions.
        !            15:
        !            16: -- RANDOM FLOATING-POINT LIFTING :
        !            17:
        !            18:   function Random_Lift ( lflow,lfupp : double_float ) return double_float;
        !            19:   function Random_Lift ( v : Vector; lflow,lfupp : double_float ) return Vector;
        !            20:   function Random_Lift ( l : List; lflow,lfupp : double_float ) return List;
        !            21:   function Random_Lift ( l : Array_of_Lists; lflow,lfupp : Vector )
        !            22:                        return Array_of_Lists;
        !            23:   -- DESCRIPTION :
        !            24:   --   Random lifting values between lflow and lfupp.
        !            25:
        !            26: -- LINEAR LIFTING FUNCTIONS :
        !            27:
        !            28:   function Linear_Lift ( x,v : Vector ) return Vector;
        !            29:   function Linear_Lift ( f : Face; v : Vector ) return Face;
        !            30:   function Linear_Lift ( l : List; v : Vector ) return List;
        !            31:   function Linear_Lift ( f : Faces; v : Vector ) return Faces;
        !            32:
        !            33:   -- DESCRIPTION :
        !            34:   --   Returns a linearly lifted vector, list or faces.
        !            35:
        !            36: -- RANDOM FLOATING-POINT LINEAR LIFTING FUNCTIONS :
        !            37:
        !            38:   function Random ( n : natural; lflow,lfupp : double_float ) return Vector;
        !            39:
        !            40:   -- DESCRIPTION :
        !            41:   --   Returns a vector of range 1..n with randomly generated numbers,
        !            42:   --   in [lflow,lfupp].  Random linear lifting functions are provided
        !            43:   --   by using this randomly generated vector.
        !            44:
        !            45: -- POLYNOMIAL LIFTING FUNCTIONS :
        !            46:
        !            47:   function Polynomial_Lift ( lf : Poly; x : Vector ) return Vector;
        !            48:   function Polynomial_Lift ( lf : Eval_Poly; x : Vector ) return Vector;
        !            49:   function Polynomial_Lift ( lf : Poly; l : List ) return List;
        !            50:   function Polynomial_Lift ( lf : Eval_Poly; l : List ) return List;
        !            51:   function Polynomial_Lift ( lf : Poly_Sys; l : Array_of_Lists )
        !            52:                            return Array_of_Lists;
        !            53:   function Polynomial_Lift ( lf : Eval_Poly_Sys; l : Array_of_Lists )
        !            54:                            return Array_of_Lists;
        !            55:
        !            56: end Floating_Lifting_Functions;