Annotation of rpl/lapack/lapack/dlasyf_aa.f, revision 1.3
1.1 bertrand 1: *> \brief \b DLASYF_AA
2: *
3: * =========== DOCUMENTATION ===========
4: *
5: * Online html documentation available at
6: * http://www.netlib.org/lapack/explore-html/
7: *
8: *> \htmlonly
9: *> Download DLASYF_AA + dependencies
10: *> <a href="http://www.netlib.org/cgi-bin/netlibfiles.tgz?format=tgz&filename=/lapack/lapack_routine/dlasyf_aa.f">
11: *> [TGZ]</a>
12: *> <a href="http://www.netlib.org/cgi-bin/netlibfiles.zip?format=zip&filename=/lapack/lapack_routine/dlasyf_aa.f">
13: *> [ZIP]</a>
14: *> <a href="http://www.netlib.org/cgi-bin/netlibfiles.txt?format=txt&filename=/lapack/lapack_routine/dlasyf_aa.f">
15: *> [TXT]</a>
16: *> \endhtmlonly
17: *
18: * Definition:
19: * ===========
20: *
21: * SUBROUTINE DLASYF_AA( UPLO, J1, M, NB, A, LDA, IPIV,
1.3 ! bertrand 22: * H, LDH, WORK )
1.1 bertrand 23: *
24: * .. Scalar Arguments ..
25: * CHARACTER UPLO
1.3 ! bertrand 26: * INTEGER J1, M, NB, LDA, LDH
1.1 bertrand 27: * ..
28: * .. Array Arguments ..
29: * INTEGER IPIV( * )
30: * DOUBLE PRECISION A( LDA, * ), H( LDH, * ), WORK( * )
31: * ..
32: *
33: *
34: *> \par Purpose:
35: * =============
36: *>
37: *> \verbatim
38: *>
39: *> DLATRF_AA factorizes a panel of a real symmetric matrix A using
40: *> the Aasen's algorithm. The panel consists of a set of NB rows of A
41: *> when UPLO is U, or a set of NB columns when UPLO is L.
42: *>
43: *> In order to factorize the panel, the Aasen's algorithm requires the
44: *> last row, or column, of the previous panel. The first row, or column,
45: *> of A is set to be the first row, or column, of an identity matrix,
46: *> which is used to factorize the first panel.
47: *>
48: *> The resulting J-th row of U, or J-th column of L, is stored in the
49: *> (J-1)-th row, or column, of A (without the unit diagonals), while
50: *> the diagonal and subdiagonal of A are overwritten by those of T.
51: *>
52: *> \endverbatim
53: *
54: * Arguments:
55: * ==========
56: *
57: *> \param[in] UPLO
58: *> \verbatim
59: *> UPLO is CHARACTER*1
60: *> = 'U': Upper triangle of A is stored;
61: *> = 'L': Lower triangle of A is stored.
62: *> \endverbatim
63: *>
64: *> \param[in] J1
65: *> \verbatim
66: *> J1 is INTEGER
67: *> The location of the first row, or column, of the panel
68: *> within the submatrix of A, passed to this routine, e.g.,
69: *> when called by DSYTRF_AA, for the first panel, J1 is 1,
70: *> while for the remaining panels, J1 is 2.
71: *> \endverbatim
72: *>
73: *> \param[in] M
74: *> \verbatim
75: *> M is INTEGER
76: *> The dimension of the submatrix. M >= 0.
77: *> \endverbatim
78: *>
79: *> \param[in] NB
80: *> \verbatim
81: *> NB is INTEGER
82: *> The dimension of the panel to be facotorized.
83: *> \endverbatim
84: *>
85: *> \param[in,out] A
86: *> \verbatim
87: *> A is DOUBLE PRECISION array, dimension (LDA,M) for
88: *> the first panel, while dimension (LDA,M+1) for the
89: *> remaining panels.
90: *>
91: *> On entry, A contains the last row, or column, of
92: *> the previous panel, and the trailing submatrix of A
93: *> to be factorized, except for the first panel, only
94: *> the panel is passed.
95: *>
96: *> On exit, the leading panel is factorized.
97: *> \endverbatim
98: *>
99: *> \param[in] LDA
100: *> \verbatim
101: *> LDA is INTEGER
1.3 ! bertrand 102: *> The leading dimension of the array A. LDA >= max(1,M).
1.1 bertrand 103: *> \endverbatim
104: *>
105: *> \param[out] IPIV
106: *> \verbatim
1.3 ! bertrand 107: *> IPIV is INTEGER array, dimension (M)
1.1 bertrand 108: *> Details of the row and column interchanges,
109: *> the row and column k were interchanged with the row and
110: *> column IPIV(k).
111: *> \endverbatim
112: *>
113: *> \param[in,out] H
114: *> \verbatim
115: *> H is DOUBLE PRECISION workspace, dimension (LDH,NB).
116: *>
117: *> \endverbatim
118: *>
119: *> \param[in] LDH
120: *> \verbatim
121: *> LDH is INTEGER
122: *> The leading dimension of the workspace H. LDH >= max(1,M).
123: *> \endverbatim
124: *>
125: *> \param[out] WORK
126: *> \verbatim
127: *> WORK is DOUBLE PRECISION workspace, dimension (M).
128: *> \endverbatim
129: *>
130: *
131: * Authors:
132: * ========
133: *
134: *> \author Univ. of Tennessee
135: *> \author Univ. of California Berkeley
136: *> \author Univ. of Colorado Denver
137: *> \author NAG Ltd.
138: *
1.3 ! bertrand 139: *> \date November 2017
1.1 bertrand 140: *
141: *> \ingroup doubleSYcomputational
142: *
143: * =====================================================================
144: SUBROUTINE DLASYF_AA( UPLO, J1, M, NB, A, LDA, IPIV,
1.3 ! bertrand 145: $ H, LDH, WORK )
1.1 bertrand 146: *
1.3 ! bertrand 147: * -- LAPACK computational routine (version 3.8.0) --
1.1 bertrand 148: * -- LAPACK is a software package provided by Univ. of Tennessee, --
149: * -- Univ. of California Berkeley, Univ. of Colorado Denver and NAG Ltd..--
1.3 ! bertrand 150: * November 2017
1.1 bertrand 151: *
152: IMPLICIT NONE
153: *
154: * .. Scalar Arguments ..
155: CHARACTER UPLO
1.3 ! bertrand 156: INTEGER M, NB, J1, LDA, LDH
1.1 bertrand 157: * ..
158: * .. Array Arguments ..
159: INTEGER IPIV( * )
160: DOUBLE PRECISION A( LDA, * ), H( LDH, * ), WORK( * )
161: * ..
162: *
163: * =====================================================================
164: * .. Parameters ..
165: DOUBLE PRECISION ZERO, ONE
166: PARAMETER ( ZERO = 0.0D+0, ONE = 1.0D+0 )
167: *
168: * .. Local Scalars ..
1.3 ! bertrand 169: INTEGER J, K, K1, I1, I2, MJ
1.1 bertrand 170: DOUBLE PRECISION PIV, ALPHA
171: * ..
172: * .. External Functions ..
173: LOGICAL LSAME
174: INTEGER IDAMAX, ILAENV
175: EXTERNAL LSAME, ILAENV, IDAMAX
176: * ..
177: * .. External Subroutines ..
1.3 ! bertrand 178: EXTERNAL DGEMV, DAXPY, DCOPY, DSWAP, DSCAL, DLASET,
! 179: $ XERBLA
1.1 bertrand 180: * ..
181: * .. Intrinsic Functions ..
182: INTRINSIC MAX
183: * ..
184: * .. Executable Statements ..
185: *
186: J = 1
187: *
188: * K1 is the first column of the panel to be factorized
189: * i.e., K1 is 2 for the first block column, and 1 for the rest of the blocks
190: *
191: K1 = (2-J1)+1
192: *
193: IF( LSAME( UPLO, 'U' ) ) THEN
194: *
195: * .....................................................
196: * Factorize A as U**T*D*U using the upper triangle of A
197: * .....................................................
198: *
199: 10 CONTINUE
200: IF ( J.GT.MIN(M, NB) )
201: $ GO TO 20
202: *
203: * K is the column to be factorized
204: * when being called from DSYTRF_AA,
205: * > for the first block column, J1 is 1, hence J1+J-1 is J,
206: * > for the rest of the columns, J1 is 2, and J1+J-1 is J+1,
207: *
208: K = J1+J-1
1.3 ! bertrand 209: IF( J.EQ.M ) THEN
! 210: *
! 211: * Only need to compute T(J, J)
! 212: *
! 213: MJ = 1
! 214: ELSE
! 215: MJ = M-J+1
! 216: END IF
1.1 bertrand 217: *
1.3 ! bertrand 218: * H(J:M, J) := A(J, J:M) - H(J:M, 1:(J-1)) * L(J1:(J-1), J),
! 219: * where H(J:M, J) has been initialized to be A(J, J:M)
1.1 bertrand 220: *
221: IF( K.GT.2 ) THEN
222: *
223: * K is the column to be factorized
224: * > for the first block column, K is J, skipping the first two
225: * columns
226: * > for the rest of the columns, K is J+1, skipping only the
227: * first column
228: *
1.3 ! bertrand 229: CALL DGEMV( 'No transpose', MJ, J-K1,
1.1 bertrand 230: $ -ONE, H( J, K1 ), LDH,
231: $ A( 1, J ), 1,
232: $ ONE, H( J, J ), 1 )
233: END IF
234: *
1.3 ! bertrand 235: * Copy H(i:M, i) into WORK
1.1 bertrand 236: *
1.3 ! bertrand 237: CALL DCOPY( MJ, H( J, J ), 1, WORK( 1 ), 1 )
1.1 bertrand 238: *
239: IF( J.GT.K1 ) THEN
240: *
1.3 ! bertrand 241: * Compute WORK := WORK - L(J-1, J:M) * T(J-1,J),
! 242: * where A(J-1, J) stores T(J-1, J) and A(J-2, J:M) stores U(J-1, J:M)
1.1 bertrand 243: *
244: ALPHA = -A( K-1, J )
1.3 ! bertrand 245: CALL DAXPY( MJ, ALPHA, A( K-2, J ), LDA, WORK( 1 ), 1 )
1.1 bertrand 246: END IF
247: *
248: * Set A(J, J) = T(J, J)
249: *
250: A( K, J ) = WORK( 1 )
251: *
252: IF( J.LT.M ) THEN
253: *
1.3 ! bertrand 254: * Compute WORK(2:M) = T(J, J) L(J, (J+1):M)
! 255: * where A(J, J) stores T(J, J) and A(J-1, (J+1):M) stores U(J, (J+1):M)
1.1 bertrand 256: *
257: IF( K.GT.1 ) THEN
258: ALPHA = -A( K, J )
259: CALL DAXPY( M-J, ALPHA, A( K-1, J+1 ), LDA,
260: $ WORK( 2 ), 1 )
261: ENDIF
262: *
1.3 ! bertrand 263: * Find max(|WORK(2:M)|)
1.1 bertrand 264: *
265: I2 = IDAMAX( M-J, WORK( 2 ), 1 ) + 1
266: PIV = WORK( I2 )
267: *
268: * Apply symmetric pivot
269: *
270: IF( (I2.NE.2) .AND. (PIV.NE.0) ) THEN
271: *
272: * Swap WORK(I1) and WORK(I2)
273: *
274: I1 = 2
275: WORK( I2 ) = WORK( I1 )
276: WORK( I1 ) = PIV
277: *
1.3 ! bertrand 278: * Swap A(I1, I1+1:M) with A(I1+1:M, I2)
1.1 bertrand 279: *
280: I1 = I1+J-1
281: I2 = I2+J-1
282: CALL DSWAP( I2-I1-1, A( J1+I1-1, I1+1 ), LDA,
283: $ A( J1+I1, I2 ), 1 )
284: *
1.3 ! bertrand 285: * Swap A(I1, I2+1:M) with A(I2, I2+1:M)
1.1 bertrand 286: *
287: CALL DSWAP( M-I2, A( J1+I1-1, I2+1 ), LDA,
288: $ A( J1+I2-1, I2+1 ), LDA )
289: *
290: * Swap A(I1, I1) with A(I2,I2)
291: *
292: PIV = A( I1+J1-1, I1 )
293: A( J1+I1-1, I1 ) = A( J1+I2-1, I2 )
294: A( J1+I2-1, I2 ) = PIV
295: *
296: * Swap H(I1, 1:J1) with H(I2, 1:J1)
297: *
298: CALL DSWAP( I1-1, H( I1, 1 ), LDH, H( I2, 1 ), LDH )
299: IPIV( I1 ) = I2
300: *
301: IF( I1.GT.(K1-1) ) THEN
302: *
303: * Swap L(1:I1-1, I1) with L(1:I1-1, I2),
304: * skipping the first column
305: *
306: CALL DSWAP( I1-K1+1, A( 1, I1 ), 1,
307: $ A( 1, I2 ), 1 )
308: END IF
309: ELSE
310: IPIV( J+1 ) = J+1
311: ENDIF
312: *
313: * Set A(J, J+1) = T(J, J+1)
314: *
315: A( K, J+1 ) = WORK( 2 )
316: *
317: IF( J.LT.NB ) THEN
318: *
1.3 ! bertrand 319: * Copy A(J+1:M, J+1) into H(J:M, J),
1.1 bertrand 320: *
321: CALL DCOPY( M-J, A( K+1, J+1 ), LDA,
322: $ H( J+1, J+1 ), 1 )
323: END IF
324: *
1.3 ! bertrand 325: * Compute L(J+2, J+1) = WORK( 3:M ) / T(J, J+1),
! 326: * where A(J, J+1) = T(J, J+1) and A(J+2:M, J) = L(J+2:M, J+1)
1.1 bertrand 327: *
328: IF( A( K, J+1 ).NE.ZERO ) THEN
329: ALPHA = ONE / A( K, J+1 )
330: CALL DCOPY( M-J-1, WORK( 3 ), 1, A( K, J+2 ), LDA )
331: CALL DSCAL( M-J-1, ALPHA, A( K, J+2 ), LDA )
332: ELSE
333: CALL DLASET( 'Full', 1, M-J-1, ZERO, ZERO,
334: $ A( K, J+2 ), LDA)
335: END IF
336: END IF
337: J = J + 1
338: GO TO 10
339: 20 CONTINUE
340: *
341: ELSE
342: *
343: * .....................................................
344: * Factorize A as L*D*L**T using the lower triangle of A
345: * .....................................................
346: *
347: 30 CONTINUE
348: IF( J.GT.MIN( M, NB ) )
349: $ GO TO 40
350: *
351: * K is the column to be factorized
352: * when being called from DSYTRF_AA,
353: * > for the first block column, J1 is 1, hence J1+J-1 is J,
354: * > for the rest of the columns, J1 is 2, and J1+J-1 is J+1,
355: *
356: K = J1+J-1
1.3 ! bertrand 357: IF( J.EQ.M ) THEN
! 358: *
! 359: * Only need to compute T(J, J)
! 360: *
! 361: MJ = 1
! 362: ELSE
! 363: MJ = M-J+1
! 364: END IF
1.1 bertrand 365: *
1.3 ! bertrand 366: * H(J:M, J) := A(J:M, J) - H(J:M, 1:(J-1)) * L(J, J1:(J-1))^T,
! 367: * where H(J:M, J) has been initialized to be A(J:M, J)
1.1 bertrand 368: *
369: IF( K.GT.2 ) THEN
370: *
371: * K is the column to be factorized
372: * > for the first block column, K is J, skipping the first two
373: * columns
374: * > for the rest of the columns, K is J+1, skipping only the
375: * first column
376: *
1.3 ! bertrand 377: CALL DGEMV( 'No transpose', MJ, J-K1,
1.1 bertrand 378: $ -ONE, H( J, K1 ), LDH,
379: $ A( J, 1 ), LDA,
380: $ ONE, H( J, J ), 1 )
381: END IF
382: *
1.3 ! bertrand 383: * Copy H(J:M, J) into WORK
1.1 bertrand 384: *
1.3 ! bertrand 385: CALL DCOPY( MJ, H( J, J ), 1, WORK( 1 ), 1 )
1.1 bertrand 386: *
387: IF( J.GT.K1 ) THEN
388: *
1.3 ! bertrand 389: * Compute WORK := WORK - L(J:M, J-1) * T(J-1,J),
1.1 bertrand 390: * where A(J-1, J) = T(J-1, J) and A(J, J-2) = L(J, J-1)
391: *
392: ALPHA = -A( J, K-1 )
1.3 ! bertrand 393: CALL DAXPY( MJ, ALPHA, A( J, K-2 ), 1, WORK( 1 ), 1 )
1.1 bertrand 394: END IF
395: *
396: * Set A(J, J) = T(J, J)
397: *
398: A( J, K ) = WORK( 1 )
399: *
400: IF( J.LT.M ) THEN
401: *
1.3 ! bertrand 402: * Compute WORK(2:M) = T(J, J) L((J+1):M, J)
! 403: * where A(J, J) = T(J, J) and A((J+1):M, J-1) = L((J+1):M, J)
1.1 bertrand 404: *
405: IF( K.GT.1 ) THEN
406: ALPHA = -A( J, K )
407: CALL DAXPY( M-J, ALPHA, A( J+1, K-1 ), 1,
408: $ WORK( 2 ), 1 )
409: ENDIF
410: *
1.3 ! bertrand 411: * Find max(|WORK(2:M)|)
1.1 bertrand 412: *
413: I2 = IDAMAX( M-J, WORK( 2 ), 1 ) + 1
414: PIV = WORK( I2 )
415: *
416: * Apply symmetric pivot
417: *
418: IF( (I2.NE.2) .AND. (PIV.NE.0) ) THEN
419: *
420: * Swap WORK(I1) and WORK(I2)
421: *
422: I1 = 2
423: WORK( I2 ) = WORK( I1 )
424: WORK( I1 ) = PIV
425: *
1.3 ! bertrand 426: * Swap A(I1+1:M, I1) with A(I2, I1+1:M)
1.1 bertrand 427: *
428: I1 = I1+J-1
429: I2 = I2+J-1
430: CALL DSWAP( I2-I1-1, A( I1+1, J1+I1-1 ), 1,
431: $ A( I2, J1+I1 ), LDA )
432: *
1.3 ! bertrand 433: * Swap A(I2+1:M, I1) with A(I2+1:M, I2)
1.1 bertrand 434: *
435: CALL DSWAP( M-I2, A( I2+1, J1+I1-1 ), 1,
436: $ A( I2+1, J1+I2-1 ), 1 )
437: *
438: * Swap A(I1, I1) with A(I2, I2)
439: *
440: PIV = A( I1, J1+I1-1 )
441: A( I1, J1+I1-1 ) = A( I2, J1+I2-1 )
442: A( I2, J1+I2-1 ) = PIV
443: *
444: * Swap H(I1, I1:J1) with H(I2, I2:J1)
445: *
446: CALL DSWAP( I1-1, H( I1, 1 ), LDH, H( I2, 1 ), LDH )
447: IPIV( I1 ) = I2
448: *
449: IF( I1.GT.(K1-1) ) THEN
450: *
451: * Swap L(1:I1-1, I1) with L(1:I1-1, I2),
452: * skipping the first column
453: *
454: CALL DSWAP( I1-K1+1, A( I1, 1 ), LDA,
455: $ A( I2, 1 ), LDA )
456: END IF
457: ELSE
458: IPIV( J+1 ) = J+1
459: ENDIF
460: *
461: * Set A(J+1, J) = T(J+1, J)
462: *
463: A( J+1, K ) = WORK( 2 )
464: *
465: IF( J.LT.NB ) THEN
466: *
1.3 ! bertrand 467: * Copy A(J+1:M, J+1) into H(J+1:M, J),
1.1 bertrand 468: *
469: CALL DCOPY( M-J, A( J+1, K+1 ), 1,
470: $ H( J+1, J+1 ), 1 )
471: END IF
472: *
1.3 ! bertrand 473: * Compute L(J+2, J+1) = WORK( 3:M ) / T(J, J+1),
! 474: * where A(J, J+1) = T(J, J+1) and A(J+2:M, J) = L(J+2:M, J+1)
1.1 bertrand 475: *
476: IF( A( J+1, K ).NE.ZERO ) THEN
477: ALPHA = ONE / A( J+1, K )
478: CALL DCOPY( M-J-1, WORK( 3 ), 1, A( J+2, K ), 1 )
479: CALL DSCAL( M-J-1, ALPHA, A( J+2, K ), 1 )
480: ELSE
481: CALL DLASET( 'Full', M-J-1, 1, ZERO, ZERO,
482: $ A( J+2, K ), LDA )
483: END IF
484: END IF
485: J = J + 1
486: GO TO 30
487: 40 CONTINUE
488: END IF
489: RETURN
490: *
491: * End of DLASYF_AA
492: *
493: END
CVSweb interface <joel.bertrand@systella.fr>