Return to standard_integer_norms.ads CVS log

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

Annotation of OpenXM_contrib/PHC/Ada/Math_Lib/Matrices/standard_integer_norms.ads, Revision 1.1

1.1     ! maekawa     1: with Standard_Integer_Vectors;           use Standard_Integer_Vectors;
        !             2:
        !             3: package Standard_Integer_Norms is
        !             4:
        !             5: -- DESCRIPTION :
        !             6: --   This package defines the norm of an integer vector as the gcd of
        !             7: --   all its entries.  An integer vector is normalized if its elements
        !             8: --   are relative prime with respect to each other.
        !             9:
        !            10:   function gcd ( v : Vector ) return integer;
        !            11:
        !            12:   -- DESCRIPTION :
        !            13:   --   Returns the positive gcd(v(v'first),..,v(v'last)).
        !            14:
        !            15:   procedure Normalize ( v : in out Vector );
        !            16:
        !            17:   -- DESCRIPTION :
        !            18:   --   All elements in the vector are divided by gcd(v).
        !            19:
        !            20: end Standard_Integer_Norms;