with Standard_Integer_Vectors; use Standard_Integer_Vectors;
package Standard_Integer_Norms is
-- DESCRIPTION :
-- This package defines the norm of an integer vector as the gcd of
-- all its entries. An integer vector is normalized if its elements
-- are relative prime with respect to each other.
function gcd ( v : Vector ) return integer;
-- DESCRIPTION :
-- Returns the positive gcd(v(v'first),..,v(v'last)).
procedure Normalize ( v : in out Vector );
-- DESCRIPTION :
-- All elements in the vector are divided by gcd(v).
end Standard_Integer_Norms;