sysv.h
Go to the documentation of this file.
1 //=================================================================================================
33 //=================================================================================================
34 
35 #ifndef _BLAZE_MATH_LAPACK_SYSV_H_
36 #define _BLAZE_MATH_LAPACK_SYSV_H_
37 
38 
39 //*************************************************************************************************
40 // Includes
41 //*************************************************************************************************
42 
43 #include <memory>
44 #include <boost/cast.hpp>
45 #include <blaze/math/Aliases.h>
50 #include <blaze/math/Exception.h>
55 #include <blaze/util/Assert.h>
57 
58 
59 namespace blaze {
60 
61 //=================================================================================================
62 //
63 // LAPACK SYMMETRIC INDEFINITE LINEAR SYSTEM FUNCTIONS (SYSV)
64 //
65 //=================================================================================================
66 
67 //*************************************************************************************************
70 template< typename MT, bool SO, typename VT, bool TF >
71 inline void sysv( DenseMatrix<MT,SO>& A, DenseVector<VT,TF>& b, char uplo, int* ipiv );
72 
73 template< typename MT1, bool SO1, typename MT2, bool SO2 >
74 inline void sysv( DenseMatrix<MT1,SO1>& A, DenseMatrix<MT2,SO2>& B, char uplo, int* ipiv );
76 //*************************************************************************************************
77 
78 
79 //*************************************************************************************************
137 template< typename MT // Type of the system matrix
138  , bool SO // Storage order of the system matrix
139  , typename VT // Type of the right-hand side vector
140  , bool TF > // Transpose flag of the right-hand side vector
141 inline void sysv( DenseMatrix<MT,SO>& A, DenseVector<VT,TF>& b, char uplo, int* ipiv )
142 {
143  using boost::numeric_cast;
144 
152 
153  typedef ElementType_<MT> ET;
154 
155  if( !isSquare( ~A ) ) {
156  BLAZE_THROW_INVALID_ARGUMENT( "Invalid non-square matrix provided" );
157  }
158 
159  if( uplo != 'L' && uplo != 'U' ) {
160  BLAZE_THROW_INVALID_ARGUMENT( "Invalid uplo argument provided" );
161  }
162 
163  int n ( numeric_cast<int>( (~A).rows() ) );
164  int nrhs( 1 );
165  int lda ( numeric_cast<int>( (~A).spacing() ) );
166  int ldb ( numeric_cast<int>( (~b).size() ) );
167  int info( 0 );
168 
169  if( n == 0 ) {
170  return;
171  }
172 
174  ( uplo == 'L' )?( uplo = 'U' ):( uplo = 'L' );
175  }
176 
177  int lwork( n*lda );
178  const std::unique_ptr<ET[]> work( new ET[lwork] );
179 
180  sysv( uplo, n, nrhs, (~A).data(), lda, ipiv, (~b).data(), ldb, work.get(), lwork, &info );
181 
182  BLAZE_INTERNAL_ASSERT( info >= 0, "Invalid function argument" );
183 
184  if( info > 0 ) {
185  BLAZE_THROW_LAPACK_ERROR( "Inversion of singular matrix failed" );
186  }
187 }
188 //*************************************************************************************************
189 
190 
191 //*************************************************************************************************
253 template< typename MT1 // Type of the system matrix
254  , bool SO1 // Storage order of the system matrix
255  , typename MT2 // Type of the right-hand side matrix
256  , bool SO2 > // Storage order of the right-hand side matrix
257 inline void sysv( DenseMatrix<MT1,SO1>& A, DenseMatrix<MT2,SO2>& B, char uplo, int* ipiv )
258 {
259  using boost::numeric_cast;
260 
269 
270  typedef ElementType_<MT1> ET;
271 
272  if( !isSquare( ~A ) ) {
273  BLAZE_THROW_INVALID_ARGUMENT( "Invalid non-square matrix provided" );
274  }
275 
276  if( uplo != 'L' && uplo != 'U' ) {
277  BLAZE_THROW_INVALID_ARGUMENT( "Invalid uplo argument provided" );
278  }
279 
280  int n ( numeric_cast<int>( (~A).rows() ) );
281  int mrhs( numeric_cast<int>( SO2 ? (~B).rows() : (~B).columns() ) );
282  int nrhs( numeric_cast<int>( SO2 ? (~B).columns() : (~B).rows() ) );
283  int lda ( numeric_cast<int>( (~A).spacing() ) );
284  int ldb ( numeric_cast<int>( (~B).spacing() ) );
285  int info( 0 );
286 
287  if( n != mrhs ) {
288  BLAZE_THROW_INVALID_ARGUMENT( "Matrix sizes do not match" );
289  }
290 
291  if( n == 0 ) {
292  return;
293  }
294 
296  ( uplo == 'L' )?( uplo = 'U' ):( uplo = 'L' );
297  }
298 
299  int lwork( n*lda );
300  const std::unique_ptr<ET[]> work( new ET[lwork] );
301 
302  sysv( uplo, n, nrhs, (~A).data(), lda, ipiv, (~B).data(), ldb, work.get(), lwork, &info );
303 
304  BLAZE_INTERNAL_ASSERT( info >= 0, "Invalid function argument" );
305 
306  if( info > 0 ) {
307  BLAZE_THROW_RUNTIME_ERROR( "Inversion of singular matrix failed" );
308  }
309 }
310 //*************************************************************************************************
311 
312 } // namespace blaze
313 
314 #endif
#define BLAZE_THROW_INVALID_ARGUMENT(MESSAGE)
Macro for the emission of a std::invalid_argument exception.This macro encapsulates the default way o...
Definition: Exception.h:235
Constraint on the data type.
Header file for auxiliary alias declarations.
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:61
BLAZE_ALWAYS_INLINE size_t size(const Vector< VT, TF > &vector) noexcept
Returns the current size/dimension of the vector.
Definition: Vector.h:258
#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:81
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:81
Base class for dense matrices.The DenseMatrix class is a base class for all dense matrix classes...
Definition: DenseMatrix.h:70
constexpr bool spacing
Adding an additional spacing line between two log messages.This setting gives the opportunity to add ...
Definition: Logging.h:70
#define BLAZE_THROW_RUNTIME_ERROR(MESSAGE)
Macro for the emission of a std::runtime_error exception.This macro encapsulates the default way of B...
Definition: Exception.h:379
Constraint on the data type.
Namespace of the Blaze C++ math library.
Definition: Blaze.h:57
Compile time check for row-major matrix types.This type trait tests whether or not the given template...
Definition: IsRowMajorMatrix.h:83
Header file for the DenseMatrix base class.
typename T::ElementType ElementType_
Alias declaration for nested ElementType type definitions.The ElementType_ alias declaration provides...
Definition: Aliases.h:163
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:71
BLAZE_ALWAYS_INLINE size_t columns(const Matrix< MT, SO > &matrix) noexcept
Returns the current number of columns of the matrix.
Definition: Matrix.h:330
Header file for the CLAPACK sysv wrapper functions.
Header file for the exception macros of the math module.
Constraint on the data type.
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:61
BLAZE_ALWAYS_INLINE size_t rows(const Matrix< MT, SO > &matrix) noexcept
Returns the current number of rows of the matrix.
Definition: Matrix.h:314
Header file for the IsRowMajorMatrix type trait.
#define BLAZE_THROW_LAPACK_ERROR(MESSAGE)
Macro for the emission of an exception on detection of a LAPACK error.This macro encapsulates the def...
Definition: Exception.h:146
void sysv(char uplo, int n, int nrhs, float *A, int lda, int *ipiv, float *B, int ldb, float *work, int lwork, int *info)
LAPACK kernel for solving a symmetric indefinite single precision linear system of equations ( )...
Definition: sysv.h:143
BLAZE_ALWAYS_INLINE bool isSquare(const Matrix< MT, SO > &matrix) noexcept
Checks if the given matrix is a square matrix.
Definition: Matrix.h:609
#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