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     ! 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;