with Standard_Integer_Vectors; use Standard_Integer_Vectors;
with Standard_Integer_VecVecs;
with Standard_Floating_VecVecs;
package Face_Cardinalities is
-- DESCRIPTION :
-- This package provides a naive facility for counting the number of
-- k-dimensional faces of a polytope.
-- NOTE :
-- The precision is very likely to be insufficient even to count
-- the number of faces.
function fvector ( pts : in Standard_Integer_VecVecs.VecVec ) return Vector;
function fvector ( pts : in Standard_Floating_VecVecs.VecVec ) return Vector;
-- DESCRIPTION :
-- Computes the f-vector of a polytope.
-- ON ENTRY :
-- pt a vector of integer points, the polytope is conv(pts).
-- ON RETURN :
-- f(-1..n) the f-vector of conv(pts):
-- f(-1) = 1, f(0) = #vertices, f(1) = #edges, .. ,
-- f(n-1) = #facets, f(n) = 1, if conv(pts) is n-dimensional.
end Face_Cardinalities;