Annotation of OpenXM_contrib/PHC/Ada/Math_Lib/Supports/face_enumerators_utilities.ads, Revision 1.1.1.1
1.1 maekawa 1: with Standard_Integer_Vectors; use Standard_Integer_Vectors;
2: with Standard_Integer_VecVecs; use Standard_Integer_VecVecs;
3:
4: package Face_Enumerators_Utilities is
5:
6: -- DESCRIPTION :
7: -- This package contains utilities for the face enumerators.
8:
9: function Is_Zero ( v : Vector ) return boolean;
10:
11: -- DESCRIPTION :
12: -- Returns true if the given vector equals the zero vector.
13:
14: function gcd ( v : Vector ) return integer;
15:
16: -- DESCRIPTION :
17: -- Returns the greatest common divisor gcd(v(v'first),..,v(v'last)).
18:
19: procedure Scale ( v : in out Vector );
20:
21: -- DESCRIPTION :
22: -- Divides each element in v by gcd(v), when gcd(v) /= 0 of course.
23:
24: function Is_In ( x : integer; v : Vector ) return boolean;
25:
26: -- DESCRIPTION :
27: -- Returns true if there exists an entry in v, say v(k),
28: -- such that v(k) = x.
29:
30: function In_Edge ( x,a,b : Vector ) return boolean;
31:
32: -- DESCRIPTION :
33: -- Returns true if the vector x lies between a and b.
34:
35: function In_Face ( k : in natural; face,x : Vector; pts : VecVec )
36: return boolean;
37:
38: -- DESCRIPTION :
39: -- Returns true if x lies in the given k-face, which contains entries
40: -- to its elements in pts.
41:
42: end Face_Enumerators_Utilities;
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>