Return to integer_support_functions.ads CVS log

Up to [local] / OpenXM_contrib / PHC / Ada / Math_Lib / Supports

Annotation of OpenXM_contrib/PHC/Ada/Math_Lib/Supports/integer_support_functions.ads, Revision 1.1

1.1     ! maekawa     1: with Standard_Integer_Vectors;           use Standard_Integer_Vectors;
        !             2: with Lists_of_Integer_Vectors;           use Lists_of_Integer_Vectors;
        !             3:
        !             4: package Integer_Support_Functions is
        !             5:
        !             6: -- DESCRIPTION :
        !             7: --   This package provides support functions for polytopes spanned by
        !             8: --   lists of integer vectors.
        !             9:
        !            10:   function Maximal_Support ( l : List; v : Vector ) return integer;
        !            11:   function Minimal_Support ( l : List; v : Vector ) return integer;
        !            12:
        !            13:   -- DESCRIPTION :
        !            14:   --   Returns respectively max <d,v> or min <d,v>, for all d in l.
        !            15:
        !            16:   procedure Min_Max ( l : in List; k : in integer; min,max : in out integer );
        !            17:
        !            18:   -- DESCRIPTION :
        !            19:   --   Computes the minimum and maximum of the k-th entry of all
        !            20:   --   points belonging to l.
        !            21:
        !            22:   function Graded_Max ( l : List ) return Link_to_Vector;
        !            23:
        !            24:   -- DESCRIPTION :
        !            25:   --   Returns the maximal element in the list w.r.t. the graded
        !            26:   --   lexicographical ordening.
        !            27:
        !            28:   -- REQUIRED : List is not empty.
        !            29:
        !            30:   function Face ( l : List; v : Vector; m : integer ) return List;
        !            31:
        !            32:   -- DESCRIPTION :
        !            33:   --   Returns a list of vectors d for which <d,v> = m.
        !            34:   --   For m = Maximal_Support(l,v), we get the face w.r.t. the outer normal v;
        !            35:   --   for m = Minimal_Support(l,v), we get the face w.r.t. the inner normal v.
        !            36:
        !            37:   function Inner_Face ( l : List; v : Vector ) return List;
        !            38:   function Outer_Face ( l : List; v : Vector ) return List;
        !            39:
        !            40:   -- DESCRIPTION :
        !            41:   --   Returns the face of the list l, where v is inner or outer normal.
        !            42:
        !            43: end Integer_Support_Functions;