• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1 // This file is part of Eigen, a lightweight C++ template library
2 // for linear algebra.
3 //
4 // Copyright (C) 2008-2011 Gael Guennebaud <gael.guennebaud@inria.fr>
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_SPARSEMATRIXBASE_H
11 #define EIGEN_SPARSEMATRIXBASE_H
12 
13 namespace Eigen {
14 
15 /** \ingroup SparseCore_Module
16   *
17   * \class SparseMatrixBase
18   *
19   * \brief Base class of any sparse matrices or sparse expressions
20   *
21   * \tparam Derived
22   *
23   * This class can be extended with the help of the plugin mechanism described on the page
24   * \ref TopicCustomizingEigen by defining the preprocessor symbol \c EIGEN_SPARSEMATRIXBASE_PLUGIN.
25   */
26 template<typename Derived> class SparseMatrixBase : public EigenBase<Derived>
27 {
28   public:
29 
30     typedef typename internal::traits<Derived>::Scalar Scalar;
31     typedef typename internal::packet_traits<Scalar>::type PacketScalar;
32     typedef typename internal::traits<Derived>::StorageKind StorageKind;
33     typedef typename internal::traits<Derived>::Index Index;
34     typedef typename internal::add_const_on_value_type_if_arithmetic<
35                          typename internal::packet_traits<Scalar>::type
36                      >::type PacketReturnType;
37 
38     typedef SparseMatrixBase StorageBaseType;
39     typedef EigenBase<Derived> Base;
40 
41     template<typename OtherDerived>
42     Derived& operator=(const EigenBase<OtherDerived> &other)
43     {
44       other.derived().evalTo(derived());
45       return derived();
46     }
47 
48     enum {
49 
50       RowsAtCompileTime = internal::traits<Derived>::RowsAtCompileTime,
51         /**< The number of rows at compile-time. This is just a copy of the value provided
52           * by the \a Derived type. If a value is not known at compile-time,
53           * it is set to the \a Dynamic constant.
54           * \sa MatrixBase::rows(), MatrixBase::cols(), ColsAtCompileTime, SizeAtCompileTime */
55 
56       ColsAtCompileTime = internal::traits<Derived>::ColsAtCompileTime,
57         /**< The number of columns at compile-time. This is just a copy of the value provided
58           * by the \a Derived type. If a value is not known at compile-time,
59           * it is set to the \a Dynamic constant.
60           * \sa MatrixBase::rows(), MatrixBase::cols(), RowsAtCompileTime, SizeAtCompileTime */
61 
62 
63       SizeAtCompileTime = (internal::size_at_compile_time<internal::traits<Derived>::RowsAtCompileTime,
64                                                    internal::traits<Derived>::ColsAtCompileTime>::ret),
65         /**< This is equal to the number of coefficients, i.e. the number of
66           * rows times the number of columns, or to \a Dynamic if this is not
67           * known at compile-time. \sa RowsAtCompileTime, ColsAtCompileTime */
68 
69       MaxRowsAtCompileTime = RowsAtCompileTime,
70       MaxColsAtCompileTime = ColsAtCompileTime,
71 
72       MaxSizeAtCompileTime = (internal::size_at_compile_time<MaxRowsAtCompileTime,
73                                                       MaxColsAtCompileTime>::ret),
74 
75       IsVectorAtCompileTime = RowsAtCompileTime == 1 || ColsAtCompileTime == 1,
76         /**< This is set to true if either the number of rows or the number of
77           * columns is known at compile-time to be equal to 1. Indeed, in that case,
78           * we are dealing with a column-vector (if there is only one column) or with
79           * a row-vector (if there is only one row). */
80 
81       Flags = internal::traits<Derived>::Flags,
82         /**< This stores expression \ref flags flags which may or may not be inherited by new expressions
83           * constructed from this one. See the \ref flags "list of flags".
84           */
85 
86       CoeffReadCost = internal::traits<Derived>::CoeffReadCost,
87         /**< This is a rough measure of how expensive it is to read one coefficient from
88           * this expression.
89           */
90 
91       IsRowMajor = Flags&RowMajorBit ? 1 : 0,
92 
93       #ifndef EIGEN_PARSED_BY_DOXYGEN
94       _HasDirectAccess = (int(Flags)&DirectAccessBit) ? 1 : 0 // workaround sunCC
95       #endif
96     };
97 
98     /** \internal the return type of MatrixBase::adjoint() */
99     typedef typename internal::conditional<NumTraits<Scalar>::IsComplex,
100                         CwiseUnaryOp<internal::scalar_conjugate_op<Scalar>, Eigen::Transpose<const Derived> >,
101                         Transpose<const Derived>
102                      >::type AdjointReturnType;
103 
104 
105     typedef SparseMatrix<Scalar, Flags&RowMajorBit ? RowMajor : ColMajor> PlainObject;
106 
107 
108 #ifndef EIGEN_PARSED_BY_DOXYGEN
109     /** This is the "real scalar" type; if the \a Scalar type is already real numbers
110       * (e.g. int, float or double) then \a RealScalar is just the same as \a Scalar. If
111       * \a Scalar is \a std::complex<T> then RealScalar is \a T.
112       *
113       * \sa class NumTraits
114       */
115     typedef typename NumTraits<Scalar>::Real RealScalar;
116 
117     /** \internal the return type of coeff()
118       */
119     typedef typename internal::conditional<_HasDirectAccess, const Scalar&, Scalar>::type CoeffReturnType;
120 
121     /** \internal Represents a matrix with all coefficients equal to one another*/
122     typedef CwiseNullaryOp<internal::scalar_constant_op<Scalar>,Matrix<Scalar,Dynamic,Dynamic> > ConstantReturnType;
123 
124     /** type of the equivalent square matrix */
125     typedef Matrix<Scalar,EIGEN_SIZE_MAX(RowsAtCompileTime,ColsAtCompileTime),
126                           EIGEN_SIZE_MAX(RowsAtCompileTime,ColsAtCompileTime)> SquareMatrixType;
127 
derived()128     inline const Derived& derived() const { return *static_cast<const Derived*>(this); }
derived()129     inline Derived& derived() { return *static_cast<Derived*>(this); }
const_cast_derived()130     inline Derived& const_cast_derived() const
131     { return *static_cast<Derived*>(const_cast<SparseMatrixBase*>(this)); }
132 #endif // not EIGEN_PARSED_BY_DOXYGEN
133 
134 #define EIGEN_CURRENT_STORAGE_BASE_CLASS Eigen::SparseMatrixBase
135 #   include "../plugins/CommonCwiseUnaryOps.h"
136 #   include "../plugins/CommonCwiseBinaryOps.h"
137 #   include "../plugins/MatrixCwiseUnaryOps.h"
138 #   include "../plugins/MatrixCwiseBinaryOps.h"
139 #   ifdef EIGEN_SPARSEMATRIXBASE_PLUGIN
140 #     include EIGEN_SPARSEMATRIXBASE_PLUGIN
141 #   endif
142 #   undef EIGEN_CURRENT_STORAGE_BASE_CLASS
143 #undef EIGEN_CURRENT_STORAGE_BASE_CLASS
144 
145 
146     /** \returns the number of rows. \sa cols() */
rows()147     inline Index rows() const { return derived().rows(); }
148     /** \returns the number of columns. \sa rows() */
cols()149     inline Index cols() const { return derived().cols(); }
150     /** \returns the number of coefficients, which is \a rows()*cols().
151       * \sa rows(), cols(). */
size()152     inline Index size() const { return rows() * cols(); }
153     /** \returns the number of nonzero coefficients which is in practice the number
154       * of stored coefficients. */
nonZeros()155     inline Index nonZeros() const { return derived().nonZeros(); }
156     /** \returns true if either the number of rows or the number of columns is equal to 1.
157       * In other words, this function returns
158       * \code rows()==1 || cols()==1 \endcode
159       * \sa rows(), cols(), IsVectorAtCompileTime. */
isVector()160     inline bool isVector() const { return rows()==1 || cols()==1; }
161     /** \returns the size of the storage major dimension,
162       * i.e., the number of columns for a columns major matrix, and the number of rows otherwise */
outerSize()163     Index outerSize() const { return (int(Flags)&RowMajorBit) ? this->rows() : this->cols(); }
164     /** \returns the size of the inner dimension according to the storage order,
165       * i.e., the number of rows for a columns major matrix, and the number of cols otherwise */
innerSize()166     Index innerSize() const { return (int(Flags)&RowMajorBit) ? this->cols() : this->rows(); }
167 
isRValue()168     bool isRValue() const { return m_isRValue; }
markAsRValue()169     Derived& markAsRValue() { m_isRValue = true; return derived(); }
170 
SparseMatrixBase()171     SparseMatrixBase() : m_isRValue(false) { /* TODO check flags */ }
172 
173 
174     template<typename OtherDerived>
175     Derived& operator=(const ReturnByValue<OtherDerived>& other)
176     {
177       other.evalTo(derived());
178       return derived();
179     }
180 
181 
182     template<typename OtherDerived>
183     inline Derived& operator=(const SparseMatrixBase<OtherDerived>& other)
184     {
185       return assign(other.derived());
186     }
187 
188     inline Derived& operator=(const Derived& other)
189     {
190 //       if (other.isRValue())
191 //         derived().swap(other.const_cast_derived());
192 //       else
193       return assign(other.derived());
194     }
195 
196   protected:
197 
198     template<typename OtherDerived>
assign(const OtherDerived & other)199     inline Derived& assign(const OtherDerived& other)
200     {
201       const bool transpose = (Flags & RowMajorBit) != (OtherDerived::Flags & RowMajorBit);
202       const Index outerSize = (int(OtherDerived::Flags) & RowMajorBit) ? other.rows() : other.cols();
203       if ((!transpose) && other.isRValue())
204       {
205         // eval without temporary
206         derived().resize(other.rows(), other.cols());
207         derived().setZero();
208         derived().reserve((std::max)(this->rows(),this->cols())*2);
209         for (Index j=0; j<outerSize; ++j)
210         {
211           derived().startVec(j);
212           for (typename OtherDerived::InnerIterator it(other, j); it; ++it)
213           {
214             Scalar v = it.value();
215             derived().insertBackByOuterInner(j,it.index()) = v;
216           }
217         }
218         derived().finalize();
219       }
220       else
221       {
222         assignGeneric(other);
223       }
224       return derived();
225     }
226 
227     template<typename OtherDerived>
assignGeneric(const OtherDerived & other)228     inline void assignGeneric(const OtherDerived& other)
229     {
230       //const bool transpose = (Flags & RowMajorBit) != (OtherDerived::Flags & RowMajorBit);
231       eigen_assert(( ((internal::traits<Derived>::SupportedAccessPatterns&OuterRandomAccessPattern)==OuterRandomAccessPattern) ||
232                   (!((Flags & RowMajorBit) != (OtherDerived::Flags & RowMajorBit)))) &&
233                   "the transpose operation is supposed to be handled in SparseMatrix::operator=");
234 
235       enum { Flip = (Flags & RowMajorBit) != (OtherDerived::Flags & RowMajorBit) };
236 
237       const Index outerSize = other.outerSize();
238       //typedef typename internal::conditional<transpose, LinkedVectorMatrix<Scalar,Flags&RowMajorBit>, Derived>::type TempType;
239       // thanks to shallow copies, we always eval to a tempary
240       Derived temp(other.rows(), other.cols());
241 
242       temp.reserve((std::max)(this->rows(),this->cols())*2);
243       for (Index j=0; j<outerSize; ++j)
244       {
245         temp.startVec(j);
246         for (typename OtherDerived::InnerIterator it(other.derived(), j); it; ++it)
247         {
248           Scalar v = it.value();
249           temp.insertBackByOuterInner(Flip?it.index():j,Flip?j:it.index()) = v;
250         }
251       }
252       temp.finalize();
253 
254       derived() = temp.markAsRValue();
255     }
256 
257   public:
258 
259     template<typename Lhs, typename Rhs>
260     inline Derived& operator=(const SparseSparseProduct<Lhs,Rhs>& product);
261 
262     friend std::ostream & operator << (std::ostream & s, const SparseMatrixBase& m)
263     {
264       typedef typename Derived::Nested Nested;
265       typedef typename internal::remove_all<Nested>::type NestedCleaned;
266 
267       if (Flags&RowMajorBit)
268       {
269         const Nested nm(m.derived());
270         for (Index row=0; row<nm.outerSize(); ++row)
271         {
272           Index col = 0;
273           for (typename NestedCleaned::InnerIterator it(nm.derived(), row); it; ++it)
274           {
275             for ( ; col<it.index(); ++col)
276               s << "0 ";
277             s << it.value() << " ";
278             ++col;
279           }
280           for ( ; col<m.cols(); ++col)
281             s << "0 ";
282           s << std::endl;
283         }
284       }
285       else
286       {
287         const Nested nm(m.derived());
288         if (m.cols() == 1) {
289           Index row = 0;
290           for (typename NestedCleaned::InnerIterator it(nm.derived(), 0); it; ++it)
291           {
292             for ( ; row<it.index(); ++row)
293               s << "0" << std::endl;
294             s << it.value() << std::endl;
295             ++row;
296           }
297           for ( ; row<m.rows(); ++row)
298             s << "0" << std::endl;
299         }
300         else
301         {
302           SparseMatrix<Scalar, RowMajorBit> trans = m;
303           s << static_cast<const SparseMatrixBase<SparseMatrix<Scalar, RowMajorBit> >&>(trans);
304         }
305       }
306       return s;
307     }
308 
309     template<typename OtherDerived>
310     Derived& operator+=(const SparseMatrixBase<OtherDerived>& other);
311     template<typename OtherDerived>
312     Derived& operator-=(const SparseMatrixBase<OtherDerived>& other);
313 
314     Derived& operator*=(const Scalar& other);
315     Derived& operator/=(const Scalar& other);
316 
317     #define EIGEN_SPARSE_CWISE_PRODUCT_RETURN_TYPE \
318       CwiseBinaryOp< \
319         internal::scalar_product_op< \
320           typename internal::scalar_product_traits< \
321             typename internal::traits<Derived>::Scalar, \
322             typename internal::traits<OtherDerived>::Scalar \
323           >::ReturnType \
324         >, \
325         Derived, \
326         OtherDerived \
327       >
328 
329     template<typename OtherDerived>
330     EIGEN_STRONG_INLINE const EIGEN_SPARSE_CWISE_PRODUCT_RETURN_TYPE
331     cwiseProduct(const MatrixBase<OtherDerived> &other) const;
332 
333     // sparse * sparse
334     template<typename OtherDerived>
335     const typename SparseSparseProductReturnType<Derived,OtherDerived>::Type
336     operator*(const SparseMatrixBase<OtherDerived> &other) const;
337 
338     // sparse * diagonal
339     template<typename OtherDerived>
340     const SparseDiagonalProduct<Derived,OtherDerived>
341     operator*(const DiagonalBase<OtherDerived> &other) const;
342 
343     // diagonal * sparse
344     template<typename OtherDerived> friend
345     const SparseDiagonalProduct<OtherDerived,Derived>
346     operator*(const DiagonalBase<OtherDerived> &lhs, const SparseMatrixBase& rhs)
347     { return SparseDiagonalProduct<OtherDerived,Derived>(lhs.derived(), rhs.derived()); }
348 
349     /** dense * sparse (return a dense object unless it is an outer product) */
350     template<typename OtherDerived> friend
351     const typename DenseSparseProductReturnType<OtherDerived,Derived>::Type
352     operator*(const MatrixBase<OtherDerived>& lhs, const Derived& rhs)
353     { return typename DenseSparseProductReturnType<OtherDerived,Derived>::Type(lhs.derived(),rhs); }
354 
355     /** sparse * dense (returns a dense object unless it is an outer product) */
356     template<typename OtherDerived>
357     const typename SparseDenseProductReturnType<Derived,OtherDerived>::Type
358     operator*(const MatrixBase<OtherDerived> &other) const;
359 
360      /** \returns an expression of P H P^-1 where H is the matrix represented by \c *this */
twistedBy(const PermutationMatrix<Dynamic,Dynamic,Index> & perm)361     SparseSymmetricPermutationProduct<Derived,Upper|Lower> twistedBy(const PermutationMatrix<Dynamic,Dynamic,Index>& perm) const
362     {
363       return SparseSymmetricPermutationProduct<Derived,Upper|Lower>(derived(), perm);
364     }
365 
366     template<typename OtherDerived>
367     Derived& operator*=(const SparseMatrixBase<OtherDerived>& other);
368 
369     #ifdef EIGEN2_SUPPORT
370     // deprecated
371     template<typename OtherDerived>
372     typename internal::plain_matrix_type_column_major<OtherDerived>::type
373     solveTriangular(const MatrixBase<OtherDerived>& other) const;
374 
375     // deprecated
376     template<typename OtherDerived>
377     void solveTriangularInPlace(MatrixBase<OtherDerived>& other) const;
378     #endif // EIGEN2_SUPPORT
379 
380     template<int Mode>
381     inline const SparseTriangularView<Derived, Mode> triangularView() const;
382 
383     template<unsigned int UpLo> inline const SparseSelfAdjointView<Derived, UpLo> selfadjointView() const;
384     template<unsigned int UpLo> inline SparseSelfAdjointView<Derived, UpLo> selfadjointView();
385 
386     template<typename OtherDerived> Scalar dot(const MatrixBase<OtherDerived>& other) const;
387     template<typename OtherDerived> Scalar dot(const SparseMatrixBase<OtherDerived>& other) const;
388     RealScalar squaredNorm() const;
389     RealScalar norm()  const;
390 
transpose()391     Transpose<Derived> transpose() { return derived(); }
transpose()392     const Transpose<const Derived> transpose() const { return derived(); }
adjoint()393     const AdjointReturnType adjoint() const { return transpose(); }
394 
395     // sub-vector
396     SparseInnerVectorSet<Derived,1> row(Index i);
397     const SparseInnerVectorSet<Derived,1> row(Index i) const;
398     SparseInnerVectorSet<Derived,1> col(Index j);
399     const SparseInnerVectorSet<Derived,1> col(Index j) const;
400     SparseInnerVectorSet<Derived,1> innerVector(Index outer);
401     const SparseInnerVectorSet<Derived,1> innerVector(Index outer) const;
402 
403     // set of sub-vectors
404     SparseInnerVectorSet<Derived,Dynamic> subrows(Index start, Index size);
405     const SparseInnerVectorSet<Derived,Dynamic> subrows(Index start, Index size) const;
406     SparseInnerVectorSet<Derived,Dynamic> subcols(Index start, Index size);
407     const SparseInnerVectorSet<Derived,Dynamic> subcols(Index start, Index size) const;
408 
409     SparseInnerVectorSet<Derived,Dynamic> middleRows(Index start, Index size);
410     const SparseInnerVectorSet<Derived,Dynamic> middleRows(Index start, Index size) const;
411     SparseInnerVectorSet<Derived,Dynamic> middleCols(Index start, Index size);
412     const SparseInnerVectorSet<Derived,Dynamic> middleCols(Index start, Index size) const;
413     SparseInnerVectorSet<Derived,Dynamic> innerVectors(Index outerStart, Index outerSize);
414     const SparseInnerVectorSet<Derived,Dynamic> innerVectors(Index outerStart, Index outerSize) const;
415 
416       /** \internal use operator= */
417       template<typename DenseDerived>
evalTo(MatrixBase<DenseDerived> & dst)418       void evalTo(MatrixBase<DenseDerived>& dst) const
419       {
420         dst.setZero();
421         for (Index j=0; j<outerSize(); ++j)
422           for (typename Derived::InnerIterator i(derived(),j); i; ++i)
423             dst.coeffRef(i.row(),i.col()) = i.value();
424       }
425 
toDense()426       Matrix<Scalar,RowsAtCompileTime,ColsAtCompileTime> toDense() const
427       {
428         return derived();
429       }
430 
431     template<typename OtherDerived>
432     bool isApprox(const SparseMatrixBase<OtherDerived>& other,
433                   RealScalar prec = NumTraits<Scalar>::dummy_precision()) const
434     { return toDense().isApprox(other.toDense(),prec); }
435 
436     template<typename OtherDerived>
437     bool isApprox(const MatrixBase<OtherDerived>& other,
438                   RealScalar prec = NumTraits<Scalar>::dummy_precision()) const
439     { return toDense().isApprox(other,prec); }
440 
441     /** \returns the matrix or vector obtained by evaluating this expression.
442       *
443       * Notice that in the case of a plain matrix or vector (not an expression) this function just returns
444       * a const reference, in order to avoid a useless copy.
445       */
eval()446     inline const typename internal::eval<Derived>::type eval() const
447     { return typename internal::eval<Derived>::type(derived()); }
448 
449     Scalar sum() const;
450 
451   protected:
452 
453     bool m_isRValue;
454 };
455 
456 } // end namespace Eigen
457 
458 #endif // EIGEN_SPARSEMATRIXBASE_H
459