Annotation of OpenXM_contrib/PHC/Ada/Root_Counts/Implift/lists_of_vectors_utilities.ads, Revision 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>