Annotation of OpenXM_contrib/PHC/Ada/Math_Lib/Supports/face_cardinalities.ads, Revision 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>