Return to face_cardinalities.ads CVS log

Up to [local] / OpenXM_contrib / PHC / Ada / Math_Lib / Supports

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;