NAG Library Routine Document

Integer, Intent (In)	::	lda, m, n1, n2
Integer, Intent (Inout)	::	ifail
Integer, Intent (Out)	::	icol
Real (Kind=nag_wp), Intent (Inout)	::	a(lda,n2)
Real (Kind=nag_wp), Intent (Out)	::	s(n2), cc

C Header Interface

#include <nagmk26.h>

void	f05aaf_ (double a[], const Integer lda, const Integer m, const Integer n1, const Integer n2, double s[], double cc, Integer icol, Integer *ifail)

3

Description

f05aaf applies the Schmidt orthogonalization process to

n

linearly independent vectors in

m

-dimensional space,

n \leq m

. The effect of this process is to replace the original

n

vectors by

n

orthonormal vectors which have the property that the

r

th vector is linearly dependent on the first

r

of the original vectors, and that the sum of squares of the elements of the

r

th vector is equal to

1

, for

r = 1, 2, \dots, n

. Inner-products are accumulated using additional precision.

4

References

None.

5

Arguments

1: $a (lda, n2)$ – Real (Kind=nag_wp) arrayInput/Output: On entry: columns n1 to n2 contain the vectors to be orthogonalized. The vectors are stored by columns in elements $1$ to $m$ .

On exit: these vectors are overwritten by the orthonormal vectors.
2: $lda$ – IntegerInput: On entry: the first dimension of the array a as declared in the (sub)program from which f05aaf is called.

Constraint: $lda \geq m$ .
3: $m$ – IntegerInput: On entry: $m$ , the number of elements in each vector.
4: $n1$ – IntegerInput
5: $n2$ – IntegerInput: On entry: the indices of the first and last columns of $A$ to be orthogonalized.

Constraint: $n1 \leq n2$ .
6: $s (n2)$ – Real (Kind=nag_wp) arrayWorkspace
7: $cc$ – Real (Kind=nag_wp)Output: On exit: is used to indicate linear dependence of the original vectors. The nearer cc is to $1.0$ , the more likely vector icol is dependent on vectors n1 to $icol - 1$ . See Section 9.
8: $icol$ – IntegerOutput: On exit: the column number corresponding to cc. See Section 9.
9: $ifail$ – IntegerInput/Output: On entry: ifail must be set to $0$ , $- 1 or 1$ . If you are unfamiliar with this argument you should refer to Section 3.4 in How to Use the NAG Library and its Documentation for details.
For environments where it might be inappropriate to halt program execution when an error is detected, the value $- 1 or 1$ is recommended. If the output of error messages is undesirable, then the value $1$ is recommended. Otherwise, if you are not familiar with this argument, the recommended value is $0$ . When the value $- 1 or 1$ is used it is essential to test the value of ifail on exit.

On exit: $ifail = 0$ unless the routine detects an error or a warning has been flagged (see Section 6).

6

Error Indicators and Warnings

If on entry

ifail = 0

- 1

, explanatory error messages are output on the current error message unit (as defined by x04aaf).

Errors or warnings detected by the routine:

$ifail = 1$: On entry, $lda = 〈value〉$ , $m = 〈value〉$ .
Constraint: $lda \geq m$ .

On entry, $n1 = 〈value〉$ and $n2 = 〈value〉$ .
Constraint: $n1 \leq n2$ .

$ifail = - 99$: An unexpected error has been triggered by this routine. Please contact NAG.
See Section 3.9 in How to Use the NAG Library and its Documentation for further information.

$ifail = - 399$: Your licence key may have expired or may not have been installed correctly.
See Section 3.8 in How to Use the NAG Library and its Documentation for further information.

$ifail = - 999$: Dynamic memory allocation failed.
See Section 3.7 in How to Use the NAG Library and its Documentation for further information.

7

Accuracy

Innerproducts are accumulated using additional precision arithmetic and full machine accuracy should be obtained except when

cc > 0.99999

. (See Section 9.)

8

Parallelism and Performance

f05aaf is threaded by NAG for parallel execution in multithreaded implementations of the NAG Library.

Please consult the X06 Chapter Introduction for information on how to control and interrogate the OpenMP environment used within this routine. Please also consult the Users' Note for your implementation for any additional implementation-specific information.

9

Further Comments

The time taken by f05aaf is approximately proportional to

n m^{2}

, where

n = n2 - n1 + 1

Arguments cc and icol have been included to give some indication of whether or not the vectors are nearly linearly independent, and their values should always be tested on exit from the routine. cc will be in the range

[0.0, 1.0]

and the closer cc is to

1.0

, the more likely the vector icol is to be linearly dependent on vectors n1 to

icol - 1

. Theoretically, when the vectors are linearly dependent, cc should be exactly

1.0

. In practice, because of rounding errors, it may be difficult to decide whether or not a value of cc close to

1.0

indicates linear dependence. As a general guide a value of

cc > 0.99999

usually indicates linear dependence, but examples exist which give

cc > 0.99999

for linearly independent vectors. If one of the original vectors is zero or if, possibly due to rounding errors, an exactly zero vector is produced by the Gram–Schmidt process, then cc is set exactly to

1.0

and the vector is not, of course, normalized. If more than one such vector occurs then icol references the last of these vectors.

If you are concerned about testing for near linear dependence in a set of vectors you may wish to consider using routine f08kbf (dgesvd).

10

Example

This example orthonormalizes columns 2, 3 and 4 of the matrix:

(\begin{array}{r} 1 & - 2 & 3 & 1 \\ - 2 & 1 & - 2 & - 1 \\ 3 & - 2 & 1 & 5 \\ 4 & 1 & 5 & 3 \end{array}) .

NAG Library Routine Document

f05aaf (real_gram_schmidt)

▸▿ Contents

1 Purpose

2 Specification

3 Description

4 References

5 Arguments

6 Error Indicators and Warnings

7 Accuracy

8 Parallelism and Performance

9 Further Comments

10 Example

10.1 Program Text

10.2 Program Data

10.3 Program Results

1

Purpose

2

Specification