Return to floating_support_functions.ads CVS log

Up to [local] / OpenXM_contrib / PHC / Ada / Math_Lib / Supports

Annotation of OpenXM_contrib/PHC/Ada/Math_Lib/Supports/floating_support_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 Lists_of_Floating_Vectors;          use Lists_of_Floating_Vectors;
                      4:
                      5: package Floating_Support_Functions is
                      6:
                      7: -- DESCRIPTION :
                      8: --   This package provides support functions for polytopes spanned by
                      9: --   lists of floating-point vectors.
                     10:
                     11:   function Minimal_Support ( l : List; v : Vector ) return double_float;
                     12:   function Maximal_Support ( l : List; v : Vector ) return double_float;
                     13:
                     14:   -- DESCRIPTION :
                     15:   --   Returns respectively min <d,v> or max <d,v>, for all d in l.
                     16:
                     17:   function Face ( l : List; v : Vector; m,tol : double_float ) return List;
                     18:
                     19:   -- DESCRIPTION :
                     20:   --   Returns a list of vectors d for which abs(<d,v> - m) < tol,
                     21:   --   with tol the tolerance on precision.
                     22:
                     23: end Floating_Support_Functions;