Return to lists_of_vectors_utilities.ads CVS log | Up to [local] / OpenXM_contrib / PHC / Ada / Root_Counts / Implift |
File: [local] / OpenXM_contrib / PHC / Ada / Root_Counts / Implift / lists_of_vectors_utilities.ads (download)
Revision 1.1.1.1 (vendor branch), Sun Oct 29 17:45:28 2000 UTC (23 years, 10 months ago) by maekawa
Import the second public release of PHCpack. OKed by Jan Verschelde. |
with Standard_Integer_Vectors; use Standard_Integer_Vectors; with Standard_Integer_VecVecs; use Standard_Integer_VecVecs; with Lists_of_Integer_Vectors; use Lists_of_Integer_Vectors; package Lists_of_Vectors_Utilities is -- DESCRIPTION : -- This package offers some utilities for working with -- lists of integer vectors. procedure Compute_Normal ( v : in VecVec; n : out Link_to_Vector; deg : out natural ); function Compute_Normal ( v : VecVec ) return Link_to_Vector; -- DESCRIPTION : -- Returns the normal vector to the space generated by the -- points in v. If deg = 0, then more than one solution is possible. function Pointer_to_Last ( l : List ) return List; -- DESCRIPTION : -- Returns a pointer to the last element of the list. procedure Move_to_Front ( l : in out List; v : in Vector ); -- DESCRIPTION : -- Searches the vector v in the list l. When found, then this -- vector v is swapped with the first element of the list. function Difference ( l1,l2 : List ) return List; -- DESCRIPTION : -- Returns the list of points in l1 that do not belong to l2. function Different_Points ( l : List ) return List; -- DESCRIPTION : -- Returns a lists of all different points out of l. procedure Remove_Duplicates ( l : in out List ); -- DESCRIPTION : -- Removes duplicate points out of the list l. end Lists_of_Vectors_Utilities;