Return to common_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/common_faces_of_polytope.ads, Revision 1.1.1.1

1.1       maekawa     1: with Lists_of_Integer_Vectors;           use Lists_of_Integer_Vectors;
                      2: with Integer_Faces_of_Polytope;          use Integer_Faces_of_Polytope;
                      3: with Integer_Mixed_Subdivisions;         use Integer_Mixed_Subdivisions;
                      4:
                      5: package Common_Faces_of_Polytope is
                      6:
                      7: -- DESCRIPTION :
                      8: --   This package provides functions to implement the neighborship
                      9: --   relations of cells in a mixed subdivision, w.r.t. their faces.
                     10:
                     11:   function Is_Neighbor ( l : List; fc : Face ) return boolean;
                     12:
                     13:   -- DESCRIPTION :
                     14:   --   Defines the neighborship relation: returns true
                     15:   --   if #intersection(list,fc.points) >= Length_Of(fc.points)-1.
                     16:
                     17:   function Neighboring_Faces
                     18:               ( mic : Mixed_Cell; fs : Faces; i : natural ) return Faces;
                     19:
                     20:   -- DESCRIPTION :
                     21:   --   Returns the neighboring faces of fs to the ith component
                     22:   --   of the mixed cell mic.
                     23:
                     24:   function Neighboring_Faces
                     25:               ( mic : Mixed_Cell; afs : Array_of_Faces ) return Array_of_Faces;
                     26:
                     27:   -- DESCRIPTION :
                     28:   --   Returns the neighboring faces of afs to the mixed cell mic.
                     29:
                     30: end Common_Faces_of_Polytope;