Return to integer_vectors_utilities.ads CVS log | Up to [local] / OpenXM_contrib / PHC / Ada / Root_Counts / Implift |
File: [local] / OpenXM_contrib / PHC / Ada / Root_Counts / Implift / integer_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 Transformations; use Transformations; package Integer_Vectors_Utilities is -- DESCRIPTION : -- This package offers utilities for transforming integer vectors. function Pivot ( v : Vector ) return integer; function Pivot ( v : Link_to_Vector ) return integer; -- DESCRIPTION : -- Returns the first nonzero entry out of v. -- If all entries of v are zero, then v'last+1 is returned. function Reduce ( v : Vector; i : integer ) return Vector; procedure Reduce ( v : in out Link_to_Vector; i : in integer ); function Reduce ( v : Link_to_Vector; i : integer ) return Link_to_Vector; -- DESCRIPTION : -- The i-th component will be deleted out of the vector. function Insert ( v : Vector; i,a : integer ) return Vector; procedure Insert ( v : in out Link_to_Vector; i,a : in integer ); function Insert ( v : Link_to_Vector; i,a : integer ) return Link_to_Vector; -- DESCRIPTION : -- The i-th component will be inserted, using the value a. function Insert_and_Transform ( v : Vector; i,a : integer; t : Transfo ) return Vector; procedure Insert_and_Transform ( v : in out Link_to_Vector; i,a : in integer; t : in Transfo ); function Insert_and_Transform ( v : Link_to_Vector; i,a : integer; t : Transfo ) return Link_to_Vector; -- DESCRIPTION : -- Inserts the i-th component in the vector v, -- using the value a, and transforms the vector, applying t. end Integer_Vectors_Utilities;