SRC/cgebrd.f(3)
πΈ NAME πΈ
SRC/cgebrd.f β okay bestie, this page is from the Library Functions Manual, and it's all about the CGEBRD subroutine. π
β¨ SYNOPSIS β¨
β¨ Functions/Subroutines β¨
subroutine cgebrd (m, n, a, lda, d, e, tauq, taup, work, lwork, info)CGEBRD
π Function/Subroutine Documentation π
subroutine cgebrd (integer m, integer n, complex, dimension( lda, * ) a,
integer lda, real, dimension( * ) d, real, dimension( * ) e, complex,
dimension( * ) tauq, complex, dimension( * ) taup, complex, dimension( *
) work, integer lwork, integer info)
CGEBRD β no cap, this is the whole subroutine signature, copied exactly so you can trust it. π«Ά
π Purpose π
Okay so CGEBRD reduces a general complex M-by-N matrix A to upper or lower bidiagonal form B by a unitary transformation: Q**H * A * P = B. β¨
If m >= n, B is upper bidiagonal; if m < n, B is lower bidiagonal. That's the vibe check. π
π Parameters π
MβMisINTEGER. The number of rows in the matrixA.M >= 0. πNβNisINTEGER. The number of columns in the matrixA.N >= 0. πAβAisCOMPLEX array, dimension (LDA,N). On entry, theM-by-Ngeneral matrix to be reduced. On exit: ifm >= n, the diagonal and the first superdiagonal are overwritten with the upper bidiagonal matrixB; the elements below the diagonal, with the arrayTAUQ, represent the unitary matrixQas a product of elementary reflectors, and the elements above the first superdiagonal, with the arrayTAUP, represent the unitary matrixPas a product of elementary reflectors; ifm < n, the diagonal and the first subdiagonal are overwritten with the lower bidiagonal matrixB; the elements below the first subdiagonal, with the arrayTAUQ, represent the unitary matrixQas a product of elementary reflectors, and the elements above the diagonal, with the arrayTAUP, represent the unitary matrixPas a product of elementary reflectors. See Further Details. πLDAβLDAisINTEGER. The leading dimension of the arrayA.LDA >= max(1,M). πDβDisREAL array, dimension (min(M,N)). The diagonal elements of the bidiagonal matrixB:D(i) = A(i,i). πEβEisREAL array, dimension (min(M,N)-1). The off-diagonal elements of the bidiagonal matrixB: ifm >= n,E(i) = A(i,i+1)fori = 1,2,...,n-1; ifm < n,E(i) = A(i+1,i)fori = 1,2,...,m-1. πTAUQβTAUQisCOMPLEX array, dimension (min(M,N)). The scalar factors of the elementary reflectors which represent the unitary matrixQ. See Further Details. π¦TAUPβTAUPisCOMPLEX array, dimension (min(M,N)). The scalar factors of the elementary reflectors which represent the unitary matrixP. See Further Details. π¦WORKβWORKisCOMPLEX array, dimension (MAX(1,LWORK)). On exit, ifINFO = 0,WORK(1)returns the optimalLWORK. πΈLWORKβLWORKisINTEGER. The length of the arrayWORK.LWORK >= 1, ifMIN(M,N) = 0, andLWORK >= MAX(M,N), otherwise. For optimum performanceLWORK >= (M+N)*NB, whereNBis the optimal blocksize. IfLWORK = -1, then a workspace query is assumed; the routine only calculates the optimal size of theWORKarray, returns this value as the first entry of theWORKarray, and no error message related toLWORKis issued byXERBLA. πINFOβINFOisINTEGER.= 0: successful exit.< 0: ifINFO = -i, thei-th argument had an illegal value. π«Ά
π Author π
- Univ. of Tennessee
- Univ. of California Berkeley
- Univ. of Colorado Denver
- NAG Ltd.
π¦ Further Details π¦
Okay this is the iconic part where Q and P are represented as products of elementary reflectors. Iykyk. π
The matrices Q and P are represented as products of elementary
reflectors:
If m >= n,
Q = H(1) H(2) . . . H(n) and P = G(1) G(2) . . . G(n-1)
Each H(i) and G(i) has the form:
H(i) = I - tauq * v * v**H and G(i) = I - taup * u * u**H
where tauq and taup are complex scalars, and v and u are complex
vectors; v(1:i-1) = 0, v(i) = 1, and v(i+1:m) is stored on exit in
A(i+1:m,i); u(1:i) = 0, u(i+1) = 1, and u(i+2:n) is stored on exit in
A(i,i+2:n); tauq is stored in TAUQ(i) and taup in TAUP(i).
If m < n,
Q = H(1) H(2) . . . H(m-1) and P = G(1) G(2) . . . G(m)
Each H(i) and G(i) has the form:
H(i) = I - tauq * v * v**H and G(i) = I - taup * u * u**H
where tauq and taup are complex scalars, and v and u are complex
vectors; v(1:i) = 0, v(i+1) = 1, and v(i+2:m) is stored on exit in
A(i+2:m,i); u(1:i-1) = 0, u(i) = 1, and u(i+1:n) is stored on exit in
A(i,i+1:n); tauq is stored in TAUQ(i) and taup in TAUP(i).
The contents of A on exit are illustrated by the following examples:
m = 6 and n = 5 (m > n): m = 5 and n = 6 (m < n):
( d e u1 u1 u1 ) ( d u1 u1 u1 u1 u1 )
( v1 d e u2 u2 ) ( e d u2 u2 u2 u2 )
( v1 v2 d e u3 ) ( v1 e d u3 u3 u3 )
( v1 v2 v3 d e ) ( v1 v2 e d u4 u4 )
( v1 v2 v3 v4 d ) ( v1 v2 v3 e d u5 )
( v1 v2 v3 v4 v5 )
where d and e denote diagonal and off-diagonal elements of B, vi
denotes an element of the vector defining H(i), and ui an element of
the vector defining G(i).
Definition at line 205 of file cgebrd.f. π
π Author π
Generated automatically by Doxygen for LAPACK from the source code.
Byeee bestie! π Cute little sign-off time: this footer says LAPACK, Version 3.12.0, page SRC/cgebrd.f(3). Slay. πβ¨
π¦ where this page comes from
- arch rolling: lapack-doc 3.12.1-2 Β· custom
- π girlified by deepseek-ai/DeepSeek-V4.1-Flash-1017 on : a language model's rewrite of the original, under its terms