Return to enumerate_faces_of_polytope.ads CVS log

Up to [local] / OpenXM_contrib / PHC / Ada / Root_Counts / Dynlift

Annotation of OpenXM_contrib/PHC/Ada/Root_Counts/Dynlift/enumerate_faces_of_polytope.ads, Revision 1.1.1.1

1.1       maekawa     1: with Standard_Integer_Vectors;           use Standard_Integer_Vectors;
                      2: with Standard_Integer_VecVecs;           use Standard_Integer_VecVecs;
                      3: with Lists_of_Integer_Vectors;           use Lists_of_Integer_Vectors;
                      4: with Simplices,Triangulations;           use Simplices,Triangulations;
                      5:
                      6: package Enumerate_Faces_of_Polytope is
                      7:
                      8: -- DESCRIPTION :
                      9: --   The routines in this package enable the enumeration of all k-faces
                     10: --   of the lower hull of a polytope, based on a regular triangulation.
                     11:
                     12:   generic
                     13:     with procedure Process ( face : in VecVec );
                     14:   procedure Enumerate_Faces_in_List
                     15:                 ( l : in List; point : in Link_to_Vector; k : in natural );
                     16:   generic
                     17:     with procedure Process ( face : in VecVec );
                     18:   procedure Enumerate_Lower_Faces_in_List
                     19:                 ( l : in List; point : in Link_to_Vector; k : in natural );
                     20:
                     21:   -- DESCRIPTION :
                     22:   --   Enumerates all k-dimensional faces spanned by the list and
                     23:   --   the given point.  The _Lower_ indicates that only the faces of the
                     24:   --   lower hull are enumerated.
                     25:
                     26:   -- ON ENTRY :
                     27:   --   l          a list of points;
                     28:   --   point      vector not in the list l;
                     29:   --   k          dimension of the faces.
                     30:
                     31:   -- ON RETURN :
                     32:   --   face       a (k+1)-dimensional vector: face(0..k), face(0) = point.
                     33:
                     34:   generic
                     35:     with procedure Process ( face : in VecVec );
                     36:   procedure Enumerate_Faces_in_Simplex
                     37:                 ( s : in Simplex; point : in Link_to_Vector; k : in natural );
                     38:   generic
                     39:     with procedure Process ( face : in VecVec );
                     40:   procedure Enumerate_Lower_Faces_in_Simplex
                     41:                 ( s : in Simplex; point : in Link_to_Vector; k : in natural );
                     42:
                     43:   -- DESCRIPTION :
                     44:   --   Enumerates all k-dimensional faces in the simplex s that contain
                     45:   --   the given point.  The _Lower_ indicates that only the faces of the
                     46:   --   lower hull are enumerated.
                     47:
                     48:   -- ON ENTRY :
                     49:   --   s          a simplex;
                     50:   --   point      vector in the simplex;
                     51:   --   k          dimension of the faces.
                     52:
                     53:   -- ON RETURN :
                     54:   --   face       a (k+1)-dimensional vector: face(0..k), face(0) = point.
                     55:
                     56:   generic
                     57:     with procedure Process ( face : in VecVec );
                     58:   procedure Enumerate_Faces_in_Triangulation
                     59:                 ( t : in Triangulation; point : in Link_to_Vector;
                     60:                   k : in natural );
                     61:   generic
                     62:     with procedure Process ( face : in VecVec );
                     63:   procedure Enumerate_Lower_Faces_in_Triangulation
                     64:                 ( t : in Triangulation; point : in Link_to_Vector;
                     65:                   k : in natural );
                     66:
                     67:   -- DESCRIPTION :
                     68:   --   Enumerates all k-dimensional faces in the simplices of the triangulation
                     69:   --   that contain the given point.  The _Lower_ indicates that only the faces
                     70:   --   of the lower hull are enumerated.
                     71:
                     72:   -- ON ENTRY :
                     73:   --   t          a regular triangulation;
                     74:   --   point      vector in each simplex of t;
                     75:   --   k          dimension of the faces.
                     76:
                     77:   -- ON RETURN :
                     78:   --   face       a (k+1)-dimensional vector: face(0..k), face(0) = point.
                     79:
                     80: end Enumerate_Faces_of_Polytope;