SGEBD2(3)
Okay so this is SGEBD2(3), from the Library Functions Manual β yes, that manual β and sheβs here to reduce a general matrix to bidiagonal form using an unblocked algorithm. The source vibes are immaculate. π
πΈ NAME πΈ
Hereβs the file path this page is about, exactly as given:
/home/abuild/rpmbuild/BUILD/lapack-static-3.12.0-build/lapack-3.12.0/SRC/sgebd2.f
Periodt. No renaming, no shortcuts. π
β¨ SYNOPSIS β¨
Under Functions/Subroutines, we have this icon:
subroutine SGEBD2 (m, n, a, lda, d, e, tauq, taup, work, info)
SGEBD2 reduces a general matrix to bidiagonal form using an unblocked algorithm. Slay.
π Function/Subroutine Documentation π
Hereβs the full signature, bestie:
subroutine SGEBD2 (integer m, integer n, real, dimension( lda, * ) a,
integer lda, real, dimension( * ) d, real, dimension( * ) e, real,
dimension( * ) tauq, real, dimension( * ) taup, real, dimension( * )
work, integer info)
SGEBD2 reduces a general matrix to bidiagonal form using an unblocked algorithm.
π Purpose π
Okay, the glow-up: SGEBD2 reduces a real general m by n matrix A to upper or lower bidiagonal form B by an orthogonal transformation: Q**T * A * P = B.
If m >= n, B is upper bidiagonal; if m < n, B is lower bidiagonal.
π§ Parameters π§
MβM is INTEGER. The number of rows in the matrixA.M >= 0.NβN is INTEGER. The number of columns in the matrixA.N >= 0.AβA is REAL array, dimension (LDA,N). On entry, thembyngeneral matrix to be reduced. On exit:- if
m >= n, the diagonal and the first superdiagonal are overwritten with the upper bidiagonal matrixB; the elements below the diagonal, with the arrayTAUQ, represent the orthogonal matrixQas a product of elementary reflectors, and the elements above the first superdiagonal, with the arrayTAUP, represent the orthogonal matrixPas a product of elementary reflectors; - if
m < 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 orthogonal matrixQas a product of elementary reflectors, and the elements above the diagonal, with the arrayTAUP, represent the orthogonal matrixPas a product of elementary reflectors. See Further Details.
- if
LDAβLDA is INTEGER. The leading dimension of the arrayA.LDA >= max(1,M).DβD is REAL array, dimension (min(M,N)). The diagonal elements of the bidiagonal matrixB:D(i) = A(i,i).EβE is REAL 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βTAUQ is REAL array, dimension (min(M,N)). The scalar factors of the elementary reflectors which represent the orthogonal matrixQ. See Further Details.TAUPβTAUP is REAL array, dimension (min(M,N)). The scalar factors of the elementary reflectors which represent the orthogonal matrixP. See Further Details.WORKβWORK is REAL array, dimension (max(M,N)).INFOβINFO is INTEGER.= 0: successful exit.< 0: ifINFO = -i, thei-thargument had an illegal value.
π Author π
- Univ. of Tennessee
- Univ. of California Berkeley
- Univ. of Colorado Denver
- NAG Ltd.
π¦ Further Details π¦
The matrices Q and P are represented as products of elementary reflectors, and this is where it gets iconic:
π 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**T and G(i) = I - taup * u * u**T
where tauq and taup are real scalars, and v and u are real 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**T and G(i) = I - taup * u * u**T
where tauq and taup are real scalars, and v and u are real 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):
( d e u1 u1 u1 )
( v1 d e u2 u2 )
( v1 v2 d e u3 )
( v1 v2 v3 d e )
( v1 v2 v3 v4 d )
( v1 v2 v3 v4 v5 )
m = 5 and n = 6 (m < n):
( d u1 u1 u1 u1 u1 )
( e d u2 u2 u2 u2 )
( v1 e d u3 u3 u3 )
( v1 v2 e d u4 u4 )
( v1 v2 v3 e d u5 )
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 188 of file sgebd2.f.
β Author β
Generated automatically by Doxygen for LAPACK from the source code.
Thatβs the whole page, bestie β LAPACK Version 3.12.0, source page /home/abui...RC/sgebd2.f(3). Go forth and reduce something. πβ¨
π¦ where this page comes from
- opensuse-leap 16.0: lapack-man 3.12.0-160000.2.2 Β· BSD-3-Clause
- opensuse-leap 16.0: lapack-man 3.12.0-160000.2.2 Β· BSD-3-Clause
- opensuse-leap 16.0: lapack-man 3.12.0-160000.2.2 Β· BSD-3-Clause
- opensuse-leap 16.0: lapack-man 3.12.0-160000.2.2 Β· BSD-3-Clause
- π girlified by deepseek-ai/DeepSeek-V4.1-Flash-1017 on : a language model's rewrite of the original, under its terms