You can not select more than 25 topics Topics must start with a chinese character,a letter or number, can include dashes ('-') and can be up to 35 characters long.

ssyl01.f 10 kB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288
  1. *> \brief \b SSYL01
  2. *
  3. * =========== DOCUMENTATION ===========
  4. *
  5. * Online html documentation available at
  6. * http://www.netlib.org/lapack/explore-html/
  7. *
  8. * Definition:
  9. * ===========
  10. *
  11. * SUBROUTINE SSYL01( THRESH, NFAIL, RMAX, NINFO, KNT )
  12. *
  13. * .. Scalar Arguments ..
  14. * INTEGER KNT
  15. * REAL THRESH
  16. * ..
  17. * .. Array Arguments ..
  18. * INTEGER NFAIL( 3 ), NINFO( 2 )
  19. * REAL RMAX( 2 )
  20. * ..
  21. *
  22. *
  23. *> \par Purpose:
  24. * =============
  25. *>
  26. *> \verbatim
  27. *>
  28. *> SSYL01 tests STRSYL and STRSYL3, routines for solving the Sylvester matrix
  29. *> equation
  30. *>
  31. *> op(A)*X + ISGN*X*op(B) = scale*C,
  32. *>
  33. *> A and B are assumed to be in Schur canonical form, op() represents an
  34. *> optional transpose, and ISGN can be -1 or +1. Scale is an output
  35. *> less than or equal to 1, chosen to avoid overflow in X.
  36. *>
  37. *> The test code verifies that the following residual does not exceed
  38. *> the provided threshold:
  39. *>
  40. *> norm(op(A)*X + ISGN*X*op(B) - scale*C) /
  41. *> (EPS*max(norm(A),norm(B))*norm(X))
  42. *>
  43. *> This routine complements SGET35 by testing with larger,
  44. *> random matrices, of which some require rescaling of X to avoid overflow.
  45. *>
  46. *> \endverbatim
  47. *
  48. * Arguments:
  49. * ==========
  50. *
  51. *> \param[in] THRESH
  52. *> \verbatim
  53. *> THRESH is REAL
  54. *> A test will count as "failed" if the residual, computed as
  55. *> described above, exceeds THRESH.
  56. *> \endverbatim
  57. *>
  58. *> \param[out] NFAIL
  59. *> \verbatim
  60. *> NFAIL is INTEGER array, dimension (3)
  61. *> NFAIL(1) = No. of times residual STRSYL exceeds threshold THRESH
  62. *> NFAIL(2) = No. of times residual STRSYL3 exceeds threshold THRESH
  63. *> NFAIL(3) = No. of times STRSYL3 and STRSYL deviate
  64. *> \endverbatim
  65. *>
  66. *> \param[out] RMAX
  67. *> \verbatim
  68. *> RMAX is REAL, dimension (2)
  69. *> RMAX(1) = Value of the largest test ratio of STRSYL
  70. *> RMAX(2) = Value of the largest test ratio of STRSYL3
  71. *> \endverbatim
  72. *>
  73. *> \param[out] NINFO
  74. *> \verbatim
  75. *> NINFO is INTEGER array, dimension (2)
  76. *> NINFO(1) = No. of times STRSYL returns an expected INFO
  77. *> NINFO(2) = No. of times STRSYL3 returns an expected INFO
  78. *> \endverbatim
  79. *>
  80. *> \param[out] KNT
  81. *> \verbatim
  82. *> KNT is INTEGER
  83. *> Total number of examples tested.
  84. *> \endverbatim
  85. *
  86. * -- LAPACK test routine --
  87. SUBROUTINE SSYL01( THRESH, NFAIL, RMAX, NINFO, KNT )
  88. IMPLICIT NONE
  89. *
  90. * -- LAPACK test routine --
  91. * -- LAPACK is a software package provided by Univ. of Tennessee, --
  92. * -- Univ. of California Berkeley, Univ. of Colorado Denver and NAG Ltd..--
  93. *
  94. * .. Scalar Arguments ..
  95. INTEGER KNT
  96. REAL THRESH
  97. * ..
  98. * .. Array Arguments ..
  99. INTEGER NFAIL( 3 ), NINFO( 2 )
  100. REAL RMAX( 2 )
  101. * ..
  102. *
  103. * =====================================================================
  104. * ..
  105. * .. Parameters ..
  106. REAL ZERO, ONE
  107. PARAMETER ( ZERO = 0.0E+0, ONE = 1.0E+0 )
  108. INTEGER MAXM, MAXN, LDSWORK
  109. PARAMETER ( MAXM = 101, MAXN = 138, LDSWORK = 18 )
  110. * ..
  111. * .. Local Scalars ..
  112. CHARACTER TRANA, TRANB
  113. INTEGER I, INFO, IINFO, ISGN, ITRANA, ITRANB, J, KLA,
  114. $ KUA, KLB, KUB, LIWORK, M, N
  115. REAL ANRM, BNRM, BIGNUM, EPS, RES, RES1, RMUL,
  116. $ SCALE, SCALE3, SMLNUM, TNRM, XNRM
  117. * ..
  118. * .. Local Arrays ..
  119. REAL A( MAXM, MAXM ), B( MAXN, MAXN ),
  120. $ C( MAXM, MAXN ), CC( MAXM, MAXN ),
  121. $ X( MAXM, MAXN ),
  122. $ DUML( MAXM ), DUMR( MAXN ),
  123. $ D( MAX( MAXM, MAXN ) ), DUM( MAXN ),
  124. $ SWORK( LDSWORK, 54 ), VM( 2 )
  125. INTEGER ISEED( 4 ), IWORK( MAXM + MAXN + 2 ), IDUM( 2 )
  126. * ..
  127. * .. External Functions ..
  128. LOGICAL SISNAN
  129. REAL SLAMCH, SLANGE
  130. EXTERNAL SISNAN, SLAMCH, SLANGE
  131. * ..
  132. * .. External Subroutines ..
  133. EXTERNAL SLATMR, SLACPY, SGEMM, STRSYL, STRSYL3
  134. * ..
  135. * .. Intrinsic Functions ..
  136. INTRINSIC ABS, REAL, MAX
  137. * ..
  138. * .. Executable Statements ..
  139. *
  140. * Get machine parameters
  141. *
  142. EPS = SLAMCH( 'P' )
  143. SMLNUM = SLAMCH( 'S' ) / EPS
  144. BIGNUM = ONE / SMLNUM
  145. *
  146. VM( 1 ) = ONE
  147. VM( 2 ) = 0.05E+0
  148. *
  149. * Begin test loop
  150. *
  151. NINFO( 1 ) = 0
  152. NINFO( 2 ) = 0
  153. NFAIL( 1 ) = 0
  154. NFAIL( 2 ) = 0
  155. NFAIL( 3 ) = 0
  156. RMAX( 1 ) = ZERO
  157. RMAX( 2 ) = ZERO
  158. KNT = 0
  159. DO I = 1, 4
  160. ISEED( I ) = 1
  161. END DO
  162. SCALE = ONE
  163. SCALE3 = ONE
  164. LIWORK = MAXM + MAXN + 2
  165. DO J = 1, 2
  166. DO ISGN = -1, 1, 2
  167. * Reset seed (overwritten by LATMR)
  168. DO I = 1, 4
  169. ISEED( I ) = 1
  170. END DO
  171. DO M = 32, MAXM, 71
  172. KLA = 0
  173. KUA = M - 1
  174. CALL SLATMR( M, M, 'S', ISEED, 'N', D,
  175. $ 6, ONE, ONE, 'T', 'N',
  176. $ DUML, 1, ONE, DUMR, 1, ONE,
  177. $ 'N', IWORK, KLA, KUA, ZERO,
  178. $ ONE, 'NO', A, MAXM, IWORK, IINFO )
  179. DO I = 1, M
  180. A( I, I ) = A( I, I ) * VM( J )
  181. END DO
  182. ANRM = SLANGE( 'M', M, M, A, MAXM, DUM )
  183. DO N = 51, MAXN, 47
  184. KLB = 0
  185. KUB = N - 1
  186. CALL SLATMR( N, N, 'S', ISEED, 'N', D,
  187. $ 6, ONE, ONE, 'T', 'N',
  188. $ DUML, 1, ONE, DUMR, 1, ONE,
  189. $ 'N', IWORK, KLB, KUB, ZERO,
  190. $ ONE, 'NO', B, MAXN, IWORK, IINFO )
  191. BNRM = SLANGE( 'M', N, N, B, MAXN, DUM )
  192. TNRM = MAX( ANRM, BNRM )
  193. CALL SLATMR( M, N, 'S', ISEED, 'N', D,
  194. $ 6, ONE, ONE, 'T', 'N',
  195. $ DUML, 1, ONE, DUMR, 1, ONE,
  196. $ 'N', IWORK, M, N, ZERO, ONE,
  197. $ 'NO', C, MAXM, IWORK, IINFO )
  198. DO ITRANA = 1, 2
  199. IF( ITRANA.EQ.1 ) THEN
  200. TRANA = 'N'
  201. END IF
  202. IF( ITRANA.EQ.2 ) THEN
  203. TRANA = 'T'
  204. END IF
  205. DO ITRANB = 1, 2
  206. IF( ITRANB.EQ.1 ) THEN
  207. TRANB = 'N'
  208. END IF
  209. IF( ITRANB.EQ.2 ) THEN
  210. TRANB = 'T'
  211. END IF
  212. KNT = KNT + 1
  213. *
  214. CALL SLACPY( 'All', M, N, C, MAXM, X, MAXM)
  215. CALL SLACPY( 'All', M, N, C, MAXM, CC, MAXM)
  216. CALL STRSYL( TRANA, TRANB, ISGN, M, N,
  217. $ A, MAXM, B, MAXN, X, MAXM,
  218. $ SCALE, IINFO )
  219. IF( IINFO.NE.0 )
  220. $ NINFO( 1 ) = NINFO( 1 ) + 1
  221. XNRM = SLANGE( 'M', M, N, X, MAXM, DUM )
  222. RMUL = ONE
  223. IF( XNRM.GT.ONE .AND. TNRM.GT.ONE ) THEN
  224. IF( XNRM.GT.BIGNUM / TNRM ) THEN
  225. RMUL = ONE / MAX( XNRM, TNRM )
  226. END IF
  227. END IF
  228. CALL SGEMM( TRANA, 'N', M, N, M, RMUL,
  229. $ A, MAXM, X, MAXM, -SCALE*RMUL,
  230. $ C, MAXM )
  231. CALL SGEMM( 'N', TRANB, M, N, N,
  232. $ REAL( ISGN )*RMUL, X, MAXM, B,
  233. $ MAXN, ONE, C, MAXM )
  234. RES1 = SLANGE( 'M', M, N, C, MAXM, DUM )
  235. RES = RES1 / MAX( SMLNUM, SMLNUM*XNRM,
  236. $ ( ( RMUL*TNRM )*EPS )*XNRM )
  237. IF( RES.GT.THRESH )
  238. $ NFAIL( 1 ) = NFAIL( 1 ) + 1
  239. IF( RES.GT.RMAX( 1 ) )
  240. $ RMAX( 1 ) = RES
  241. *
  242. CALL SLACPY( 'All', M, N, C, MAXM, X, MAXM )
  243. CALL SLACPY( 'All', M, N, C, MAXM, CC, MAXM )
  244. CALL STRSYL3( TRANA, TRANB, ISGN, M, N,
  245. $ A, MAXM, B, MAXN, X, MAXM,
  246. $ SCALE3, IWORK, LIWORK,
  247. $ SWORK, LDSWORK, INFO)
  248. IF( INFO.NE.0 )
  249. $ NINFO( 2 ) = NINFO( 2 ) + 1
  250. XNRM = SLANGE( 'M', M, N, X, MAXM, DUM )
  251. RMUL = ONE
  252. IF( XNRM.GT.ONE .AND. TNRM.GT.ONE ) THEN
  253. IF( XNRM.GT.BIGNUM / TNRM ) THEN
  254. RMUL = ONE / MAX( XNRM, TNRM )
  255. END IF
  256. END IF
  257. CALL SGEMM( TRANA, 'N', M, N, M, RMUL,
  258. $ A, MAXM, X, MAXM, -SCALE3*RMUL,
  259. $ CC, MAXM )
  260. CALL SGEMM( 'N', TRANB, M, N, N,
  261. $ REAL( ISGN )*RMUL, X, MAXM, B,
  262. $ MAXN, ONE, CC, MAXM )
  263. RES1 = SLANGE( 'M', M, N, CC, MAXM, DUM )
  264. RES = RES1 / MAX( SMLNUM, SMLNUM*XNRM,
  265. $ ( ( RMUL*TNRM )*EPS )*XNRM )
  266. * Verify that TRSYL3 only flushes if TRSYL flushes (but
  267. * there may be cases where TRSYL3 avoid flushing).
  268. IF( SCALE3.EQ.ZERO .AND. SCALE.GT.ZERO .OR.
  269. $ IINFO.NE.INFO ) THEN
  270. NFAIL( 3 ) = NFAIL( 3 ) + 1
  271. END IF
  272. IF( RES.GT.THRESH .OR. SISNAN( RES ) )
  273. $ NFAIL( 2 ) = NFAIL( 2 ) + 1
  274. IF( RES.GT.RMAX( 2 ) )
  275. $ RMAX( 2 ) = RES
  276. END DO
  277. END DO
  278. END DO
  279. END DO
  280. END DO
  281. END DO
  282. *
  283. RETURN
  284. *
  285. * End of SSYL01
  286. *
  287. END