Return to floating_support_functions.ads CVS log

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

Import the second public release of PHCpack.

OKed by Jan Verschelde.

with Standard_Floating_Numbers;          use Standard_Floating_Numbers;
with Standard_Floating_Vectors;          use Standard_Floating_Vectors;
with Lists_of_Floating_Vectors;          use Lists_of_Floating_Vectors;

package Floating_Support_Functions is

-- DESCRIPTION :
--   This package provides support functions for polytopes spanned by
--   lists of floating-point vectors.

  function Minimal_Support ( l : List; v : Vector ) return double_float;
  function Maximal_Support ( l : List; v : Vector ) return double_float;

  -- DESCRIPTION : 
  --   Returns respectively min <d,v> or max <d,v>, for all d in l.

  function Face ( l : List; v : Vector; m,tol : double_float ) return List;

  -- DESCRIPTION :
  --   Returns a list of vectors d for which abs(<d,v> - m) < tol,
  --   with tol the tolerance on precision.

end Floating_Support_Functions;