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