ZTFTRI(3)
πΈ ZTFTRI(3) β the ztftri.f page, bestie edition πΈ
Okay so real quick: this is a page from the Library Functions Manual, and it lives at the path /home/abuild/rpmbuild/BUILD/lapack-static-3.12.0-build/lapack-3.12.0/SRC/ztftri.f. That's the whole NAME section, no cap β the "name" of this one is the file path. Slay. π
β¨ SYNOPSIS β¨
Functions/Subroutines π«Ά
subroutine ZTFTRI (transr, uplo, diag, n, a, info)
ZTFTRI
π¦ Function/Subroutine Documentation π¦
subroutine ZTFTRI (character transr, character uplo, character diag, integer
n, complex*16, dimension( 0: * ) a, integer info)
ZTFTRI
π Purpose π
So what does she do? ZTFTRI computes the inverse of a triangular matrix A stored in RFP format. Iconic behaviour, honestly.
And lowkey important: this is a Level 3 BLAS version of the algorithm. Noted, periodt.
π Parameters π
TRANSR
TRANSRisCHARACTER*1='N': The Normal TRANSR of RFPAis stored; ='C': The Conjugate-transpose TRANSR of RFPAis stored.
UPLO
UPLOisCHARACTER*1='U':Ais upper triangular; ='L':Ais lower triangular.
DIAG
DIAGisCHARACTER*1='N':Ais non-unit triangular; ='U':Ais unit triangular.
N
NisINTEGERThe order of the matrixA.N >= 0.
A
AisCOMPLEX*16array, dimension (N*(N+1)/2); On entry, the triangular matrixAin RFP format. RFP format is described byTRANSR,UPLO, andNas follows: IfTRANSR='N'then RFPAis(0:N,0:k-1)whenNis even;k=N/2. RFPAis(0:N-1,0:k)whenNis odd;k=N/2. IFTRANSR='C'then RFP is the Conjugate-transpose of RFPAas defined whenTRANSR='N'. The contents of RFPAare defined byUPLOas follows: IfUPLO='U'the RFPAcontains the nt elements of upper packedA; IfUPLO='L'the RFPAcontains the nt elements of lower packedA. The LDA of RFPAis(N+1)/2whenTRANSR='C'. WhenTRANSRis'N'the LDA isN+1whenNis even andNis odd. See the Note below for more details. On exit, the (triangular) inverse of the original matrix, in the same storage format. She ate and left no crumbs. π
INFO
INFOisINTEGER=0: successful exit <0: ifINFO = -i, the i-th argument had an illegal value >0: ifINFO = i,A(i,i)is exactly zero. The triangular matrix is singular and its inverse can not be computed.
π«Ά Heads up bestie: that last one is the vibe check you don't want to fail β singular matrix means the inverse literally can't be computed. No workaround, no cap.
π Author π
- Univ. of Tennessee
- Univ. of California Berkeley
- Univ. of Colorado Denver
- NAG Ltd.
π Further Details: π
Alright, gather round, this is the part where she gets detailed and honestly it's giving main character energy. π
Even N, bestie
We first consider Standard Packed Format when N is even.
We give an example where N = 6.
AP is Upper AP is Lower
00 01 02 03 04 05 00
11 12 13 14 15 10 11
22 23 24 25 20 21 22
33 34 35 30 31 32 33
44 45 40 41 42 43 44
55 50 51 52 53 54 55
Let TRANSR = 'N'. RFP holds AP as follows:
For UPLO = 'U' the upper trapezoid A(0:5,0:2) consists of the last
three columns of AP upper. The lower triangle A(4:6,0:2) consists of
conjugate-transpose of the first three columns of AP upper.
For UPLO = 'L' the lower trapezoid A(1:6,0:2) consists of the first
three columns of AP lower. The upper triangle A(0:2,0:2) consists of
conjugate-transpose of the last three columns of AP lower.
To denote conjugate we place -- above the element. This covers the
case N even and TRANSR = 'N'.
RFP A RFP A
-- -- --
03 04 05 33 43 53
-- --
13 14 15 00 44 54
--
23 24 25 10 11 55
33 34 35 20 21 22
--
00 44 45 30 31 32
-- --
01 11 55 40 41 42
-- -- --
02 12 22 50 51 52
Now let TRANSR = 'C'. RFP A in both UPLO cases is just the conjugate-
transpose of RFP A above. One therefore gets:
RFP A RFP A
-- -- -- -- -- -- -- -- -- --
03 13 23 33 00 01 02 33 00 10 20 30 40 50
-- -- -- -- -- -- -- -- -- --
04 14 24 34 44 11 12 43 44 11 21 31 41 51
-- -- -- -- -- -- -- -- -- --
05 15 25 35 45 55 22 53 54 55 22 32 42 52
Odd N, the sequel β¨
We next consider Standard Packed Format when N is odd.
We give an example where N = 5.
AP is Upper AP is Lower
00 01 02 03 04 00
11 12 13 14 10 11
22 23 24 20 21 22
33 34 30 31 32 33
44 40 41 42 43 44
Let TRANSR = 'N'. RFP holds AP as follows:
For UPLO = 'U' the upper trapezoid A(0:4,0:2) consists of the last
three columns of AP upper. The lower triangle A(3:4,0:1) consists of
conjugate-transpose of the first two columns of AP upper.
For UPLO = 'L' the lower trapezoid A(0:4,0:2) consists of the first
three columns of AP lower. The upper triangle A(0:1,1:2) consists of
conjugate-transpose of the last two columns of AP lower.
To denote conjugate we place -- above the element. This covers the
case N odd and TRANSR = 'N'.
RFP A RFP A
-- --
02 03 04 00 33 43
--
12 13 14 10 11 44
22 23 24 20 21 22
--
00 33 34 30 31 32
-- --
01 11 44 40 41 42
Now let TRANSR = 'C'. RFP A in both UPLO cases is just the conjugate-
transpose of RFP A above. One therefore gets:
RFP A RFP A
-- -- -- -- -- -- -- -- --
02 12 22 00 01 00 10 20 30 40 50
-- -- -- -- -- -- -- -- --
03 13 23 33 11 33 11 21 31 41 51
-- -- -- -- -- -- -- -- --
04 14 24 34 44 43 44 22 32 42 52
Definition at line 220 of file ztftri.f.
π§ Author (the meta one) π§
Generated automatically by Doxygen for LAPACK from the source code. Not me writing this by hand, bestie β the robots did it. π€β¨
π And that's the whole page! Footer business: this is LAPACK, Version 3.12.0, and the source string on the bottom line is /home/abui...RC/ztftri.f(3). Bye bestie, go invert something triangular! πππ¦
π¦ 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