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;
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>