Annotation of OpenXM_contrib/PHC/Ada/Root_Counts/Implift/lists_of_vectors_utilities.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:
5: package Lists_of_Vectors_Utilities is
6:
7: -- DESCRIPTION :
8: -- This package offers some utilities for working with
9: -- lists of integer vectors.
10:
11: procedure Compute_Normal ( v : in VecVec; n : out Link_to_Vector;
12: deg : out natural );
13: function Compute_Normal ( v : VecVec ) return Link_to_Vector;
14: -- DESCRIPTION :
15: -- Returns the normal vector to the space generated by the
16: -- points in v. If deg = 0, then more than one solution is possible.
17:
18: function Pointer_to_Last ( l : List ) return List;
19:
20: -- DESCRIPTION :
21: -- Returns a pointer to the last element of the list.
22:
23: procedure Move_to_Front ( l : in out List; v : in Vector );
24:
25: -- DESCRIPTION :
26: -- Searches the vector v in the list l. When found, then this
27: -- vector v is swapped with the first element of the list.
28:
29: function Difference ( l1,l2 : List ) return List;
30:
31: -- DESCRIPTION :
32: -- Returns the list of points in l1 that do not belong to l2.
33:
34: function Different_Points ( l : List ) return List;
35:
36: -- DESCRIPTION :
37: -- Returns a lists of all different points out of l.
38:
39: procedure Remove_Duplicates ( l : in out List );
40:
41: -- DESCRIPTION :
42: -- Removes duplicate points out of the list l.
43:
44: end Lists_of_Vectors_Utilities;
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>