SRC/dlaqr3.f(3)

πŸ’… SRC/dlaqr3.f

okay so this is a page from the LAPACK manual (that's the Library Functions Manual, bestie), and today's main character is SRC/dlaqr3.f. buckle up πŸŽ€


✨ SYNOPSIS ✨

🫢 Functions/Subroutines

subroutine dlaqr3 (wantt, wantz, n, ktop, kbot, nw, h, ldh, iloz, ihiz,
    z, ldz, ns, nd, sr, si, v, ldv, nh, t, ldt, nv, wv, ldwv, work,
    lwork)

DLAQR3 performs the orthogonal similarity transformation of a Hessenberg matrix to detect and deflate fully converged eigenvalues from a trailing principal submatrix (aggressive early deflation).

like… it literally says what it does in the name-adjacent description. iconic.


🌸 Function/Subroutine Documentation 🌸

⭐ subroutine dlaqr3

here's the full glow-up of the signature, every single argument, no cap:

subroutine dlaqr3 (logical wantt, logical wantz, integer n, integer ktop,
    integer kbot, integer nw, double precision, dimension( ldh, * ) h,
    integer ldh, integer iloz, integer ihiz, double precision, dimension(
    ldz, * ) z, integer ldz, integer ns, integer nd, double precision,
    dimension( * ) sr, double precision, dimension( * ) si, double
    precision, dimension( ldv, * ) v, integer ldv, integer nh, double
    precision, dimension( ldt, * ) t, integer ldt, integer nv, double
    precision, dimension( ldwv, * ) wv, integer ldwv, double precision,
    dimension( * ) work, integer lwork)

DLAQR3 performs the orthogonal similarity transformation of a Hessenberg matrix to detect and deflate fully converged eigenvalues from a trailing principal submatrix (aggressive early deflation).

πŸ¦‹ Purpose:

!>
!>    Aggressive early deflation:
!>
!>    DLAQR3 accepts as input an upper Hessenberg matrix
!>    H and performs an orthogonal similarity transformation
!>    designed to detect and deflate fully converged eigenvalues from
!>    a trailing principal submatrix.  On output H has been over-
!>    written by a new Hessenberg matrix that is a perturbation of
!>    an orthogonal similarity transformation of H.  It is to be
!>    hoped that the final version of H has many zero subdiagonal
!>    entries.
!>

so the tea β˜•: DLAQR3 takes an upper Hessenberg matrix H, does an orthogonal similarity transformation on it, and its whole mission is to spot fully converged eigenvalues hanging out in a trailing principal submatrix and deflate them. on the way out, H has been overwritten by a new Hessenberg matrix that's a perturbation of an orthogonal similarity transformation of H β€” and the hope (very much a hope, not a promise, bestie) is that the final H has lots of zero subdiagonal entries. fingers crossed fr fr 🀞


πŸ’œ Parameters

  • WANTT β€” WANTT is LOGICAL. if .TRUE., then the Hessenberg matrix H is fully updated so that the quasi-triangular Schur factor may be computed (in cooperation with the calling subroutine). if .FALSE., then only enough of H is updated to preserve the eigenvalues.
  • WANTZ β€” WANTZ is LOGICAL. if .TRUE., then the orthogonal matrix Z is updated so so that the orthogonal Schur factor may be computed (in cooperation with the calling subroutine). if .FALSE., then Z is not referenced. (yes, the "so so" is in the original, we stan a typo queen πŸ’…)
  • N β€” N is INTEGER. the order of the matrix H and (if WANTZ is .TRUE.) the order of the orthogonal matrix Z.
  • KTOP β€” KTOP is INTEGER. it is assumed that either KTOP = 1 or H(KTOP,KTOP-1)=0. KBOT and KTOP together determine an isolated block along the diagonal of the Hessenberg matrix.
  • KBOT β€” KBOT is INTEGER. it is assumed without a check that either KBOT = N or H(KBOT+1,KBOT)=0. KBOT and KTOP together determine an isolated block along the diagonal of the Hessenberg matrix.
  • NW β€” NW is INTEGER. deflation window size. 1 <= NW <= (KBOT-KTOP+1).
  • H β€” H is DOUBLE PRECISION array, dimension (LDH,N). on input the initial N-by-N section of H stores the Hessenberg matrix undergoing aggressive early deflation. on output H has been transformed by an orthogonal similarity transformation, perturbed, and the returned to Hessenberg form that (it is to be hoped) has some zero subdiagonal entries.
  • LDH β€” LDH is INTEGER. leading dimension of H just as declared in the calling subroutine. N <= LDH.
  • ILOZ β€” ILOZ is INTEGER.
  • IHIZ β€” IHIZ is INTEGER. specify the rows of Z to which transformations must be applied if WANTZ is .TRUE.. 1 <= ILOZ <= IHIZ <= N.
  • Z β€” Z is DOUBLE PRECISION array, dimension (LDZ,N). if WANTZ is .TRUE., then on output, the orthogonal similarity transformation mentioned above has been accumulated into Z(ILOZ:IHIZ,ILOZ:IHIZ) from the right. if WANTZ is .FALSE., then Z is unreferenced.
  • LDZ β€” LDZ is INTEGER. the leading dimension of Z just as declared in the calling subroutine. 1 <= LDZ.
  • NS β€” NS is INTEGER. the number of unconverged (ie approximate) eigenvalues returned in SR and SI that may be used as shifts by the calling subroutine.
  • ND β€” ND is INTEGER. the number of converged eigenvalues uncovered by this subroutine.
  • SR β€” SR is DOUBLE PRECISION array, dimension (KBOT).
  • SI β€” SI is DOUBLE PRECISION array, dimension (KBOT). on output, the real and imaginary parts of approximate eigenvalues that may be used for shifts are stored in SR(KBOT-ND-NS+1) through SR(KBOT-ND) and SI(KBOT-ND-NS+1) through SI(KBOT), respectively. the real and imaginary parts of converged eigenvalues are stored in SR(KBOT-ND+1) through SR(KBOT) and SI(KBOT-ND+1) through SI(KBOT), respectively.
  • V β€” V is DOUBLE PRECISION array, dimension (LDV,NW). an NW-by-NW work array.
  • LDV β€” LDV is INTEGER. the leading dimension of V just as declared in the calling subroutine. NW <= LDV.
  • NH β€” NH is INTEGER. the number of columns of T. NH >= NW.
  • T β€” T is DOUBLE PRECISION array, dimension (LDT,NW).
  • LDT β€” LDT is INTEGER. the leading dimension of T just as declared in the calling subroutine. NW <= LDT.
  • NV β€” NV is INTEGER. the number of rows of work array WV available for workspace. NV >= NW.
  • WV β€” WV is DOUBLE PRECISION array, dimension (LDWV,NW).
  • LDWV β€” LDWV is INTEGER. the leading dimension of W just as declared in the calling subroutine. NW <= LDV. (that's what it says, don't come for me πŸ™ˆ)
  • WORK β€” WORK is DOUBLE PRECISION array, dimension (LWORK). on exit, WORK(1) is set to an estimate of the optimal value of LWORK for the given values of N, NW, KTOP and KBOT.
  • LWORK β€” LWORK is INTEGER. the dimension of the work array WORK. LWORK = 2*NW suffices, but greater efficiency may result from larger values of LWORK.
🚨 okay important one, bestie: if LWORK = -1, then a workspace query is assumed; DLAQR3 only estimates the optimal workspace size for the given values of N, NW, KTOP and KBOT. the estimate is returned in WORK(1). no error message related to LWORK is issued by XERBLA. neither H nor Z are accessed. so like… it literally doesn't touch your matrices. zero contact. πŸ’€

πŸ‘‘ Author

  • Univ. of Tennessee
  • Univ. of California Berkeley
  • Univ. of Colorado Denver
  • NAG Ltd.

🧚 Contributors:

Karen Braman and Ralph Byers, Department of Mathematics, University of Kansas, USA

Definition at line 272 of file dlaqr3.f.


🌈 Author

Generated automatically by Doxygen for LAPACK from the source code.


and that's the whole page, periodt πŸŽ€ this absolute icon of a doc came from LAPACK Version 3.12.0, filed under SRC/dlaqr3.f(3) β€” go forth and deflate aggressively (early), bestie πŸ’–βœ¨

πŸ“¦ where this page comes from