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;
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>