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 <memory>
44 #include <blaze/math/Aliases.h>
50 #include <blaze/math/Exception.h>
54 #include <blaze/util/Assert.h>
56 #include <blaze/util/NumericCast.h>
57 
58 
59 namespace blaze {
60 
61 //=================================================================================================
62 //
63 // LAPACK HERMITIAN INDEFINITE LINEAR SYSTEM FUNCTIONS (HESV)
64 //
65 //=================================================================================================
66 
67 //*************************************************************************************************
70 template< typename MT, bool SO, typename VT, bool TF >
71 inline void hesv( 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 hesv( DenseMatrix<MT1,SO1>& A, DenseMatrix<MT2,SO2>& B, char uplo, int* ipiv );
76 //*************************************************************************************************
77 
78 
79 //*************************************************************************************************
138 template< typename MT // Type of the system matrix
139  , bool SO // Storage order of the system matrix
140  , typename VT // Type of the right-hand side vector
141  , bool TF > // Transpose flag of the right-hand side vector
142 inline void hesv( DenseMatrix<MT,SO>& A, DenseVector<VT,TF>& b, char uplo, int* ipiv )
143 {
149 
154 
155  using ET = ElementType_t<MT>;
156 
157  if( !isSquare( ~A ) ) {
158  BLAZE_THROW_INVALID_ARGUMENT( "Invalid non-square matrix provided" );
159  }
160 
161  if( (~b).size() != (~A).rows() ) {
162  BLAZE_THROW_INVALID_ARGUMENT( "Invalid right-hand side vector provided" );
163  }
164 
165  if( uplo != 'L' && uplo != 'U' ) {
166  BLAZE_THROW_INVALID_ARGUMENT( "Invalid uplo argument provided" );
167  }
168 
169  int n ( numeric_cast<int>( (~A).rows() ) );
170  int nrhs( 1 );
171  int lda ( numeric_cast<int>( (~A).spacing() ) );
172  int ldb ( numeric_cast<int>( (~b).size() ) );
173  int info( 0 );
174 
175  if( n == 0 ) {
176  return;
177  }
178 
179  if( IsRowMajorMatrix_v<MT> ) {
180  ( uplo == 'L' )?( uplo = 'U' ):( uplo = 'L' );
181  }
182 
183  int lwork( n*lda );
184  const std::unique_ptr<ET[]> work( new ET[lwork] );
185 
186  hesv( uplo, n, nrhs, (~A).data(), lda, ipiv, (~b).data(), ldb, work.get(), lwork, &info );
187 
188  BLAZE_INTERNAL_ASSERT( info >= 0, "Invalid function argument" );
189 
190  if( info > 0 ) {
191  BLAZE_THROW_LAPACK_ERROR( "Inversion of singular matrix failed" );
192  }
193 }
194 //*************************************************************************************************
195 
196 
197 //*************************************************************************************************
260 template< typename MT1 // Type of the system matrix
261  , bool SO1 // Storage order of the system matrix
262  , typename MT2 // Type of the right-hand side matrix
263  , bool SO2 > // Storage order of the right-hand side matrix
265  char uplo, int* ipiv )
266 {
272 
278 
279  using ET = ElementType_t<MT1>;
280 
281  if( !isSquare( ~A ) ) {
282  BLAZE_THROW_INVALID_ARGUMENT( "Invalid non-square matrix provided" );
283  }
284 
285  if( uplo != 'L' && uplo != 'U' ) {
286  BLAZE_THROW_INVALID_ARGUMENT( "Invalid uplo argument provided" );
287  }
288 
289  int n ( numeric_cast<int>( (~A).rows() ) );
290  int mrhs( numeric_cast<int>( SO2 ? (~B).rows() : (~B).columns() ) );
291  int nrhs( numeric_cast<int>( SO2 ? (~B).columns() : (~B).rows() ) );
292  int lda ( numeric_cast<int>( (~A).spacing() ) );
293  int ldb ( numeric_cast<int>( (~B).spacing() ) );
294  int info( 0 );
295 
296  if( n != mrhs ) {
297  BLAZE_THROW_INVALID_ARGUMENT( "Invalid right-hand side matrix provided" );
298  }
299 
300  if( n == 0 ) {
301  return;
302  }
303 
304  if( IsRowMajorMatrix_v<MT1> ) {
305  ( uplo == 'L' )?( uplo = 'U' ):( uplo = 'L' );
306  }
307 
308  int lwork( n*lda );
309  const std::unique_ptr<ET[]> work( new ET[lwork] );
310 
311  hesv( uplo, n, nrhs, (~A).data(), lda, ipiv, (~B).data(), ldb, work.get(), lwork, &info );
312 
313  BLAZE_INTERNAL_ASSERT( info >= 0, "Invalid function argument" );
314 
315  if( info > 0 ) {
316  BLAZE_THROW_LAPACK_ERROR( "Inversion of singular matrix failed" );
317  }
318 }
319 //*************************************************************************************************
320 
321 } // namespace blaze
322 
323 #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.
#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
MT::ElementType * data(DenseMatrix< MT, SO > &dm) noexcept
Low-level data access to the dense matrix elements.
Definition: DenseMatrix.h:169
#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
Constraint on the data type.
Constraint on the data type.
Cast operators for numeric types.
constexpr size_t columns(const Matrix< MT, SO > &matrix) noexcept
Returns the current number of columns of the matrix.
Definition: Matrix.h:514
#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:80
typename T::ElementType ElementType_t
Alias declaration for nested ElementType type definitions.The ElementType_t alias declaration provide...
Definition: Aliases.h:170
Header file for the CLAPACK hesv wrapper functions.
size_t spacing(const DenseMatrix< MT, SO > &dm) noexcept
Returns the spacing between the beginning of two rows/columns.
Definition: DenseMatrix.h:252
Constraint on the data type.
Namespace of the Blaze C++ math library.
Definition: Blaze.h:58
#define BLAZE_CONSTRAINT_MUST_BE_CONTIGUOUS_TYPE(T)
Constraint on the data type.In case the given data type T is not an array-like data type with contigu...
Definition: Contiguous.h:61
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:138
Base class for N-dimensional dense vectors.The DenseVector class is a base class for all arbitrarily ...
Definition: DenseVector.h:76
#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
Header file for the exception macros of the math module.
Constraint on the data type.
Header file for run time assertion macros.
constexpr size_t size(const Matrix< MT, SO > &matrix) noexcept
Returns the total number of elements of the matrix.
Definition: Matrix.h:530
#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
constexpr size_t rows(const Matrix< MT, SO > &matrix) noexcept
Returns the current number of rows of the matrix.
Definition: Matrix.h:498
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
bool isSquare(const Matrix< MT, SO > &matrix) noexcept
Checks if the given matrix is a square matrix.
Definition: Matrix.h:951
#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