gesv.h
Go to the documentation of this file.
1 //=================================================================================================
33 //=================================================================================================
34 
35 #ifndef _BLAZE_MATH_LAPACK_GESV_H_
36 #define _BLAZE_MATH_LAPACK_GESV_H_
37 
38 
39 //*************************************************************************************************
40 // Includes
41 //*************************************************************************************************
42 
43 #include <boost/cast.hpp>
44 #include <blaze/math/Aliases.h>
49 #include <blaze/math/Exception.h>
53 #include <blaze/util/Assert.h>
55 
56 
57 namespace blaze {
58 
59 //=================================================================================================
60 //
61 // LAPACK GENERAL LINEAR SYSTEM FUNCTIONS (GESV)
62 //
63 //=================================================================================================
64 
65 //*************************************************************************************************
68 template< typename MT, bool SO, typename VT, bool TF >
69 inline void gesv( DenseMatrix<MT,SO>& A, DenseVector<VT,TF>& b, int* ipiv );
70 
71 template< typename MT1, bool SO1, typename MT2, bool SO2 >
72 inline void gesv( DenseMatrix<MT1,SO1>& A, DenseMatrix<MT2,SO2>& B, int* ipiv );
74 //*************************************************************************************************
75 
76 
77 //*************************************************************************************************
128 template< typename MT // Type of the system matrix
129  , bool SO // Storage order of the system matrix
130  , typename VT // Type of the right-hand side vector
131  , bool TF > // Transpose flag of the right-hand side vector
132 inline void gesv( DenseMatrix<MT,SO>& A, DenseVector<VT,TF>& b, int* ipiv )
133 {
134  using boost::numeric_cast;
135 
143 
144  if( !isSquare( ~A ) ) {
145  BLAZE_THROW_INVALID_ARGUMENT( "Invalid non-square matrix provided" );
146  }
147 
148  int n ( numeric_cast<int>( (~A).rows() ) );
149  int nrhs( 1 );
150  int lda ( numeric_cast<int>( (~A).spacing() ) );
151  int ldb ( numeric_cast<int>( (~b).size() ) );
152  int info( 0 );
153 
154  if( n == 0 ) {
155  return;
156  }
157 
158  gesv( n, nrhs, (~A).data(), lda, ipiv, (~b).data(), ldb, &info );
159 
160  BLAZE_INTERNAL_ASSERT( info >= 0, "Invalid function argument" );
161 
162  if( info > 0 ) {
163  BLAZE_THROW_LAPACK_ERROR( "Inversion of singular matrix failed" );
164  }
165 }
166 //*************************************************************************************************
167 
168 
169 //*************************************************************************************************
225 template< typename MT1 // Type of the system matrix
226  , bool SO1 // Storage order of the system matrix
227  , typename MT2 // Type of the right-hand side matrix
228  , bool SO2 > // Storage order of the right-hand side matrix
229 inline void gesv( DenseMatrix<MT1,SO1>& A, DenseMatrix<MT2,SO2>& B, int* ipiv )
230 {
231  using boost::numeric_cast;
232 
241 
242  if( !isSquare( ~A ) ) {
243  BLAZE_THROW_INVALID_ARGUMENT( "Invalid non-square matrix provided" );
244  }
245 
246  int n ( numeric_cast<int>( (~A).rows() ) );
247  int mrhs( numeric_cast<int>( SO2 ? (~B).rows() : (~B).columns() ) );
248  int nrhs( numeric_cast<int>( SO2 ? (~B).columns() : (~B).rows() ) );
249  int lda ( numeric_cast<int>( (~A).spacing() ) );
250  int ldb ( numeric_cast<int>( (~B).spacing() ) );
251  int info( 0 );
252 
253  if( n != mrhs ) {
254  BLAZE_THROW_INVALID_ARGUMENT( "Matrix sizes do not match" );
255  }
256 
257  if( n == 0 ) {
258  return;
259  }
260 
261  gesv( n, nrhs, (~A).data(), lda, ipiv, (~B).data(), ldb, &info );
262 
263  BLAZE_INTERNAL_ASSERT( info >= 0, "Invalid function argument" );
264 
265  if( info > 0 ) {
266  BLAZE_THROW_LAPACK_ERROR( "Inversion of singular matrix failed" );
267  }
268 }
269 //*************************************************************************************************
270 
271 } // namespace blaze
272 
273 #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
Header file for the CLAPACK gesv wrapper functions.
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
void gesv(int n, int nrhs, float *A, int lda, int *ipiv, float *B, int ldb, int *info)
LAPACK kernel for solving a general single precision linear system of equations ( )...
Definition: gesv.h:133
constexpr bool spacing
Adding an additional spacing line between two log messages.This setting gives the opportunity to add ...
Definition: Logging.h:70
Constraint on the data type.
Namespace of the Blaze C++ math library.
Definition: Blaze.h:57
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 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
#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
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