SRC/chetf2.f(3)

📦

version 3.12.1 · 4 versions

3.12.1 · arch rolling (latest)
3.12.0 · opensuse-leap 16.0
3.9.0 · centos-stream 9
3.12.0 · centos-stream 10, fedora 43, fedora 44

💖 SRC/chetf2.f 💖

okay so this page is from the Library Functions Manual and it's literally all about chetf2 — the unblocked, Level-2-BLAS-calling, diagonal-pivoting queen of complex Hermitian factorization. she's iconic, she's foundational, and yes she has a whole parameter list. let's get into it 🫶

✨ SYNOPSIS ✨

Functions/Subroutines

subroutine chetf2 (uplo, n, a, lda, ipiv, info) — CHETF2 computes the factorization of a complex Hermitian matrix, using the diagonal pivoting method (unblocked algorithm calling Level 2 BLAS).

🌸 Function/Subroutine Documentation 🌸

subroutine chetf2 (character uplo, integer n, complex, dimension( lda, * )
    a, integer lda, integer, dimension( * ) ipiv, integer info)

CHETF2 computes the factorization of a complex Hermitian matrix, using the diagonal pivoting method (unblocked algorithm calling Level 2 BLAS).

👑 Purpose:

no cap, here's the whole point of her:

!>
!> CHETF2 computes the factorization of a complex Hermitian matrix A
!> using the Bunch-Kaufman diagonal pivoting method:
!>
!>    A = U*D*U**H  or  A = L*D*L**H
!>
!> where U (or L) is a product of permutation and unit upper (lower)
!> triangular matrices, U**H is the conjugate transpose of U, and D is
!> Hermitian and block diagonal with 1-by-1 and 2-by-2 diagonal blocks.
!>
!> This is the unblocked version of the algorithm, calling Level 2 BLAS.
!>

so yeah — she factors A into U*D*U**H or L*D*L**H depending on what you ask for. U (or L) is a product of permutation matrices and unit upper (or lower) triangular matrices, U**H is the conjugate transpose of U, and D is Hermitian and block diagonal with 1-by-1 and 2-by-2 diagonal blocks. this is the unblocked version and she calls Level 2 BLAS — bestie is doing it the old-school way, one step at a time 💅

🎀 Parameters 🎀

UPLO

!>          UPLO is CHARACTER*1
!>          Specifies whether the upper or lower triangular part of the
!>          Hermitian matrix A is stored:
!>          = 'U':  Upper triangular
!>          = 'L':  Lower triangular
!>

CHARACTER*1, and it's the vibe selector: which triangle of the Hermitian matrix A are we actually storing?

'U' — upper triangular, bestie
'L' — lower triangular, periodt

N

!>          N is INTEGER
!>          The order of the matrix A.  N >= 0.
!>

INTEGER. the order of the matrix A. and N >= 0, no negative sizes allowed, iykyk.

A

!>          A is COMPLEX array, dimension (LDA,N)
!>          On entry, the Hermitian matrix A.  If UPLO = 'U', the leading
!>          n-by-n upper triangular part of A contains the upper
!>          triangular part of the matrix A, and the strictly lower
!>          triangular part of A is not referenced.  If UPLO = 'L', the
!>          leading n-by-n lower triangular part of A contains the lower
!>          triangular part of the matrix A, and the strictly upper
!>          triangular part of A is not referenced.
!>
!>          On exit, the block diagonal matrix D and the multipliers used
!>          to obtain the factor U or L (see below for further details).
!>

COMPLEX array, dimension (LDA,N). 💖

on entry: she's the Hermitian matrix A. if UPLO = 'U', the leading n-by-n upper triangular part of A holds the upper triangular part of the matrix A, and the strictly lower triangular part of A is not referenced (don't even look at her). if UPLO = 'L', the leading n-by-n lower triangular part of A holds the lower triangular part of the matrix A, and the strictly upper triangular part of A is not referenced.

on exit: the block diagonal matrix D and the multipliers used to obtain the factor U or L — see below for the further details, there's a whole diagram moment.

LDA

!>          LDA is INTEGER
!>          The leading dimension of the array A.  LDA >= max(1,N).
!>

INTEGER. the leading dimension of the array A, and LDA >= max(1,N). non-negotiable ⭐

IPIV

!>          IPIV is INTEGER array, dimension (N)
!>          Details of the interchanges and the block structure of D.
!>
!>          If UPLO = 'U':
!>             If IPIV(k) > 0, then rows and columns k and IPIV(k) were
!>             interchanged and D(k,k) is a 1-by-1 diagonal block.
!>
!>             If IPIV(k) = IPIV(k-1) < 0, then rows and columns
!>             k-1 and -IPIV(k) were interchanged and D(k-1:k,k-1:k)
!>             is a 2-by-2 diagonal block.
!>
!>          If UPLO = 'L':
!>             If IPIV(k) > 0, then rows and columns k and IPIV(k) were
!>             interchanged and D(k,k) is a 1-by-1 diagonal block.
!>
!>             If IPIV(k) = IPIV(k+1) < 0, then rows and columns
!>             k+1 and -IPIV(k) were interchanged and D(k:k+1,k:k+1)
!>             is a 2-by-2 diagonal block.
!>

INTEGER array, dimension (N). this is the receipts: details of the interchanges and the block structure of D. 💀

If UPLO = 'U':

if IPIV(k) > 0, then rows and columns k and IPIV(k) were interchanged and D(k,k) is a 1-by-1 diagonal block.
if IPIV(k) = IPIV(k-1) < 0, then rows and columns k-1 and -IPIV(k) were interchanged and D(k-1:k,k-1:k) is a 2-by-2 diagonal block.

If UPLO = 'L':

if IPIV(k) > 0, then rows and columns k and IPIV(k) were interchanged and D(k,k) is a 1-by-1 diagonal block.
if IPIV(k) = IPIV(k+1) < 0, then rows and columns k+1 and -IPIV(k) were interchanged and D(k:k+1,k:k+1) is a 2-by-2 diagonal block.

(notice how the k-1 vs k+1 flips between upper and lower — that's the whole joke, she's mirroring herself 🪞)

INFO

!>          INFO is INTEGER
!>          = 0: successful exit
!>          < 0: if INFO = -k, the k-th argument had an illegal value
!>          > 0: if INFO = k, D(k,k) is exactly zero.  The factorization
!>               has been completed, but the block diagonal matrix D is
!>               exactly singular, and division by zero will occur if it
!>               is used to solve a system of equations.
!>

INTEGER. the vibe check report:

= 0: successful exit 🎉 slay
< 0: if INFO = -k, the k-th argument had an illegal value (someone passed something cursed)
> 0: if INFO = k, D(k,k) is exactly zero. the factorization has been completed, but the block diagonal matrix D is exactly singular, and division by zero will occur if it is used to solve a system of equations. 😭 so like, she finished the job but the result is dangerously singular — handle with care.

🧚 Author 🧚

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

(the whole collective, okurrr 👑)

🌈 Further Details: 🌈

!>
!>  09-29-06 - patch from
!>    Bobby Cheng, MathWorks
!>
!>    Replace l.210 and l.392
!>         IF( MAX( ABSAKK, COLMAX ).EQ.ZERO ) THEN
!>    by
!>         IF( (MAX( ABSAKK, COLMAX ).EQ.ZERO) .OR. SISNAN(ABSAKK) ) THEN
!>
!>  01-01-96 - Based on modifications by
!>    J. Lewis, Boeing Computer Services Company
!>    A. Petitet, Computer Science Dept., Univ. of Tenn., Knoxville, USA
!>

so there's lore here 📜 — a 09-29-06 patch from Bobby Cheng at MathWorks that replaced lines l.210 and l.392, swapping

IF( MAX( ABSAKK, COLMAX ).EQ.ZERO ) THEN

for

IF( (MAX( ABSAKK, COLMAX ).EQ.ZERO) .OR. SISNAN(ABSAKK) ) THEN

(naN detection said "not on my watch"). and a 01-01-96 note that it's based on modifications by J. Lewis, Boeing Computer Services Company, and A. Petitet, Computer Science Dept., Univ. of Tenn., Knoxville, USA.

then the actual math, bestie:

If UPLO = 'U', then A = U*D*U**H, where

!>     U = P(n)*U(n)* ... *P(k)U(k)* ...,

i.e., U is a product of terms P(k)*U(k), where k decreases from n to 1 in steps of 1 or 2, and D is a block diagonal matrix with 1-by-1 and 2-by-2 diagonal blocks D(k). P(k) is a permutation matrix as defined by IPIV(k), and U(k) is a unit upper triangular matrix, such that if the diagonal block D(k) is of order s (s = 1 or 2), then

!>             (   I    v    0   )   k-s
!>     U(k) =  (   0    I    0   )   s
!>             (   0    0    I   )   n-k
!>                k-s   s   n-k

if s = 1, D(k) overwrites A(k,k), and v overwrites A(1:k-1,k). if s = 2, the upper triangle of D(k) overwrites A(k-1,k-1), A(k-1,k), and A(k,k), and v overwrites A(1:k-2,k-1:k).

If UPLO = 'L', then A = L*D*L**H, where

!>     L = P(1)*L(1)* ... *P(k)*L(k)* ...,

i.e., L is a product of terms P(k)*L(k), where k increases from 1 to n in steps of 1 or 2, and D is a block diagonal matrix with 1-by-1 and 2-by-2 diagonal blocks D(k). P(k) is a permutation matrix as defined by IPIV(k), and L(k) is a unit lower triangular matrix, such that if the diagonal block D(k) is of order s (s = 1 or 2), then

!>             (   I    0     0   )  k-1
!>     L(k) =  (   0    I     0   )  s
!>             (   0    v     I   )  n-k-s+1
!>                k-1   s  n-k-s+1

if s = 1, D(k) overwrites A(k,k), and v overwrites A(k+1:n,k). if s = 2, the lower triangle of D(k) overwrites A(k,k), A(k+1,k), and A(k+1,k+1), and v overwrites A(k+2:n,k:k+1).

like, the way she just overwrites everything in place is honestly main character energy 💅

⭐ Definition ⭐

Definition at line 185 of file chetf2.f.

💜 Author 💜

Generated automatically by Doxygen for LAPACK from the source code.

okay that's the whole page, you ate that 🍓 — this gem was brought to you by LAPACK, Version 3.12.0, and the doc page itself is dated with that same 3.12.0 stamping, so go forth and factor responsibly, bestie 💖✨

📦 where this page comes from

arch rolling: lapack-doc 3.12.1-2 · custom
💖 girlified by deepseek-ai/DeepSeek-V4.1-Flash-1017 on 2026-11-04: a language model's rewrite of the original, under its terms