zlags2.f

Go to the documentation of this file.

*> \brief \b ZLAGS2
*
*  =========== DOCUMENTATION ===========
*
* Online html documentation available at
*            http://www.netlib.org/lapack/explore-html/
*
*> Download ZLAGS2 + dependencies
*> <a href="http://www.netlib.org/cgi-bin/netlibfiles.tgz?format=tgz&filename=/lapack/lapack_routine/zlags2.f">
*> [TGZ]</a>
*> <a href="http://www.netlib.org/cgi-bin/netlibfiles.zip?format=zip&filename=/lapack/lapack_routine/zlags2.f">
*> [ZIP]</a>
*> <a href="http://www.netlib.org/cgi-bin/netlibfiles.txt?format=txt&filename=/lapack/lapack_routine/zlags2.f">
*> [TXT]</a>
*
*  Definition:
*  ===========
*
*       SUBROUTINE ZLAGS2( UPPER, A1, A2, A3, B1, B2, B3, CSU, SNU, CSV,
*                          SNV, CSQ, SNQ )
*
*       .. Scalar Arguments ..
*       LOGICAL            UPPER
*       DOUBLE PRECISION   A1, A3, B1, B3, CSQ, CSU, CSV
*       COMPLEX*16         A2, B2, SNQ, SNU, SNV
*       ..
*
*
*> \par Purpose:
*  =============
*>
*> \verbatim
*>
*> ZLAGS2 computes 2-by-2 unitary matrices U, V and Q, such
*> that if ( UPPER ) then
*>
*>           U**H *A*Q = U**H *( A1 A2 )*Q = ( x  0  )
*>                             ( 0  A3 )     ( x  x  )
*> and
*>           V**H*B*Q = V**H *( B1 B2 )*Q = ( x  0  )
*>                            ( 0  B3 )     ( x  x  )
*>
*> or if ( .NOT.UPPER ) then
*>
*>           U**H *A*Q = U**H *( A1 0  )*Q = ( x  x  )
*>                             ( A2 A3 )     ( 0  x  )
*> and
*>           V**H *B*Q = V**H *( B1 0  )*Q = ( x  x  )
*>                             ( B2 B3 )     ( 0  x  )
*> where
*>
*>   U = (   CSU    SNU ), V = (  CSV    SNV ),
*>       ( -SNU**H  CSU )      ( -SNV**H CSV )
*>
*>   Q = (   CSQ    SNQ )
*>       ( -SNQ**H  CSQ )
*>
*> The rows of the transformed A and B are parallel. Moreover, if the
*> input 2-by-2 matrix A is not zero, then the transformed (1,1) entry
*> of A is not zero. If the input matrices A and B are both not zero,
*> then the transformed (2,2) element of B is not zero, except when the
*> first rows of input A and B are parallel and the second rows are
*> zero.
*> \endverbatim
*
*  Arguments:
*  ==========
*
*> \param[in] UPPER
*> \verbatim
*>          UPPER is LOGICAL
*>          = .TRUE.: the input matrices A and B are upper triangular.
*>          = .FALSE.: the input matrices A and B are lower triangular.
*> \endverbatim
*>
*> \param[in] A1
*> \verbatim
*>          A1 is DOUBLE PRECISION
*> \endverbatim
*>
*> \param[in] A2
*> \verbatim
*>          A2 is COMPLEX*16
*> \endverbatim
*>
*> \param[in] A3
*> \verbatim
*>          A3 is DOUBLE PRECISION
*>          On entry, A1, A2 and A3 are elements of the input 2-by-2
*>          upper (lower) triangular matrix A.
*> \endverbatim
*>
*> \param[in] B1
*> \verbatim
*>          B1 is DOUBLE PRECISION
*> \endverbatim
*>
*> \param[in] B2
*> \verbatim
*>          B2 is COMPLEX*16
*> \endverbatim
*>
*> \param[in] B3
*> \verbatim
*>          B3 is DOUBLE PRECISION
*>          On entry, B1, B2 and B3 are elements of the input 2-by-2
*>          upper (lower) triangular matrix B.
*> \endverbatim
*>
*> \param[out] CSU
*> \verbatim
*>          CSU is DOUBLE PRECISION
*> \endverbatim
*>
*> \param[out] SNU
*> \verbatim
*>          SNU is COMPLEX*16
*>          The desired unitary matrix U.
*> \endverbatim
*>
*> \param[out] CSV
*> \verbatim
*>          CSV is DOUBLE PRECISION
*> \endverbatim
*>
*> \param[out] SNV
*> \verbatim
*>          SNV is COMPLEX*16
*>          The desired unitary matrix V.
*> \endverbatim
*>
*> \param[out] CSQ
*> \verbatim
*>          CSQ is DOUBLE PRECISION
*> \endverbatim
*>
*> \param[out] SNQ
*> \verbatim
*>          SNQ is COMPLEX*16
*>          The desired unitary matrix Q.
*> \endverbatim
*
*  Authors:
*  ========
*
*> \author Univ. of Tennessee
*> \author Univ. of California Berkeley
*> \author Univ. of Colorado Denver
*> \author NAG Ltd.
*
*> \ingroup lags2
*
*  =====================================================================
      SUBROUTINE zlags2( UPPER, A1, A2, A3, B1, B2, B3, CSU, SNU,
     $                   CSV,
     $                   SNV, CSQ, SNQ )
*
*  -- LAPACK auxiliary routine --
*  -- LAPACK is a software package provided by Univ. of Tennessee,    --
*  -- Univ. of California Berkeley, Univ. of Colorado Denver and NAG Ltd..--
*
*     .. Scalar Arguments ..
      LOGICAL            UPPER
      DOUBLE PRECISION   A1, A3, B1, B3, CSQ, CSU, CSV
      COMPLEX*16         A2, B2, SNQ, SNU, SNV
*     ..
*
*  =====================================================================
*
*     .. Parameters ..
      DOUBLE PRECISION   ZERO, ONE
      PARAMETER          ( ZERO = 0.0d+0, one = 1.0d+0 )
*     ..
*     .. Local Scalars ..
      DOUBLE PRECISION   A, AUA11, AUA12, AUA21, AUA22, AVB12, AVB11,
     $                   AVB21, AVB22, CSL, CSR, D, FB, FC, S1, S2,
     $                   snl, snr, ua11r, ua22r, vb11r, vb22r
      COMPLEX*16         B, C, D1, R, T, UA11, UA12, UA21, UA22, VB11,
     $                   VB12, VB21, VB22
*     ..
*     .. External Subroutines ..
      EXTERNAL           dlasv2, zlartg
*     ..
*     .. Intrinsic Functions ..
      INTRINSIC          abs, dble, dcmplx, dconjg, dimag
*     ..
*     .. Statement Functions ..
      DOUBLE PRECISION   ABS1
*     ..
*     .. Statement Function definitions ..
      abs1( t ) = abs( dble( t ) ) + abs( dimag( t ) )
*     ..
*     .. Executable Statements ..
*
      IF( upper ) THEN
*
*        Input matrices A and B are upper triangular matrices
*
*        Form matrix C = A*adj(B) = ( a b )
*                                   ( 0 d )
*
         a = a1*b3
         d = a3*b1
         b = a2*b1 - a1*b2
         fb = abs( b )
*
*        Transform complex 2-by-2 matrix C to real matrix by unitary
*        diagonal matrix diag(1,D1).
*
         d1 = one
         IF( fb.NE.zero )
     $      d1 = b / fb
*
*        The SVD of real 2 by 2 triangular C
*
*         ( CSL -SNL )*( A B )*(  CSR  SNR ) = ( R 0 )
*         ( SNL  CSL ) ( 0 D ) ( -SNR  CSR )   ( 0 T )
*
         CALL dlasv2( a, fb, d, s1, s2, snr, csr, snl, csl )
*
         IF( abs( csl ).GE.abs( snl ) .OR. abs( csr ).GE.abs( snr ) )
     $        THEN
*
*           Compute the (1,1) and (1,2) elements of U**H *A and V**H *B,
*           and (1,2) element of |U|**H *|A| and |V|**H *|B|.
*
            ua11r = csl*a1
            ua12 = csl*a2 + d1*snl*a3
*
            vb11r = csr*b1
            vb12 = csr*b2 + d1*snr*b3
*
            aua12 = abs( csl )*abs1( a2 ) + abs( snl )*abs( a3 )
            avb12 = abs( csr )*abs1( b2 ) + abs( snr )*abs( b3 )
*
*           zero (1,2) elements of U**H *A and V**H *B
*
            IF( ( abs( ua11r )+abs1( ua12 ) ).EQ.zero ) THEN
               CALL zlartg( -dcmplx( vb11r ), dconjg( vb12 ), csq,
     $                      snq,
     $                      r )
            ELSE IF( ( abs( vb11r )+abs1( vb12 ) ).EQ.zero ) THEN
               CALL zlartg( -dcmplx( ua11r ), dconjg( ua12 ), csq,
     $                      snq,
     $                      r )
            ELSE IF( aua12 / ( abs( ua11r )+abs1( ua12 ) ).LE.avb12 /
     $               ( abs( vb11r )+abs1( vb12 ) ) ) THEN
               CALL zlartg( -dcmplx( ua11r ), dconjg( ua12 ), csq,
     $                      snq,
     $                      r )
            ELSE
               CALL zlartg( -dcmplx( vb11r ), dconjg( vb12 ), csq,
     $                      snq,
     $                      r )
            END IF
*
            csu = csl
            snu = -d1*snl
            csv = csr
            snv = -d1*snr
*
         ELSE
*
*           Compute the (2,1) and (2,2) elements of U**H *A and V**H *B,
*           and (2,2) element of |U|**H *|A| and |V|**H *|B|.
*
            ua21 = -dconjg( d1 )*snl*a1
            ua22 = -dconjg( d1 )*snl*a2 + csl*a3
*
            vb21 = -dconjg( d1 )*snr*b1
            vb22 = -dconjg( d1 )*snr*b2 + csr*b3
*
            aua22 = abs( snl )*abs1( a2 ) + abs( csl )*abs( a3 )
            avb22 = abs( snr )*abs1( b2 ) + abs( csr )*abs( b3 )
*
*           zero (2,2) elements of U**H *A and V**H *B, and then swap.
*
            IF( ( abs1( ua21 )+abs1( ua22 ) ).EQ.zero ) THEN
               CALL zlartg( -dconjg( vb21 ), dconjg( vb22 ), csq,
     $                      snq,
     $                      r )
            ELSE IF( ( abs1( vb21 )+abs( vb22 ) ).EQ.zero ) THEN
               CALL zlartg( -dconjg( ua21 ), dconjg( ua22 ), csq,
     $                      snq,
     $                      r )
            ELSE IF( aua22 / ( abs1( ua21 )+abs1( ua22 ) ).LE.avb22 /
     $               ( abs1( vb21 )+abs1( vb22 ) ) ) THEN
               CALL zlartg( -dconjg( ua21 ), dconjg( ua22 ), csq,
     $                      snq,
     $                      r )
            ELSE
               CALL zlartg( -dconjg( vb21 ), dconjg( vb22 ), csq,
     $                      snq,
     $                      r )
            END IF
*
            csu = snl
            snu = d1*csl
            csv = snr
            snv = d1*csr
*
         END IF
*
      ELSE
*
*        Input matrices A and B are lower triangular matrices
*
*        Form matrix C = A*adj(B) = ( a 0 )
*                                   ( c d )
*
         a = a1*b3
         d = a3*b1
         c = a2*b3 - a3*b2
         fc = abs( c )
*
*        Transform complex 2-by-2 matrix C to real matrix by unitary
*        diagonal matrix diag(d1,1).
*
         d1 = one
         IF( fc.NE.zero )
     $      d1 = c / fc
*
*        The SVD of real 2 by 2 triangular C
*
*         ( CSL -SNL )*( A 0 )*(  CSR  SNR ) = ( R 0 )
*         ( SNL  CSL ) ( C D ) ( -SNR  CSR )   ( 0 T )
*
         CALL dlasv2( a, fc, d, s1, s2, snr, csr, snl, csl )
*
         IF( abs( csr ).GE.abs( snr ) .OR. abs( csl ).GE.abs( snl ) )
     $        THEN
*
*           Compute the (2,1) and (2,2) elements of U**H *A and V**H *B,
*           and (2,1) element of |U|**H *|A| and |V|**H *|B|.
*
            ua21 = -d1*snr*a1 + csr*a2
            ua22r = csr*a3
*
            vb21 = -d1*snl*b1 + csl*b2
            vb22r = csl*b3
*
            aua21 = abs( snr )*abs( a1 ) + abs( csr )*abs1( a2 )
            avb21 = abs( snl )*abs( b1 ) + abs( csl )*abs1( b2 )
*
*           zero (2,1) elements of U**H *A and V**H *B.
*
            IF( ( abs1( ua21 )+abs( ua22r ) ).EQ.zero ) THEN
               CALL zlartg( dcmplx( vb22r ), vb21, csq, snq, r )
            ELSE IF( ( abs1( vb21 )+abs( vb22r ) ).EQ.zero ) THEN
               CALL zlartg( dcmplx( ua22r ), ua21, csq, snq, r )
            ELSE IF( aua21 / ( abs1( ua21 )+abs( ua22r ) ).LE.avb21 /
     $               ( abs1( vb21 )+abs( vb22r ) ) ) THEN
               CALL zlartg( dcmplx( ua22r ), ua21, csq, snq, r )
            ELSE
               CALL zlartg( dcmplx( vb22r ), vb21, csq, snq, r )
            END IF
*
            csu = csr
            snu = -dconjg( d1 )*snr
            csv = csl
            snv = -dconjg( d1 )*snl
*
         ELSE
*
*           Compute the (1,1) and (1,2) elements of U**H *A and V**H *B,
*           and (1,1) element of |U|**H *|A| and |V|**H *|B|.
*
            ua11 = csr*a1 + dconjg( d1 )*snr*a2
            ua12 = dconjg( d1 )*snr*a3
*
            vb11 = csl*b1 + dconjg( d1 )*snl*b2
            vb12 = dconjg( d1 )*snl*b3
*
            aua11 = abs( csr )*abs( a1 ) + abs( snr )*abs1( a2 )
            avb11 = abs( csl )*abs( b1 ) + abs( snl )*abs1( b2 )
*
*           zero (1,1) elements of U**H *A and V**H *B, and then swap.
*
            IF( ( abs1( ua11 )+abs1( ua12 ) ).EQ.zero ) THEN
               CALL zlartg( vb12, vb11, csq, snq, r )
            ELSE IF( ( abs1( vb11 )+abs1( vb12 ) ).EQ.zero ) THEN
               CALL zlartg( ua12, ua11, csq, snq, r )
            ELSE IF( aua11 / ( abs1( ua11 )+abs1( ua12 ) ).LE.avb11 /
     $               ( abs1( vb11 )+abs1( vb12 ) ) ) THEN
               CALL zlartg( ua12, ua11, csq, snq, r )
            ELSE
               CALL zlartg( vb12, vb11, csq, snq, r )
            END IF
*
            csu = snr
            snu = dconjg( d1 )*csr
            csv = snl
            snv = dconjg( d1 )*csl
*
         END IF
*
      END IF
*
      RETURN
*
*     End of ZLAGS2
*
      END