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

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;