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     ! 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;