Return to arrays_of_lists_utilities.ads CVS log

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

Annotation of OpenXM_contrib/PHC/Ada/Root_Counts/Implift/arrays_of_lists_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: with Arrays_of_Integer_Vector_Lists;     use Arrays_of_Integer_Vector_Lists;
        !             5:
        !             6: package Arrays_of_Lists_Utilities is
        !             7:
        !             8: -- DESCRIPTION :
        !             9: --   This package offers some utilities for working with
        !            10: --   arrays of lists of integer vectors.
        !            11:
        !            12:   function All_Equal ( al : Array_of_Lists ) return boolean;
        !            13:
        !            14:   -- DESCRIPTION :
        !            15:   --   returns true if all lists in al are the same.
        !            16:
        !            17:   function Interchange2 ( al : Array_of_Lists ) return Array_of_Lists;
        !            18:
        !            19:   -- DESCRIPTION :
        !            20:   --   Returns a permuted array such that if the original array contains
        !            21:   --   a list of length less than or equal to 2, the permuted array has
        !            22:   --   this list on its first position.
        !            23:
        !            24:   function Index2 ( al : Array_of_Lists ) return integer;
        !            25:
        !            26:   -- DESCRIPTION :
        !            27:   --   Returns the index of the list in the array which has a length less
        !            28:   --   than or equal to 2.  If no such list can be found, then al'first
        !            29:   --   will be returned.
        !            30:
        !            31:   procedure Mixture ( al : in Array_of_Lists; perm,mix : out Link_to_Vector );
        !            32:
        !            33:   -- DESCRIPTION :
        !            34:   --   Computes the mixture of the sets in al: mix(i) indicates how many
        !            35:   --   times the ith list, given by al(perm(i)), occurs in the array.
        !            36:   --   The list with minimal occurence stands in front.
        !            37:
        !            38:   function Permute ( perm : Vector; al : in Array_of_Lists )
        !            39:                    return Array_of_Lists;
        !            40:
        !            41:   -- DESCRIPTION :
        !            42:   --   The returned array is permuted according to the permutation vector.
        !            43:
        !            44:   function Different_Points ( al : Array_of_Lists ) return List;
        !            45:
        !            46:   -- DESCRIPTION :
        !            47:   --   Returns a list of all different points from the lists
        !            48:   --   of al, the first list will not be considered.
        !            49:
        !            50:   function Different_Points ( al : Array_of_Lists ) return Array_of_Lists;
        !            51:
        !            52:   -- DESCRIPTION :
        !            53:   --   Returns lists of all different points from the lists
        !            54:   --   of al, the first list will not be considered.
        !            55:
        !            56:   procedure Remove_Duplicates ( al : in out Array_of_Lists );
        !            57:
        !            58:   -- DESCRIPTION :
        !            59:   --   Except for the first list, all duplicates will be removed from
        !            60:   --   the lists in al.
        !            61:
        !            62:   procedure Shift ( al : in out Array_of_Lists; shiftvecs : in VecVec );
        !            63:   function  Shift ( al : Array_of_Lists; shiftvecs : VecVec )
        !            64:                   return Array_of_Lists;
        !            65:
        !            66:   -- DESCRIPTION :
        !            67:   --   All lists in al will be shifted along the degrees in shiftvecs.
        !            68:
        !            69:   -- REQUIRED :
        !            70:   --   The ranges of shiftvecs and al are the same.
        !            71:
        !            72:   procedure Projection ( al : in Array_of_Lists; v : in Vector;
        !            73:                          ind : integer; res : in out Array_of_Lists;
        !            74:                          degenerate : out boolean );
        !            75:   -- DESCRIPTION :
        !            76:   --   The first list in al will not be considered.
        !            77:   --   after termination:
        !            78:   --   1. degenerate = false:
        !            79:   --    res is an array of degrees lists where for all points x in
        !            80:   --    the list res(i) the following holds: < x , v > = pv, where
        !            81:   --    pv equals the support of the list res(i) in the direction v.
        !            82:   --    The ind-entry of each point in the lists has been deleted.
        !            83:   --    Duplicates have been removed from the lists.
        !            84:   --   2. degenerate = true:
        !            85:   --    if there exists an entry i for which Length_Of(res(i)) = 1.
        !            86:
        !            87:   -- REQUIRED : al'first = res'first and al'last = res'last + 1
        !            88:
        !            89: end Arrays_of_Lists_Utilities;