Return to floating_lifting_utilities.ads CVS log

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

Annotation of OpenXM_contrib/PHC/Ada/Root_Counts/Stalift/floating_lifting_utilities.ads, Revision 1.1.1.1

1.1       maekawa     1: with Standard_Floating_Numbers;          use Standard_Floating_Numbers;
                      2: with Standard_Integer_Vectors;
                      3: with Standard_Floating_Vectors;          use Standard_Floating_Vectors;
                      4: with Lists_of_Floating_Vectors;          use Lists_of_Floating_Vectors;
                      5: with Floating_Mixed_Subdivisions;        use Floating_Mixed_Subdivisions;
                      6: with Arrays_of_Floating_Vector_Lists;    use Arrays_of_Floating_Vector_Lists;
                      7:
                      8: package Floating_Lifting_Utilities is
                      9:
                     10: -- DESCRIPTION :
                     11: --   This package provides some utilities for dealing with lifting functions.
                     12:
                     13:   function Adaptive_Lifting ( l : Array_of_Lists ) return Vector;
                     14:
                     15:   -- DESCRIPTION :
                     16:   --   Returns upper bounds for a random lifting, depending on the lengths
                     17:   --   of the lists in l.
                     18:
                     19:   procedure Search_Lifting ( l : in List; pt : in Vector;
                     20:                              found : out boolean; lif : out double_float );
                     21:
                     22:   -- DESCRIPTION :
                     23:   --   Searches the lifting of the point in the lifted list l.
                     24:   --   If found, then lif equals the lifting, otherwise lif is meaningless.
                     25:
                     26:   function Search_and_Lift ( l : List; pt : Vector ) return Vector;
                     27:
                     28:   -- DESCRIPTION :
                     29:   --   Given a lifted list of points and a unlifted vector, the function
                     30:   --   either returns the corresponding lifted vector from the list, or
                     31:   --   the same point, when there is no lifted point in l whose projection
                     32:   --   equals the given point pt.
                     33:
                     34:   function Occured_Lifting ( mixsub : Mixed_Subdivision; k : natural;
                     35:                              pt : Vector ) return Vector;
                     36:
                     37:   -- DESCRIPTION :
                     38:   --   Returns the point pt augmented with its lifting value when it
                     39:   --   occurs in the kth component of some cell in the subdivision.
                     40:   --   Otherwise the point itself is returned.
                     41:
                     42:   function Occured_Lifting
                     43:                ( n : natural; mix : Standard_Integer_Vectors.Vector;
                     44:                  points : Array_of_Lists; mixsub : Mixed_Subdivision )
                     45:                return Array_of_Lists;
                     46:
                     47:   -- DESCRIPTION :
                     48:   --   Returns the lifted points for those points that belong to the
                     49:   --   mixed cells in the subdivision.
                     50:
                     51:   function Induced_Lifting ( mixsub : Mixed_Subdivision; k : natural;
                     52:                              pt : Vector ) return Vector;
                     53:   function Induced_Lifting
                     54:                ( n : natural; mix : Standard_Integer_Vectors.Vector;
                     55:                  points : Array_of_Lists; mixsub : Mixed_Subdivision )
                     56:                return Array_of_Lists;
                     57:
                     58:   -- DESCRIPTION :
                     59:   --   Given a mixed subdivision for a tuple of supports,
                     60:   --   then the lifted points will be returned as induced by the
                     61:   --   subdivision.   When points do not occur in the mixed subdivision,
                     62:   --   they will be lifted conservatively.
                     63:
                     64:   function Conservative_Lifting
                     65:                ( mic : Mixed_Cell; k : natural; point : Vector )
                     66:                return double_float;
                     67:   function Conservative_Lifting
                     68:                ( mixsub : Mixed_Subdivision; k : natural; point : Vector )
                     69:                return double_float;
                     70:
                     71:   -- DESCRIPTION :
                     72:   --   Returns the value of the conservative lifting function of the point
                     73:   --   to be considered w.r.t. the kth polytope.
                     74:
                     75:   -- REQUIRED :
                     76:   --   The given point must already be in the lifted space and its last
                     77:   --   coordinate must contain already a lower bound for the lifting value.
                     78:
                     79: end Floating_Lifting_Utilities;