posv.h
Go to the documentation of this file.
1 //=================================================================================================
33 //=================================================================================================
34 
35 #ifndef _BLAZE_MATH_LAPACK_POSV_H_
36 #define _BLAZE_MATH_LAPACK_POSV_H_
37 
38 
39 //*************************************************************************************************
40 // Includes
41 //*************************************************************************************************
42 
43 #include <boost/cast.hpp>
50 #include <blaze/util/Assert.h>
51 #include <blaze/util/Complex.h>
53 #include <blaze/util/Exception.h>
55 
56 
57 namespace blaze {
58 
59 //=================================================================================================
60 //
61 // LAPACK FORWARD DECLARATIONS
62 //
63 //=================================================================================================
64 
65 //*************************************************************************************************
67 extern "C" {
68 
69 void sposv_( char* uplo, int* n, int* nrhs, float* A, int* lda, float* b, int* ldb, int* info );
70 void dposv_( char* uplo, int* n, int* nrhs, double* A, int* lda, double* b, int* ldb, int* info );
71 void cposv_( char* uplo, int* n, int* nrhs, float* A, int* lda, float* b, int* ldb, int* info );
72 void zposv_( char* uplo, int* n, int* nrhs, double* A, int* lda, double* b, int* ldb, int* info );
73 
74 }
76 //*************************************************************************************************
77 
78 
79 
80 
81 //=================================================================================================
82 //
83 // LAPACK POSITIVE DEFINITE LINEAR SYSTEM FUNCTIONS (POSV)
84 //
85 //=================================================================================================
86 
87 //*************************************************************************************************
90 inline void posv( char uplo, int n, int nrhs, float* A, int lda, float* B, int ldb, int* info );
91 
92 inline void posv( char uplo, int n, int nrhs, double* A, int lda, double* B, int ldb, int* info );
93 
94 inline void posv( char uplo, int n, int nrhs, complex<float>* A, int lda, complex<float>* B, int ldb, int* info );
95 
96 inline void posv( char uplo, int n, int nrhs, complex<double>* A, int lda, complex<double>* B, int ldb, int* info );
97 
98 template< typename MT, bool SO, typename VT, bool TF >
99 inline void posv( DenseMatrix<MT,SO>& A, DenseVector<VT,TF>& b, char uplo );
100 
101 template< typename MT1, bool SO1, typename MT2, bool SO2 >
102 inline void posv( DenseMatrix<MT1,SO1>& A, DenseMatrix<MT2,SO2>& B, char uplo );
104 //*************************************************************************************************
105 
106 
107 //*************************************************************************************************
151 inline void posv( char uplo, int n, int nrhs, float* A, int lda, float* B, int ldb, int* info )
152 {
153  sposv_( &uplo, &n, &nrhs, A, &lda, B, &ldb, info );
154 }
155 //*************************************************************************************************
156 
157 
158 //*************************************************************************************************
202 inline void posv( char uplo, int n, int nrhs, double* A, int lda, double* B, int ldb, int* info )
203 {
204  dposv_( &uplo, &n, &nrhs, A, &lda, B, &ldb, info );
205 }
206 //*************************************************************************************************
207 
208 
209 //*************************************************************************************************
253 inline void posv( char uplo, int n, int nrhs, complex<float>* A, int lda, complex<float>* B, int ldb, int* info )
254 {
255  BLAZE_STATIC_ASSERT( sizeof( complex<float> ) == 2UL*sizeof( float ) );
256 
257  cposv_( &uplo, &n, &nrhs, reinterpret_cast<float*>( A ), &lda,
258  reinterpret_cast<float*>( B ), &ldb, info );
259 }
260 //*************************************************************************************************
261 
262 
263 //*************************************************************************************************
307 inline void posv( char uplo, int n, int nrhs, complex<double>* A, int lda, complex<double>* B, int ldb, int* info )
308 {
309  BLAZE_STATIC_ASSERT( sizeof( complex<double> ) == 2UL*sizeof( double ) );
310 
311  zposv_( &uplo, &n, &nrhs, reinterpret_cast<double*>( A ), &lda,
312  reinterpret_cast<double*>( B ), &ldb, info );
313 }
314 //*************************************************************************************************
315 
316 
317 //*************************************************************************************************
373 template< typename MT // Type of the system matrix
374  , bool SO // Storage order of the system matrix
375  , typename VT // Type of the right-hand side vector
376  , bool TF > // Transpose flag of the right-hand side vector
377 inline void posv( DenseMatrix<MT,SO>& A, DenseVector<VT,TF>& b, char uplo )
378 {
379  using boost::numeric_cast;
380 
388 
389  if( !isSquare( ~A ) ) {
390  BLAZE_THROW_INVALID_ARGUMENT( "Invalid non-square matrix provided" );
391  }
392 
393  if( uplo != 'L' && uplo != 'U' ) {
394  BLAZE_THROW_INVALID_ARGUMENT( "Invalid uplo argument provided" );
395  }
396 
397  int n ( numeric_cast<int>( (~A).rows() ) );
398  int nrhs( 1 );
399  int lda ( numeric_cast<int>( (~A).spacing() ) );
400  int ldb ( numeric_cast<int>( (~b).size() ) );
401  int info( 0 );
402 
403  if( n == 0 ) {
404  return;
405  }
406 
408  ( uplo == 'L' )?( uplo = 'U' ):( uplo = 'L' );
409  }
410 
411  posv( uplo, n, nrhs, (~A).data(), lda, (~b).data(), ldb, &info );
412 
413  BLAZE_INTERNAL_ASSERT( info >= 0, "Invalid function argument" );
414 
415  if( info > 0 ) {
416  BLAZE_THROW_INVALID_ARGUMENT( "Inversion of singular matrix failed" );
417  }
418 }
419 //*************************************************************************************************
420 
421 
422 //*************************************************************************************************
482 template< typename MT1 // Type of the system matrix
483  , bool SO1 // Storage order of the system matrix
484  , typename MT2 // Type of the right-hand side matrix
485  , bool SO2 > // Storage order of the right-hand side matrix
486 inline void posv( DenseMatrix<MT1,SO1>& A, DenseMatrix<MT2,SO2>& B, char uplo )
487 {
488  using boost::numeric_cast;
489 
498 
499  if( !isSquare( ~A ) ) {
500  BLAZE_THROW_INVALID_ARGUMENT( "Invalid non-square matrix provided" );
501  }
502 
503  if( uplo != 'L' && uplo != 'U' ) {
504  BLAZE_THROW_INVALID_ARGUMENT( "Invalid uplo argument provided" );
505  }
506 
507  int n ( numeric_cast<int>( (~A).rows() ) );
508  int mrhs( numeric_cast<int>( SO2 ? (~B).rows() : (~B).columns() ) );
509  int nrhs( numeric_cast<int>( SO2 ? (~B).columns() : (~B).rows() ) );
510  int lda ( numeric_cast<int>( (~A).spacing() ) );
511  int ldb ( numeric_cast<int>( (~B).spacing() ) );
512  int info( 0 );
513 
514  if( n != mrhs ) {
515  BLAZE_THROW_INVALID_ARGUMENT( "Matrix sizes do not match" );
516  }
517 
518  if( n == 0 ) {
519  return;
520  }
521 
523  ( uplo == 'L' )?( uplo = 'U' ):( uplo = 'L' );
524  }
525 
526  posv( uplo, n, nrhs, (~A).data(), lda, (~B).data(), ldb, &info );
527 
528  BLAZE_INTERNAL_ASSERT( info >= 0, "Invalid function argument" );
529 
530  if( info > 0 ) {
531  BLAZE_THROW_INVALID_ARGUMENT( "Inversion of singular matrix failed" );
532  }
533 }
534 //*************************************************************************************************
535 
536 } // namespace blaze
537 
538 #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
BLAZE_ALWAYS_INLINE size_t rows(const Matrix< MT, SO > &matrix)
Returns the current number of rows of the matrix.
Definition: Matrix.h:308
Header file for the DenseVector base class.
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.
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
void posv(char uplo, int n, int nrhs, float *A, int lda, float *B, int ldb, int *info)
LAPACK kernel for solving a positive definite single precision linear system of equations ( )...
Definition: posv.h:151
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
#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