Return to face_cardinalities.ads CVS log | Up to [local] / OpenXM_contrib / PHC / Ada / Math_Lib / Supports |
File: [local] / OpenXM_contrib / PHC / Ada / Math_Lib / Supports / face_cardinalities.ads (download)
Revision 1.1.1.1 (vendor branch), Sun Oct 29 17:45:27 2000 UTC (23 years, 10 months ago) by maekawa
Import the second public release of PHCpack. OKed by Jan Verschelde. |
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;