Return to generic_norms_equals.ads CVS log

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

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

1.1       maekawa     1: with Abstract_Ring;
                      2: with Abstract_Ring.Field;
                      3: with Generic_Vectors;
                      4: with Generic_Matrices;
                      5:
                      6: generic
                      7:
                      8:   with package Ring is new Abstract_Ring(<>);
                      9:   with package Field is new Ring.Field(<>);
                     10:   with package Vectors is new Generic_Vectors(Ring);
                     11:   with package Matrices is new Generic_Matrices(Ring,Vectors);
                     12:
                     13: package Generic_Norms_Equals is
                     14:
                     15: -- DESCRIPTION :
                     16: --   Provides norms of vectors and decision routines for equalities.
                     17:
                     18:   use Ring,Field,Vectors,Matrices;
                     19:
                     20:   function Max_Norm ( v : Vector ) return number;
                     21:
                     22:   -- DESCRIPTION :
                     23:   --   Returns the absolute value of the greatest element in v.
                     24:
                     25:   function Sum_Norm ( v : Vector ) return number;
                     26:
                     27:   -- DESCRIPTION :
                     28:   --   Returns the sum of all absolute values of the elements in v.
                     29:
                     30:   function Max_Norm ( m : Matrix ) return number;
                     31:
                     32:   -- DESCRIPTION :
                     33:   --   Returns the maximal element in the matrix in absolute value.
                     34:
                     35:   function Equal ( x,y,tol : number ) return boolean;
                     36:
                     37:   -- DESCRIPTION :
                     38:   --   Returns true if abs(x-y) < tol, otherwise false is returned.
                     39:
                     40:   function Equal ( x,y : Vector; tol : number ) return boolean;
                     41:
                     42:   -- DESCRIPTION :
                     43:   --   Returns true if Equal(x(i),y(i),tol), for i in x'range=y'range,
                     44:   --   otherwise false is returned.
                     45:
                     46:   -- REQUIRED : x'range = y'range.
                     47:
                     48: end Generic_Norms_Equals;