Return to multprec_complex_norms_equals.ads CVS log

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

Annotation of OpenXM_contrib/PHC/Ada/Math_Lib/Matrices/multprec_complex_norms_equals.ads, Revision 1.1.1.1

1.1       maekawa     1: with Multprec_Floating_Numbers;          use Multprec_Floating_Numbers;
                      2: with Multprec_Complex_Numbers;           use Multprec_Complex_Numbers;
                      3: with Multprec_Complex_Vectors;           use Multprec_Complex_Vectors;
                      4:
                      5: package Multprec_Complex_Norms_Equals is
                      6:
                      7: -- DESCRIPTION :
                      8: --   Provides norms of vectors and decision routines for equalities,
                      9: --   for multi-precision complex numbers.
                     10:
                     11:   function Max_Norm ( v : Vector ) return Floating_Number;
                     12:
                     13:   -- DESCRIPTION :
                     14:   --   Returns the absolute value of the greatest element in v.
                     15:
                     16:   function Sum_Norm ( v : Vector ) return Floating_Number;
                     17:
                     18:   -- DESCRIPTION :
                     19:   --   Returns the sum of all absolute values of the elements in v.
                     20:
                     21:   function Equal ( x,y : Complex_Number; tol : Floating_Number ) return boolean;
                     22:
                     23:   -- DESCRIPTION :
                     24:   --   Returns true if abs(x-y) < tol, otherwise false is returned.
                     25:
                     26:   function Equal ( x,y : Vector; tol : Floating_Number ) return boolean;
                     27:
                     28:   -- DESCRIPTION :
                     29:   --   Returns true if Equal(x(i),y(i),tol), for i in x'range=y'range,
                     30:   --   otherwise false is returned.
                     31:
                     32:   -- REQUIRED : x'range = y'range.
                     33:
                     34: end Multprec_Complex_Norms_Equals;