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