--- ais/ai-00296.txt 2005/01/07 03:07:37 1.18 +++ ais/ai-00296.txt 2005/01/28 02:10:45 1.19 @@ -1465,7 +1465,7 @@ Order : Positive; First : Integer := 1) @b<return> Real_Vector;> -@xindent<This function returns a "unit vector" with Order components and a lower bound +@xindent<This function returns a @i<unit vector> with Order components and a lower bound of First. All components are set to 0.0 except for the Index component which is set to 1.0. Constraint_Error is raised if Index < First, Index @> First + Order - 1 or if First + Order - 1 @> Integer'Last.> @@ -1589,7 +1589,7 @@ @xcode<@b<function> Unit_Matrix (Order : Positive; First_1, First_2 : Integer := 1) @b<return> Real_Matrix;> -@xindent<This function returns a square "unit matrix" with Order**2 components and +@xindent<This function returns a square @i<unit matrix> with Order**2 components and lower bounds of First_1 and First_2 (for the first and second index ranges respectively). All components are set to 0.0 except for the main diagonal, whose components are set to 1.0. Constraint_Error is raised if @@ -1606,8 +1606,9 @@ For operations involving an inner product, no requirements are specified in the relaxed mode. In the strict mode the modulus of the absolute error of -the inner product X*Y shall not exceed g*abs(X)*abs(Y) where g is defined as -@xindent<g = X'Length * Real'Machine_Radix**(1-Real'Machine_Mantissa)> +the inner product @i<X>*@i<Y> shall not exceed @i<g>*@b<abs>(@i<X>)*abs(@i<Y>) +where @i<g> is defined as +@xindent<@i<g> = @i<X>'Length * Real'Machine_Radix**(1-Real'Machine_Mantissa)> @i<@s8<Documentation Requirements>> @@ -2015,7 +2016,7 @@ Order : Positive; First : Integer := 1) @b<return> Complex_Vector;> -@xindent<This function returns a "unit vector" with Order components and a lower +@xindent<This function returns a @i<unit vector> with Order components and a lower bound of First. All components are set to (0.0,0.0) except for the Index component which is set to (1.0,0.0). Constraint_Error is raised if Index < First, Index @> First + Order - 1, or @@ -2273,7 +2274,7 @@ First_1, First_2 : Integer := 1) @b<return> Complex_Matrix;> -@xindent<This function returns a square "unit matrix" with Order**2 components and +@xindent<This function returns a square @i<unit matrix> with Order**2 components and lower bounds of First_1 and First_2 (for the first and second index ranges respectively). All components are set to (0.0,0.0) except for the main diagonal, whose components are set to (1.0,0.0). Constraint_Error is raised @@ -2290,11 +2291,12 @@ For operations involving an inner product, no requirements are specified in the relaxed mode. In the strict mode the modulus of the absolute error of the -inner product X*Y shall not exceed g*abs(X)*abs(Y) where g is defined as -@xindent<g = X'Length * Real'Machine_Radix**(1-Real'Machine_Mantissa) for mixed +inner product @i<X>*@i<Y> shall not exceed @i<g>*@b<abs>(@i<X>)*abs(@i<Y>) +where @i<g> is defined as +@xindent<@i<g> = @i<X>'Length * Real'Machine_Radix**(1-Real'Machine_Mantissa) for mixed complex and real operands> -@xindent<g = sqrt(2.0) * X'Length * Real'Machine_Radix**(1-Real'Machine_Mantissa) +@xindent<@i<g> = sqrt(2.0) * @i<X>'Length * Real'Machine_Radix**(1-Real'Machine_Mantissa) for two complex operands> @i<@s8<Documentation Requirements>>

Questions? Ask the ACAA Technical Agent