Return to lists_of_vectors_utilities.ads CVS log

Up to [local] / OpenXM_contrib / PHC / Ada / Root_Counts / Implift

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;