TR-mbed 1.0
Loading...
Searching...
No Matches
KLUSupport.h
Go to the documentation of this file.
1// This file is part of Eigen, a lightweight C++ template library
2// for linear algebra.
3//
4// Copyright (C) 2017 Kyle Macfarlan <kyle.macfarlan@gmail.com>
5//
6// This Source Code Form is subject to the terms of the Mozilla
7// Public License v. 2.0. If a copy of the MPL was not distributed
8// with this file, You can obtain one at http://mozilla.org/MPL/2.0/.
9
10#ifndef EIGEN_KLUSUPPORT_H
11#define EIGEN_KLUSUPPORT_H
12
13namespace Eigen {
14
15/* TODO extract L, extract U, compute det, etc... */
16
34inline int klu_solve(klu_symbolic *Symbolic, klu_numeric *Numeric, Index ldim, Index nrhs, double B [ ], klu_common *Common, double) {
35 return klu_solve(Symbolic, Numeric, internal::convert_index<int>(ldim), internal::convert_index<int>(nrhs), B, Common);
36}
37
38inline int klu_solve(klu_symbolic *Symbolic, klu_numeric *Numeric, Index ldim, Index nrhs, std::complex<double>B[], klu_common *Common, std::complex<double>) {
39 return klu_z_solve(Symbolic, Numeric, internal::convert_index<int>(ldim), internal::convert_index<int>(nrhs), &numext::real_ref(B[0]), Common);
40}
41
42inline int klu_tsolve(klu_symbolic *Symbolic, klu_numeric *Numeric, Index ldim, Index nrhs, double B[], klu_common *Common, double) {
43 return klu_tsolve(Symbolic, Numeric, internal::convert_index<int>(ldim), internal::convert_index<int>(nrhs), B, Common);
44}
45
46inline int klu_tsolve(klu_symbolic *Symbolic, klu_numeric *Numeric, Index ldim, Index nrhs, std::complex<double>B[], klu_common *Common, std::complex<double>) {
47 return klu_z_tsolve(Symbolic, Numeric, internal::convert_index<int>(ldim), internal::convert_index<int>(nrhs), &numext::real_ref(B[0]), 0, Common);
48}
49
50inline klu_numeric* klu_factor(int Ap [ ], int Ai [ ], double Ax [ ], klu_symbolic *Symbolic, klu_common *Common, double) {
51 return klu_factor(Ap, Ai, Ax, Symbolic, Common);
52}
53
54inline klu_numeric* klu_factor(int Ap[], int Ai[], std::complex<double> Ax[], klu_symbolic *Symbolic, klu_common *Common, std::complex<double>) {
55 return klu_z_factor(Ap, Ai, &numext::real_ref(Ax[0]), Symbolic, Common);
56}
57
58
59template<typename _MatrixType>
60class KLU : public SparseSolverBase<KLU<_MatrixType> >
61{
62 protected:
65 public:
67 typedef _MatrixType MatrixType;
68 typedef typename MatrixType::Scalar Scalar;
69 typedef typename MatrixType::RealScalar RealScalar;
70 typedef typename MatrixType::StorageIndex StorageIndex;
77 enum {
78 ColsAtCompileTime = MatrixType::ColsAtCompileTime,
79 MaxColsAtCompileTime = MatrixType::MaxColsAtCompileTime
80 };
81
82 public:
83
86 {
87 init();
88 }
89
90 template<typename InputMatrixType>
91 explicit KLU(const InputMatrixType& matrix)
93 {
94 init();
96 }
97
99 {
100 if(m_symbolic) klu_free_symbolic(&m_symbolic,&m_common);
101 if(m_numeric) klu_free_numeric(&m_numeric,&m_common);
102 }
103
104 EIGEN_CONSTEXPR inline Index rows() const EIGEN_NOEXCEPT { return mp_matrix.rows(); }
105 EIGEN_CONSTEXPR inline Index cols() const EIGEN_NOEXCEPT { return mp_matrix.cols(); }
106
113 {
114 eigen_assert(m_isInitialized && "Decomposition is not initialized.");
115 return m_info;
116 }
117#if 0 // not implemented yet
118 inline const LUMatrixType& matrixL() const
119 {
120 if (m_extractedDataAreDirty) extractData();
121 return m_l;
122 }
123
124 inline const LUMatrixType& matrixU() const
125 {
126 if (m_extractedDataAreDirty) extractData();
127 return m_u;
128 }
129
130 inline const IntColVectorType& permutationP() const
131 {
132 if (m_extractedDataAreDirty) extractData();
133 return m_p;
134 }
135
136 inline const IntRowVectorType& permutationQ() const
137 {
138 if (m_extractedDataAreDirty) extractData();
139 return m_q;
140 }
141#endif
146 template<typename InputMatrixType>
147 void compute(const InputMatrixType& matrix)
148 {
149 if(m_symbolic) klu_free_symbolic(&m_symbolic, &m_common);
150 if(m_numeric) klu_free_numeric(&m_numeric, &m_common);
151 grab(matrix.derived());
154 }
155
162 template<typename InputMatrixType>
163 void analyzePattern(const InputMatrixType& matrix)
164 {
165 if(m_symbolic) klu_free_symbolic(&m_symbolic, &m_common);
166 if(m_numeric) klu_free_numeric(&m_numeric, &m_common);
167
168 grab(matrix.derived());
169
171 }
172
173
178 inline const klu_common& kluCommon() const
179 {
180 return m_common;
181 }
182
189 inline klu_common& kluCommon()
190 {
191 return m_common;
192 }
193
200 template<typename InputMatrixType>
201 void factorize(const InputMatrixType& matrix)
202 {
203 eigen_assert(m_analysisIsOk && "KLU: you must first call analyzePattern()");
204 if(m_numeric)
205 klu_free_numeric(&m_numeric,&m_common);
206
207 grab(matrix.derived());
208
210 }
211
213 template<typename BDerived,typename XDerived>
215
216#if 0 // not implemented yet
217 Scalar determinant() const;
218
219 void extractData() const;
220#endif
221
222 protected:
223
224 void init()
225 {
227 m_isInitialized = false;
228 m_numeric = 0;
229 m_symbolic = 0;
231
232 klu_defaults(&m_common);
233 }
234
236 {
238 m_analysisIsOk = false;
239 m_factorizationIsOk = false;
241 const_cast<StorageIndex*>(mp_matrix.outerIndexPtr()), const_cast<StorageIndex*>(mp_matrix.innerIndexPtr()),
242 &m_common);
243 if (m_symbolic) {
244 m_isInitialized = true;
245 m_info = Success;
246 m_analysisIsOk = true;
248 }
249 }
250
252 {
253
254 m_numeric = klu_factor(const_cast<StorageIndex*>(mp_matrix.outerIndexPtr()), const_cast<StorageIndex*>(mp_matrix.innerIndexPtr()), const_cast<Scalar*>(mp_matrix.valuePtr()),
256
257
261 }
262
263 template<typename MatrixDerived>
265 {
266 mp_matrix.~KLUMatrixRef();
267 ::new (&mp_matrix) KLUMatrixRef(A.derived());
268 }
269
270 void grab(const KLUMatrixRef &A)
271 {
272 if(&(A.derived()) != &mp_matrix)
273 {
274 mp_matrix.~KLUMatrixRef();
275 ::new (&mp_matrix) KLUMatrixRef(A);
276 }
277 }
278
279 // cached data to reduce reallocation, etc.
280#if 0 // not implemented yet
281 mutable LUMatrixType m_l;
282 mutable LUMatrixType m_u;
283 mutable IntColVectorType m_p;
284 mutable IntRowVectorType m_q;
285#endif
286
289
290 klu_numeric* m_numeric;
291 klu_symbolic* m_symbolic;
292 klu_common m_common;
297
298 private:
299 KLU(const KLU& ) { }
300};
301
302#if 0 // not implemented yet
303template<typename MatrixType>
304void KLU<MatrixType>::extractData() const
305{
306 if (m_extractedDataAreDirty)
307 {
308 eigen_assert(false && "KLU: extractData Not Yet Implemented");
309
310 // get size of the data
311 int lnz, unz, rows, cols, nz_udiag;
312 umfpack_get_lunz(&lnz, &unz, &rows, &cols, &nz_udiag, m_numeric, Scalar());
313
314 // allocate data
315 m_l.resize(rows,(std::min)(rows,cols));
316 m_l.resizeNonZeros(lnz);
317
318 m_u.resize((std::min)(rows,cols),cols);
319 m_u.resizeNonZeros(unz);
320
321 m_p.resize(rows);
322 m_q.resize(cols);
323
324 // extract
325 umfpack_get_numeric(m_l.outerIndexPtr(), m_l.innerIndexPtr(), m_l.valuePtr(),
326 m_u.outerIndexPtr(), m_u.innerIndexPtr(), m_u.valuePtr(),
327 m_p.data(), m_q.data(), 0, 0, 0, m_numeric);
328
329 m_extractedDataAreDirty = false;
330 }
331}
332
333template<typename MatrixType>
334typename KLU<MatrixType>::Scalar KLU<MatrixType>::determinant() const
335{
336 eigen_assert(false && "KLU: extractData Not Yet Implemented");
337 return Scalar();
338}
339#endif
340
341template<typename MatrixType>
342template<typename BDerived,typename XDerived>
344{
345 Index rhsCols = b.cols();
346 EIGEN_STATIC_ASSERT((XDerived::Flags&RowMajorBit)==0, THIS_METHOD_IS_ONLY_FOR_COLUMN_MAJOR_MATRICES);
347 eigen_assert(m_factorizationIsOk && "The decomposition is not in a valid state for solving, you must first call either compute() or analyzePattern()/factorize()");
348
349 x = b;
350 int info = klu_solve(m_symbolic, m_numeric, b.rows(), rhsCols, x.const_cast_derived().data(), const_cast<klu_common*>(&m_common), Scalar());
351
352 m_info = info!=0 ? Success : NumericalIssue;
353 return true;
354}
355
356} // end namespace Eigen
357
358#endif // EIGEN_KLUSUPPORT_H
#define EIGEN_NOEXCEPT
Definition Macros.h:1418
#define EIGEN_CONSTEXPR
Definition Macros.h:787
#define eigen_assert(x)
Definition Macros.h:1037
#define EIGEN_STATIC_ASSERT(CONDITION, MSG)
Definition StaticAssert.h:127
int rows
Definition Tutorial_commainit_02.cpp:1
int cols
Definition Tutorial_commainit_02.cpp:1
Scalar * b
Definition benchVecAdd.cpp:17
SCALAR Scalar
Definition bench_gemm.cpp:46
Definition KLUSupport.h:61
Ref< const KLUMatrixType, StandardCompressedFormat > KLUMatrixRef
Definition KLUSupport.h:76
KLUMatrixRef mp_matrix
Definition KLUSupport.h:288
~KLU()
Definition KLUSupport.h:98
void factorize_impl()
Definition KLUSupport.h:251
void compute(const InputMatrixType &matrix)
Definition KLUSupport.h:147
klu_common & kluCommon()
Definition KLUSupport.h:189
SparseMatrix< Scalar, ColMajor, int > KLUMatrixType
Definition KLUSupport.h:75
void analyzePattern_impl()
Definition KLUSupport.h:235
void grab(const KLUMatrixRef &A)
Definition KLUSupport.h:270
_MatrixType MatrixType
Definition KLUSupport.h:67
klu_numeric * m_numeric
Definition KLUSupport.h:290
EIGEN_CONSTEXPR Index rows() const EIGEN_NOEXCEPT
Definition KLUSupport.h:104
MatrixType::RealScalar RealScalar
Definition KLUSupport.h:69
void grab(const EigenBase< MatrixDerived > &A)
Definition KLUSupport.h:264
int m_factorizationIsOk
Definition KLUSupport.h:294
void factorize(const InputMatrixType &matrix)
Definition KLUSupport.h:201
ComputationInfo m_info
Definition KLUSupport.h:293
SparseSolverBase< KLU< _MatrixType > > Base
Definition KLUSupport.h:63
bool m_extractedDataAreDirty
Definition KLUSupport.h:296
MatrixType::StorageIndex StorageIndex
Definition KLUSupport.h:70
KLU()
Definition KLUSupport.h:84
klu_common m_common
Definition KLUSupport.h:292
EIGEN_CONSTEXPR Index cols() const EIGEN_NOEXCEPT
Definition KLUSupport.h:105
void analyzePattern(const InputMatrixType &matrix)
Definition KLUSupport.h:163
Matrix< int, 1, MatrixType::ColsAtCompileTime > IntRowVectorType
Definition KLUSupport.h:72
klu_symbolic * m_symbolic
Definition KLUSupport.h:291
Matrix< int, MatrixType::RowsAtCompileTime, 1 > IntColVectorType
Definition KLUSupport.h:73
SparseMatrix< Scalar > LUMatrixType
Definition KLUSupport.h:74
bool _solve_impl(const MatrixBase< BDerived > &b, MatrixBase< XDerived > &x) const
Definition KLUSupport.h:343
KLU(const InputMatrixType &matrix)
Definition KLUSupport.h:91
MatrixType::Scalar Scalar
Definition KLUSupport.h:68
@ MaxColsAtCompileTime
Definition KLUSupport.h:79
@ ColsAtCompileTime
Definition KLUSupport.h:78
KLUMatrixType m_dummy
Definition KLUSupport.h:287
int m_analysisIsOk
Definition KLUSupport.h:295
const klu_common & kluCommon() const
Definition KLUSupport.h:178
void init()
Definition KLUSupport.h:224
Matrix< Scalar, Dynamic, 1 > Vector
Definition KLUSupport.h:71
ComputationInfo info() const
Reports whether previous computation was successful.
Definition KLUSupport.h:112
Base class for all dense matrices, vectors, and expressions.
Definition MatrixBase.h:50
The matrix class, also used for vectors and row-vectors.
Definition Matrix.h:180
A matrix or vector expression mapping an existing expression.
Definition Ref.h:283
A versatible sparse matrix representation.
Definition SparseMatrix.h:98
A base class for sparse solvers.
Definition SparseSolverBase.h:68
void _solve_impl(const SparseMatrixBase< Rhs > &b, SparseMatrixBase< Dest > &dest) const
Definition SparseSolverBase.h:111
bool m_isInitialized
Definition SparseSolverBase.h:119
Map< Matrix< T, Dynamic, Dynamic, ColMajor >, 0, OuterStride<> > matrix(T *data, int rows, int cols, int stride)
Definition common.h:110
void determinant(const MatrixType &m)
Definition determinant.cpp:14
set noclip points set clip one set noclip two set bar set border lt lw set xdata set ydata set zdata set x2data set y2data set boxwidth set dummy x
Definition gnuplot_common_settings.hh:12
ComputationInfo
Definition Constants.h:440
@ NumericalIssue
Definition Constants.h:444
@ InvalidInput
Definition Constants.h:449
@ Success
Definition Constants.h:442
const unsigned int RowMajorBit
Definition Constants.h:66
else if n * info
Definition cholesky.cpp:18
EIGEN_DEVICE_FUNC internal::add_const_on_value_type< EIGEN_MATHFUNC_RETVAL(real_ref, Scalar)>::type real_ref(const Scalar &x)
Definition MathFunctions.h:1237
Namespace containing all symbols from the Eigen library.
Definition bench_norm.cpp:85
int umfpack_get_numeric(int Lp[], int Lj[], double Lx[], int Up[], int Ui[], double Ux[], int P[], int Q[], double Dx[], int *do_recip, double Rs[], void *Numeric)
Definition UmfPackSupport.h:217
klu_numeric * klu_factor(int Ap[], int Ai[], double Ax[], klu_symbolic *Symbolic, klu_common *Common, double)
Definition KLUSupport.h:50
EIGEN_DEFAULT_DENSE_INDEX_TYPE Index
The Index type as used for the API.
Definition Meta.h:74
int klu_solve(klu_symbolic *Symbolic, klu_numeric *Numeric, Index ldim, Index nrhs, double B[], klu_common *Common, double)
A sparse LU factorization and solver based on KLU.
Definition KLUSupport.h:34
int klu_tsolve(klu_symbolic *Symbolic, klu_numeric *Numeric, Index ldim, Index nrhs, double B[], klu_common *Common, double)
Definition KLUSupport.h:42
int umfpack_get_lunz(int *lnz, int *unz, int *n_row, int *n_col, int *nz_udiag, void *Numeric, double)
Definition UmfPackSupport.h:194
Definition EigenBase.h:30
Definition ForwardDeclarations.h:17