Annotation of OpenXM_contrib/PHC/Ada/Math_Lib/Supports/face_cardinalities.ads, Revision 1.1.1.1
1.1 maekawa 1: with Standard_Integer_Vectors; use Standard_Integer_Vectors;
2: with Standard_Integer_VecVecs;
3: with Standard_Floating_VecVecs;
4:
5: package Face_Cardinalities is
6:
7: -- DESCRIPTION :
8: -- This package provides a naive facility for counting the number of
9: -- k-dimensional faces of a polytope.
10:
11: -- NOTE :
12: -- The precision is very likely to be insufficient even to count
13: -- the number of faces.
14:
15: function fvector ( pts : in Standard_Integer_VecVecs.VecVec ) return Vector;
16:
17: function fvector ( pts : in Standard_Floating_VecVecs.VecVec ) return Vector;
18:
19: -- DESCRIPTION :
20: -- Computes the f-vector of a polytope.
21:
22: -- ON ENTRY :
23: -- pt a vector of integer points, the polytope is conv(pts).
24:
25: -- ON RETURN :
26: -- f(-1..n) the f-vector of conv(pts):
27: -- f(-1) = 1, f(0) = #vertices, f(1) = #edges, .. ,
28: -- f(n-1) = #facets, f(n) = 1, if conv(pts) is n-dimensional.
29:
30: end Face_Cardinalities;
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>