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;
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>