Annotation of OpenXM_contrib/PHC/Ada/Math_Lib/Supports/integer_support_functions.ads, Revision 1.1.1.1
1.1 maekawa 1: with Standard_Integer_Vectors; use Standard_Integer_Vectors;
2: with Lists_of_Integer_Vectors; use Lists_of_Integer_Vectors;
3:
4: package Integer_Support_Functions is
5:
6: -- DESCRIPTION :
7: -- This package provides support functions for polytopes spanned by
8: -- lists of integer vectors.
9:
10: function Maximal_Support ( l : List; v : Vector ) return integer;
11: function Minimal_Support ( l : List; v : Vector ) return integer;
12:
13: -- DESCRIPTION :
14: -- Returns respectively max <d,v> or min <d,v>, for all d in l.
15:
16: procedure Min_Max ( l : in List; k : in integer; min,max : in out integer );
17:
18: -- DESCRIPTION :
19: -- Computes the minimum and maximum of the k-th entry of all
20: -- points belonging to l.
21:
22: function Graded_Max ( l : List ) return Link_to_Vector;
23:
24: -- DESCRIPTION :
25: -- Returns the maximal element in the list w.r.t. the graded
26: -- lexicographical ordening.
27:
28: -- REQUIRED : List is not empty.
29:
30: function Face ( l : List; v : Vector; m : integer ) return List;
31:
32: -- DESCRIPTION :
33: -- Returns a list of vectors d for which <d,v> = m.
34: -- For m = Maximal_Support(l,v), we get the face w.r.t. the outer normal v;
35: -- for m = Minimal_Support(l,v), we get the face w.r.t. the inner normal v.
36:
37: function Inner_Face ( l : List; v : Vector ) return List;
38: function Outer_Face ( l : List; v : Vector ) return List;
39:
40: -- DESCRIPTION :
41: -- Returns the face of the list l, where v is inner or outer normal.
42:
43: end Integer_Support_Functions;
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>