hesv.h
Go to the documentation of this file.
1 //=================================================================================================
33 //=================================================================================================
34 
35 #ifndef _BLAZE_MATH_LAPACK_HESV_H_
36 #define _BLAZE_MATH_LAPACK_HESV_H_
37 
38 
39 //*************************************************************************************************
40 // Includes
41 //*************************************************************************************************
42 
43 #include <boost/cast.hpp>
49 #include <blaze/util/Assert.h>
50 #include <blaze/util/Complex.h>
52 #include <blaze/util/Exception.h>
54 
55 
56 namespace blaze {
57 
58 //=================================================================================================
59 //
60 // LAPACK FORWARD DECLARATIONS
61 //
62 //=================================================================================================
63 
64 //*************************************************************************************************
66 extern "C" {
67 
68 void chesv_( char* uplo, int* n, int* nrhs, float* A, int* lda, int* ipiv, float* b, int* ldb, float* work, int* lwork, int* info );
69 void zhesv_( char* uplo, int* n, int* nrhs, double* A, int* lda, int* ipiv, double* b, int* ldb, double* work, int* lwork, int* info );
70 
71 }
73 //*************************************************************************************************
74 
75 
76 
77 
78 //=================================================================================================
79 //
80 // LAPACK HERMITIAN INDEFINITE LINEAR SYSTEM FUNCTIONS (HESV)
81 //
82 //=================================================================================================
83 
84 //*************************************************************************************************
87 inline void hesv( char uplo, int n, int nrhs, complex<float>* A, int lda, int* ipiv,
88  complex<float>* B, int ldb, complex<float>* work, int lwork, int* info );
89 
90 inline void hesv( char uplo, int n, int nrhs, complex<double>* A, int lda, int* ipiv,
91  complex<double>* B, int ldb, complex<double>* work, int lwork, int* info );
92 
93 template< typename MT, bool SO, typename VT, bool TF >
94 inline void hesv( DenseMatrix<MT,SO>& A, DenseVector<VT,TF>& b, char uplo, int* ipiv );
95 
96 template< typename MT1, bool SO1, typename MT2, bool SO2 >
97 inline void hesv( DenseMatrix<MT1,SO1>& A, DenseMatrix<MT2,SO2>& B, char uplo, int* ipiv );
99 //*************************************************************************************************
100 
101 
102 //*************************************************************************************************
150 inline void hesv( char uplo, int n, int nrhs, complex<float>* A, int lda, int* ipiv,
151  complex<float>* B, int ldb, complex<float>* work, int lwork, int* info )
152 {
153  BLAZE_STATIC_ASSERT( sizeof( complex<float> ) == 2UL*sizeof( float ) );
154 
155  chesv_( &uplo, &n, &nrhs, reinterpret_cast<float*>( A ), &lda, ipiv,
156  reinterpret_cast<float*>( B ), &ldb, reinterpret_cast<float*>( work ), &lwork, info );
157 }
158 //*************************************************************************************************
159 
160 
161 //*************************************************************************************************
209 inline void hesv( char uplo, int n, int nrhs, complex<double>* A, int lda, int* ipiv,
210  complex<double>* B, int ldb, complex<double>* work, int lwork, int* info )
211 {
212  BLAZE_STATIC_ASSERT( sizeof( complex<double> ) == 2UL*sizeof( double ) );
213 
214  zhesv_( &uplo, &n, &nrhs, reinterpret_cast<double*>( A ), &lda, ipiv,
215  reinterpret_cast<double*>( B ), &ldb, reinterpret_cast<double*>( work ), &lwork, info );
216 }
217 //*************************************************************************************************
218 
219 
220 //*************************************************************************************************
278 template< typename MT // Type of the system matrix
279  , bool SO // Storage order of the system matrix
280  , typename VT // Type of the right-hand side vector
281  , bool TF > // Transpose flag of the right-hand side vector
282 inline void hesv( DenseMatrix<MT,SO>& A, DenseVector<VT,TF>& b, char uplo, int* ipiv )
283 {
284  using boost::numeric_cast;
285 
293 
294  typedef typename MT::ElementType ET;
295 
296  if( !isSquare( ~A ) ) {
297  BLAZE_THROW_INVALID_ARGUMENT( "Invalid non-square matrix provided" );
298  }
299 
300  if( uplo != 'L' && uplo != 'U' ) {
301  BLAZE_THROW_INVALID_ARGUMENT( "Invalid uplo argument provided" );
302  }
303 
304  int n ( numeric_cast<int>( (~A).rows() ) );
305  int nrhs( 1 );
306  int lda ( numeric_cast<int>( (~A).spacing() ) );
307  int ldb ( numeric_cast<int>( (~b).size() ) );
308  int info( 0 );
309 
310  if( n == 0 ) {
311  return;
312  }
313 
315  ( uplo == 'L' )?( uplo = 'U' ):( uplo = 'L' );
316  }
317 
318  int lwork( n*lda );
319  const UniqueArray<ET> work( new ET[lwork] );
320 
321  hesv( uplo, n, nrhs, (~A).data(), lda, ipiv, (~b).data(), ldb, work.get(), lwork, &info );
322 
323  BLAZE_INTERNAL_ASSERT( info >= 0, "Invalid function argument" );
324 
325  if( info > 0 ) {
326  BLAZE_THROW_INVALID_ARGUMENT( "Inversion of singular matrix failed" );
327  }
328 }
329 //*************************************************************************************************
330 
331 
332 //*************************************************************************************************
394 template< typename MT1 // Type of the system matrix
395  , bool SO1 // Storage order of the system matrix
396  , typename MT2 // Type of the right-hand side matrix
397  , bool SO2 > // Storage order of the right-hand side matrix
399  char uplo, int* ipiv )
400 {
401  using boost::numeric_cast;
402 
411 
412  typedef typename MT1::ElementType ET;
413 
414  if( !isSquare( ~A ) ) {
415  BLAZE_THROW_INVALID_ARGUMENT( "Invalid non-square matrix provided" );
416  }
417 
418  if( uplo != 'L' && uplo != 'U' ) {
419  BLAZE_THROW_INVALID_ARGUMENT( "Invalid uplo argument provided" );
420  }
421 
422  int n ( numeric_cast<int>( (~A).rows() ) );
423  int mrhs( numeric_cast<int>( SO2 ? (~B).rows() : (~B).columns() ) );
424  int nrhs( numeric_cast<int>( SO2 ? (~B).columns() : (~B).rows() ) );
425  int lda ( numeric_cast<int>( (~A).spacing() ) );
426  int ldb ( numeric_cast<int>( (~B).spacing() ) );
427  int info( 0 );
428 
429  if( n != mrhs ) {
430  BLAZE_THROW_INVALID_ARGUMENT( "Matrix sizes do not match" );
431  }
432 
433  if( n == 0 ) {
434  return;
435  }
436 
438  ( uplo == 'L' )?( uplo = 'U' ):( uplo = 'L' );
439  }
440 
441  int lwork( n*lda );
442  const UniqueArray<ET> work( new ET[lwork] );
443 
444  hesv( uplo, n, nrhs, (~A).data(), lda, ipiv, (~B).data(), ldb, work.get(), lwork, &info );
445 
446  BLAZE_INTERNAL_ASSERT( info >= 0, "Invalid function argument" );
447 
448  if( info > 0 ) {
449  BLAZE_THROW_INVALID_ARGUMENT( "Inversion of singular matrix failed" );
450  }
451 }
452 //*************************************************************************************************
453 
454 } // namespace blaze
455 
456 #endif
#define BLAZE_THROW_INVALID_ARGUMENT(MESSAGE)
Macro for the emission of a std::invalid_argument exceptionThis macro encapsulates the default way of...
Definition: Exception.h:187
Constraint on the data type.
Data type constraint.
Log level for high-level information.
Definition: LogLevel.h:80
#define BLAZE_CONSTRAINT_MUST_HAVE_MUTABLE_DATA_ACCESS(T)
Constraint on the data type.In case the given data type T does not provide low-level data access to m...
Definition: MutableDataAccess.h:79
BLAZE_ALWAYS_INLINE bool isSquare(const Matrix< MT, SO > &matrix)
Checks if the given matrix is a square matrix.
Definition: Matrix.h:603
BLAZE_ALWAYS_INLINE size_t size(const Vector< VT, TF > &vector)
Returns the current size/dimension of the vector.
Definition: Vector.h:252
#define BLAZE_CONSTRAINT_MUST_NOT_BE_COMPUTATION_TYPE(T)
Constraint on the data type.In case the given data type T is a computational expression (i...
Definition: Computation.h:118
Pointer get() const
Returns a pointer to the managed array.
Definition: UniqueArray.h:245
BLAZE_ALWAYS_INLINE size_t rows(const Matrix< MT, SO > &matrix)
Returns the current number of rows of the matrix.
Definition: Matrix.h:308
Constraint on the data type.
#define BLAZE_CONSTRAINT_MUST_NOT_BE_ADAPTOR_TYPE(T)
Constraint on the data type.In case the given data type T is an adaptor type (as for instance LowerMa...
Definition: Adaptor.h:118
Base class for dense matrices.The DenseMatrix class is a base class for all dense matrix classes...
Definition: DenseMatrix.h:70
Namespace of the Blaze C++ math library.
Definition: Blaze.h:57
Compile time assertion.
Compile time check for row-major matrix types.This type trait tests whether or not the given template...
Definition: IsRowMajorMatrix.h:110
Header file for the DenseMatrix base class.
void hesv(char uplo, int n, int nrhs, complex< float > *A, int lda, int *ipiv, complex< float > *B, int ldb, complex< float > *work, int lwork, int *info)
LAPACK kernel for solving a Hermitian indefinite single precision complex linear system of equations ...
Definition: hesv.h:150
Base class for N-dimensional dense vectors.The DenseVector class is a base class for all arbitrarily ...
Definition: DenseVector.h:70
#define BLAZE_CONSTRAINT_MUST_BE_SAME_TYPE(A, B)
Data type constraint.In case the two types A and B are not the same (ignoring all cv-qualifiers of bo...
Definition: SameType.h:89
Type ElementType
Type of the sparse matrix elements.
Definition: CompressedMatrix.h:2586
Constraint on the data type.
Constraint on the data type.
const bool spacing
Adding an additional spacing line between two log messages.This setting gives the opportunity to add ...
Definition: Logging.h:70
Header file for run time assertion macros.
#define BLAZE_CONSTRAINT_MUST_BE_BLAS_COMPATIBLE_TYPE(T)
Constraint on the data type.In case the given data type T is not a BLAS compatible data type (i...
Definition: BlasCompatible.h:79
BLAZE_ALWAYS_INLINE size_t columns(const Matrix< MT, SO > &matrix)
Returns the current number of columns of the matrix.
Definition: Matrix.h:324
Header file for the complex data type.
Header file for exception macros.
#define BLAZE_STATIC_ASSERT(expr)
Compile time assertion macro.In case of an invalid compile time expression, a compilation error is cr...
Definition: StaticAssert.h:143
Scope-limited management of dynamically allocated arrays.The UniqueArray class implements a scope-res...
Definition: UniqueArray.h:97
#define BLAZE_INTERNAL_ASSERT(expr, msg)
Run time assertion macro for internal checks.In case of an invalid run time expression, the program execution is terminated. The BLAZE_INTERNAL_ASSERT macro can be disabled by setting the BLAZE_USER_ASSERTION flag to zero or by defining NDEBUG during the compilation.
Definition: Assert.h:101