NAG Library Routine Document

Integer, Intent (In)	::	n, k1, k2, lda
Real (Kind=nag_wp), Intent (Inout)	::	s(*)
Complex (Kind=nag_wp), Intent (Inout)	::	a(lda,*)
Complex (Kind=nag_wp), Intent (Out)	::	c(k2)
Character (1), Intent (In)	::	side

C Header Interface

#include <nagmk26.h>

void	f06trf_ (const char side, const Integer n, const Integer k1, const Integer k2, Complex c[], double s[], Complex a[], const Integer *lda, const Charlen length_side)

3

Description

f06trf transforms an

n

n

complex upper Hessenberg matrix

H

to upper triangular form

R

by applying a unitary matrix

P

from the left or the right.

H

is assumed to have real nonzero subdiagonal elements

h_{k + 1, k}

, for

k = k_{1}, \dots, k_{2} - 1

, only;

R

has real diagonal elements.

P

is formed as a sequence of plane rotations in planes

k_{1}

k_{2}

side ='L'

, the rotations are applied from the left:

P H = R,

where

P = D P_{k_{2} - 1} \dots P_{k_{1} + 1} P_{k_{1}}

and

D = diag (1, \dots, 1, d_{k_{2}}, 1, \dots, 1)

with

|d_{k_{2}}| = 1

side ='R'

, the rotations are applied from the right:

H P^{H} = R,

where

P = D P_{k_{1}} P_{k_{1} + 1} \dots P_{k_{2} - 1}

and

D = diag (1, \dots, 1, d_{k_{1}}, 1, \dots, 1)

with

|d_{k_{1}}| = 1

In either case,

P_{k}

is a rotation in the

(k, k + 1)

plane, chosen to annihilate

h_{k + 1, k}

The

2

2

plane rotation part of

P_{k}

has the form

(\begin{array}{r} {\bar{c}}_{k} & s_{k} \\ - s_{k} & c_{k} \end{array})

with

s_{k}

real.

4

References

None.

5

Arguments

1: $side$ – Character(1)Input

On entry: specifies whether

H

is operated on from the left or the right.

$side ='L'$: $H$ is pre-multiplied from the left.
$side ='R'$: $H$ is post-multiplied from the right.

Constraint:

side ='L'

'R'

2: $n$ – IntegerInput

On entry:

n

, the order of the matrix

H

Constraint:

n \geq 0

3: $k1$ – IntegerInput

4: $k2$ – IntegerInput

On entry: the dimension of the array c as declared in the (sub)program from which f06trf is called. The values

k_{1}

and

k_{2}

k1 < 1

k2 \leq k1

k2 > n

, an immediate return is effected.

5: $c (k2)$ – Complex (Kind=nag_wp) arrayOutput

On exit:

c (k)

holds

c_{k}

, the cosine of the rotation

P_{k}

, for

k = k_{1}, \dots, k_{2} - 1

;

c (k_{2})

holds

d_{k_{2}}

, the

k_{2}

th diagonal element of

D

, if

side ='L'

, or

d_{k_{1}}

, the

k_{1}

th diagonal element of

D

, if

side ='R'

6: $s (*)$ – Real (Kind=nag_wp) arrayInput/Output

Note: the dimension of the array s must be at least

k2 - 1

On entry: the nonzero subdiagonal elements of

H

s (k)

must hold

h_{k + 1, k}

, for

k = k_{1}, \dots, k_{2} - 1

On exit:

s (k)

holds

s_{k}

, the sine of the rotation

P_{k}

, for

k = k_{1}, \dots, k_{2} - 1

7: $a (lda *)$ – Complex (Kind=nag_wp) arrayInput/Output

Note: the second dimension of the array a must be at least

n

On entry: the upper triangular part of the

n

n

upper Hessenberg matrix

H

On exit: the upper triangular matrix

R

. The imaginary parts of the diagonal elements are set to zero.

8: $lda$ – IntegerInput

On entry: the first dimension of the array a as declared in the (sub)program from which f06trf is called.

Constraint:

lda \geq \max (1, n)

6

Error Indicators and Warnings

None.

7

Accuracy

Not applicable.

8

Parallelism and Performance

f06trf makes calls to BLAS and/or LAPACK routines, which may be threaded within the vendor library used by this implementation. Consult the documentation for the vendor library for further information.

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.