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     ! 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;