![]() ![]() | ![]() |
File: [local] / OpenXM_contrib / PHC / Ada / Root_Counts / Stalift / floating_lifting_utilities.ads (download)
Revision 1.1.1.1 (vendor branch), Sun Oct 29 17:45:29 2000 UTC (23 years, 9 months ago) by maekawa
Import the second public release of PHCpack. OKed by Jan Verschelde. |
with Standard_Floating_Numbers; use Standard_Floating_Numbers; with Standard_Integer_Vectors; with Standard_Floating_Vectors; use Standard_Floating_Vectors; with Lists_of_Floating_Vectors; use Lists_of_Floating_Vectors; with Floating_Mixed_Subdivisions; use Floating_Mixed_Subdivisions; with Arrays_of_Floating_Vector_Lists; use Arrays_of_Floating_Vector_Lists; package Floating_Lifting_Utilities is -- DESCRIPTION : -- This package provides some utilities for dealing with lifting functions. function Adaptive_Lifting ( l : Array_of_Lists ) return Vector; -- DESCRIPTION : -- Returns upper bounds for a random lifting, depending on the lengths -- of the lists in l. procedure Search_Lifting ( l : in List; pt : in Vector; found : out boolean; lif : out double_float ); -- DESCRIPTION : -- Searches the lifting of the point in the lifted list l. -- If found, then lif equals the lifting, otherwise lif is meaningless. function Search_and_Lift ( l : List; pt : Vector ) return Vector; -- DESCRIPTION : -- Given a lifted list of points and a unlifted vector, the function -- either returns the corresponding lifted vector from the list, or -- the same point, when there is no lifted point in l whose projection -- equals the given point pt. function Occured_Lifting ( mixsub : Mixed_Subdivision; k : natural; pt : Vector ) return Vector; -- DESCRIPTION : -- Returns the point pt augmented with its lifting value when it -- occurs in the kth component of some cell in the subdivision. -- Otherwise the point itself is returned. function Occured_Lifting ( n : natural; mix : Standard_Integer_Vectors.Vector; points : Array_of_Lists; mixsub : Mixed_Subdivision ) return Array_of_Lists; -- DESCRIPTION : -- Returns the lifted points for those points that belong to the -- mixed cells in the subdivision. function Induced_Lifting ( mixsub : Mixed_Subdivision; k : natural; pt : Vector ) return Vector; function Induced_Lifting ( n : natural; mix : Standard_Integer_Vectors.Vector; points : Array_of_Lists; mixsub : Mixed_Subdivision ) return Array_of_Lists; -- DESCRIPTION : -- Given a mixed subdivision for a tuple of supports, -- then the lifted points will be returned as induced by the -- subdivision. When points do not occur in the mixed subdivision, -- they will be lifted conservatively. function Conservative_Lifting ( mic : Mixed_Cell; k : natural; point : Vector ) return double_float; function Conservative_Lifting ( mixsub : Mixed_Subdivision; k : natural; point : Vector ) return double_float; -- DESCRIPTION : -- Returns the value of the conservative lifting function of the point -- to be considered w.r.t. the kth polytope. -- REQUIRED : -- The given point must already be in the lifted space and its last -- coordinate must contain already a lower bound for the lifting value. end Floating_Lifting_Utilities;