NAG Library Routine Document
f08bpf
(ztpqrt)
1
Purpose
f08bpf (ztpqrt) computes the factorization of a complex by triangular-pentagonal matrix.
2
Specification
Fortran Interface
Subroutine f08bpf ( |
m,
n,
l,
nb,
a,
lda,
b,
ldb,
t,
ldt,
work,
info) |
Integer, Intent (In) | :: |
m,
n,
l,
nb,
lda,
ldb,
ldt | Integer, Intent (Out) | :: |
info | Complex (Kind=nag_wp), Intent (Inout) | :: |
a(lda,*),
b(ldb,*),
t(ldt,*),
work(*) |
|
C Header Interface
#include nagmk26.h
void |
f08bpf_ (
const Integer *m,
const Integer *n,
const Integer *l,
const Integer *nb,
Complex a[],
const Integer *lda,
Complex b[],
const Integer *ldb,
Complex t[],
const Integer *ldt,
Complex work[],
Integer *info) |
|
The routine may be called by its
LAPACK
name ztpqrt.
3
Description
f08bpf (ztpqrt) forms the
factorization of a complex
by
triangular-pentagonal matrix
,
where
is an upper triangular
by
matrix and
is an
by
pentagonal matrix consisting of an
by
rectangular matrix
on top of an
by
upper trapezoidal matrix
:
The upper trapezoidal matrix consists of the first rows of an by upper triangular matrix, where . If , is by rectangular; if and , is upper triangular.
A recursive, explicitly blocked,
factorization (see
f08apf (zgeqrt)) is performed on the matrix
. The upper triangular matrix
, details of the unitary matrix
, and further details (the block reflector factors) of
are returned.
Typically the matrix or contains the matrix from the factorization of a subproblem and f08bpf (ztpqrt) performs the update operation from the inclusion of matrix .
For example, consider the
factorization of an
by
matrix
with
:
,
, where
is
by
upper triangular and
is
by
rectangular (this can be performed by
f08apf (zgeqrt)). Given an initial least squares problem
where
and
are
by
matrices, we have
.
Now, adding an additional
rows to the original system gives the augmented least squares problem
where
is an
by
matrix formed by adding
rows on top of
and
is an
by
matrix formed by adding
rows on top of
.
f08bpf (ztpqrt) can then be used to perform the factorization of the pentagonal matrix ; the by matrix will be zero on input and contain on output.
In the case where is by , , is by upper triangular (forming ) on top of rows of zeros (forming first rows of ). Augmentation is then performed by adding rows to the bottom of with .
4
References
Elmroth E and Gustavson F (2000) Applying Recursion to Serial and Parallel Factorization Leads to Better Performance IBM Journal of Research and Development. (Volume 44) 4 605–624
Golub G H and Van Loan C F (2012) Matrix Computations (4th Edition) Johns Hopkins University Press, Baltimore
5
Arguments
- 1: – IntegerInput
-
On entry: , the number of rows of the matrix .
Constraint:
.
- 2: – IntegerInput
-
On entry: , the number of columns of the matrix and the order of the upper triangular matrix .
Constraint:
.
- 3: – IntegerInput
-
On entry: , the number of rows of the trapezoidal part of (i.e., ).
Constraint:
.
- 4: – IntegerInput
-
On entry: the explicitly chosen block-size to be used in the algorithm for computing the
factorization. See
Section 9 for details.
- 5: – Complex (Kind=nag_wp) arrayInput/Output
-
Note: the second dimension of the array
a
must be at least
.
On entry: the by upper triangular matrix .
On exit: the upper triangle is overwritten by the corresponding elements of the by upper triangular matrix .
- 6: – IntegerInput
-
On entry: the first dimension of the array
a as declared in the (sub)program from which
f08bpf (ztpqrt) is called.
Constraint:
.
- 7: – Complex (Kind=nag_wp) arrayInput/Output
-
Note: the second dimension of the array
b
must be at least
.
On entry: the by pentagonal matrix composed of an by rectangular matrix above an by upper trapezoidal matrix .
On exit: details of the unitary matrix .
- 8: – IntegerInput
-
On entry: the first dimension of the array
b as declared in the (sub)program from which
f08bpf (ztpqrt) is called.
Constraint:
.
- 9: – Complex (Kind=nag_wp) arrayOutput
-
Note: the second dimension of the array
t
must be at least
.
On exit: further details of the unitary matrix
. The number of blocks is
, where
and each block is of order
nb except for the last block, which is of order
. For each of the blocks, an upper triangular block reflector factor is computed:
. These are stored in the
by
matrix
as
.
- 10: – IntegerInput
-
On entry: the first dimension of the array
t as declared in the (sub)program from which
f08bpf (ztpqrt) is called.
Constraint:
.
- 11: – Complex (Kind=nag_wp) arrayWorkspace
-
Note: the dimension of the array
work
must be at least
.
- 12: – IntegerOutput
On exit:
unless the routine detects an error (see
Section 6).
6
Error Indicators and Warnings
If , argument had an illegal value. An explanatory message is output, and execution of the program is terminated.
7
Accuracy
The computed factorization is the exact factorization of a nearby matrix
, where
and
is the
machine precision.
8
Parallelism and Performance
f08bpf (ztpqrt) 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.
The total number of floating-point operations is approximately if or if .
The block size,
nb, used by
f08bpf (ztpqrt) is supplied explicitly through the interface. For moderate and large sizes of matrix, the block size can have a marked effect on the efficiency of the algorithm with the optimal value being dependent on problem size and platform. A value of
is likely to achieve good efficiency and it is unlikely that an optimal value would exceed
.
To apply
to an arbitrary complex rectangular matrix
,
f08bpf (ztpqrt) may be followed by a call to
f08bqf (ztpmqrt). For example,
Call ZTPMQRT('Left','Transpose',m,p,n,l,nb,b,ldb, &
t,ldt,c,ldc,c(n+1,1),ldc,work,info)
forms
, where
is
by
.
To form the unitary matrix
explicitly set
, initialize
to the identity matrix and make a call to
f08bqf (ztpmqrt) as above.
10
Example
This example finds the basic solutions for the linear least squares problems
where
and
are the columns of the matrix
,
A
factorization is performed on the first
rows of
using
f08apf (zgeqrt) after which the first
rows of
are updated by applying
using
f08aqf (zgemqrt). The remaining row is added by performing a
update using
f08bpf (ztpqrt);
is updated by applying the new
using
f08bqf (ztpmqrt); the solution is finally obtained by triangular solve using
from the updated
.
10.1
Program Text
Program Text (f08bpfe.f90)
10.2
Program Data
Program Data (f08bpfe.d)
10.3
Program Results
Program Results (f08bpfe.r)