NDDEM
SelfAdjointView.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) 2009 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_SELFADJOINTMATRIX_H
11 #define EIGEN_SELFADJOINTMATRIX_H
12 
13 namespace Eigen {
14 
31 namespace internal {
32 template<typename MatrixType, unsigned int UpLo>
33 struct traits<SelfAdjointView<MatrixType, UpLo> > : traits<MatrixType>
34 {
37  typedef MatrixType ExpressionType;
38  typedef typename MatrixType::PlainObject FullMatrixType;
39  enum {
40  Mode = UpLo | SelfAdjoint,
41  FlagsLvalueBit = is_lvalue<MatrixType>::value ? LvalueBit : 0,
43  & (~(PacketAccessBit | DirectAccessBit | LinearAccessBit)) // FIXME these flags should be preserved
44  };
45 };
46 }
47 
48 
49 template<typename _MatrixType, unsigned int UpLo> class SelfAdjointView
50  : public TriangularBase<SelfAdjointView<_MatrixType, UpLo> >
51 {
52  public:
53 
54  typedef _MatrixType MatrixType;
59 
62  typedef typename MatrixType::StorageIndex StorageIndex;
65 
66  enum {
69  TransposeMode = ((int(Mode) & int(Upper)) ? Lower : 0) | ((int(Mode) & int(Lower)) ? Upper : 0)
70  };
71  typedef typename MatrixType::PlainObject PlainObject;
72 
74  explicit inline SelfAdjointView(MatrixType& matrix) : m_matrix(matrix)
75  {
76  EIGEN_STATIC_ASSERT(UpLo==Lower || UpLo==Upper,SELFADJOINTVIEW_ACCEPTS_UPPER_AND_LOWER_MODE_ONLY);
77  }
78 
80  inline Index rows() const EIGEN_NOEXCEPT { return m_matrix.rows(); }
82  inline Index cols() const EIGEN_NOEXCEPT { return m_matrix.cols(); }
84  inline Index outerStride() const EIGEN_NOEXCEPT { return m_matrix.outerStride(); }
86  inline Index innerStride() const EIGEN_NOEXCEPT { return m_matrix.innerStride(); }
87 
92  inline Scalar coeff(Index row, Index col) const
93  {
95  return m_matrix.coeff(row, col);
96  }
97 
103  {
106  return m_matrix.coeffRef(row, col);
107  }
108 
111  const MatrixTypeNestedCleaned& _expression() const { return m_matrix; }
112 
117 
119  template<typename OtherDerived>
123  {
124  return Product<SelfAdjointView,OtherDerived>(*this, rhs.derived());
125  }
126 
128  template<typename OtherDerived> friend
132  {
133  return Product<OtherDerived,SelfAdjointView>(lhs.derived(),rhs);
134  }
135 
136  friend EIGEN_DEVICE_FUNC
138  operator*(const Scalar& s, const SelfAdjointView& mat)
139  {
140  return (s*mat.nestedExpression()).template selfadjointView<UpLo>();
141  }
142 
153  template<typename DerivedU, typename DerivedV>
156 
167  template<typename DerivedU>
170 
181  template<unsigned int TriMode>
183  typename internal::conditional<(TriMode&(Upper|Lower))==(UpLo&(Upper|Lower)),
187  {
188  typename internal::conditional<(TriMode&(Upper|Lower))==(UpLo&(Upper|Lower)), MatrixType&, typename MatrixType::ConstTransposeReturnType>::type tmp1(m_matrix);
189  typename internal::conditional<(TriMode&(Upper|Lower))==(UpLo&(Upper|Lower)), MatrixType&, typename MatrixType::AdjointReturnType>::type tmp2(tmp1);
190  return typename internal::conditional<(TriMode&(Upper|Lower))==(UpLo&(Upper|Lower)),
193  }
194 
198  inline const ConjugateReturnType conjugate() const
199  { return ConjugateReturnType(m_matrix.conjugate()); }
200 
204  template<bool Cond>
207  conjugateIf() const
208  {
210  return ReturnType(m_matrix.template conjugateIf<Cond>());
211  }
212 
216  inline const AdjointReturnType adjoint() const
217  { return AdjointReturnType(m_matrix.adjoint()); }
218 
223  {
225  typename MatrixType::TransposeReturnType tmp(m_matrix);
226  return TransposeReturnType(tmp);
227  }
228 
232  inline const ConstTransposeReturnType transpose() const
233  {
234  return ConstTransposeReturnType(m_matrix.transpose());
235  }
236 
243  typename MatrixType::ConstDiagonalReturnType diagonal() const
244  {
245  return typename MatrixType::ConstDiagonalReturnType(m_matrix);
246  }
247 
249 
250  const LLT<PlainObject, UpLo> llt() const;
251  const LDLT<PlainObject, UpLo> ldlt() const;
252 
254 
259 
263  RealScalar operatorNorm() const;
264 
265  protected:
267 };
268 
269 
270 // template<typename OtherDerived, typename MatrixType, unsigned int UpLo>
271 // internal::selfadjoint_matrix_product_returntype<OtherDerived,SelfAdjointView<MatrixType,UpLo> >
272 // operator*(const MatrixBase<OtherDerived>& lhs, const SelfAdjointView<MatrixType,UpLo>& rhs)
273 // {
274 // return internal::matrix_selfadjoint_product_returntype<OtherDerived,SelfAdjointView<MatrixType,UpLo> >(lhs.derived(),rhs);
275 // }
276 
277 // selfadjoint to dense matrix
278 
279 namespace internal {
280 
281 // TODO currently a selfadjoint expression has the form SelfAdjointView<.,.>
282 // in the future selfadjoint-ness should be defined by the expression traits
283 // such that Transpose<SelfAdjointView<.,.> > is valid. (currently TriangularBase::transpose() is overloaded to make it work)
284 template<typename MatrixType, unsigned int Mode>
285 struct evaluator_traits<SelfAdjointView<MatrixType,Mode> >
286 {
289 };
290 
291 template<int UpLo, int SetOpposite, typename DstEvaluatorTypeT, typename SrcEvaluatorTypeT, typename Functor, int Version>
292 class triangular_dense_assignment_kernel<UpLo,SelfAdjoint,SetOpposite,DstEvaluatorTypeT,SrcEvaluatorTypeT,Functor,Version>
293  : public generic_dense_assignment_kernel<DstEvaluatorTypeT, SrcEvaluatorTypeT, Functor, Version>
294 {
295 protected:
297  typedef typename Base::DstXprType DstXprType;
298  typedef typename Base::SrcXprType SrcXprType;
299  using Base::m_dst;
300  using Base::m_src;
301  using Base::m_functor;
302 public:
303 
306  typedef typename Base::Scalar Scalar;
308 
309 
311  : Base(dst, src, func, dstExpr)
312  {}
313 
315  {
317  Scalar tmp = m_src.coeff(row,col);
318  m_functor.assignCoeff(m_dst.coeffRef(row,col), tmp);
319  m_functor.assignCoeff(m_dst.coeffRef(col,row), numext::conj(tmp));
320  }
321 
323  {
324  Base::assignCoeff(id,id);
325  }
326 
328  { eigen_internal_assert(false && "should never be called"); }
329 };
330 
331 } // end namespace internal
332 
333 /***************************************************************************
334 * Implementation of MatrixBase methods
335 ***************************************************************************/
336 
338 template<typename Derived>
339 template<unsigned int UpLo>
340 EIGEN_DEVICE_FUNC typename MatrixBase<Derived>::template ConstSelfAdjointViewReturnType<UpLo>::Type
342 {
343  return typename ConstSelfAdjointViewReturnType<UpLo>::Type(derived());
344 }
345 
355 template<typename Derived>
356 template<unsigned int UpLo>
359 {
360  return typename SelfAdjointViewReturnType<UpLo>::Type(derived());
361 }
362 
363 } // end namespace Eigen
364 
365 #endif // EIGEN_SELFADJOINTMATRIX_H
EIGEN_DEVICE_FUNC EIGEN_STRONG_INLINE ColXpr col(Index i)
This is the const version of col().
Definition: BlockMethods.h:1097
EIGEN_DEVICE_FUNC EIGEN_STRONG_INLINE RowXpr row(Index i)
This is the const version of row(). *‍/.
Definition: BlockMethods.h:1118
#define eigen_internal_assert(x)
Definition: Macros.h:1043
#define EIGEN_NOEXCEPT
Definition: Macros.h:1418
#define EIGEN_CONSTEXPR
Definition: Macros.h:787
#define EIGEN_DEVICE_FUNC
Definition: Macros.h:976
#define EIGEN_SCALAR_BINARYOP_EXPR_RETURN_TYPE(SCALAR, EXPR, OPNAME)
Definition: Macros.h:1351
#define EIGEN_STATIC_ASSERT_LVALUE(Derived)
Definition: StaticAssert.h:202
#define EIGEN_STATIC_ASSERT(CONDITION, MSG)
Definition: StaticAssert.h:127
Robust Cholesky decomposition of a matrix with pivoting.
Definition: LDLT.h:61
Standard Cholesky decomposition (LL^T) of a matrix and associated features.
Definition: LLT.h:68
Base class for all dense matrices, vectors, and expressions.
Definition: MatrixBase.h:50
EIGEN_DEVICE_FUNC SelfAdjointViewReturnType< UpLo >::Type selfadjointView()
The matrix class, also used for vectors and row-vectors.
Definition: Matrix.h:180
Expression of the product of two arbitrary matrices or vectors.
Definition: Product.h:75
Expression of a selfadjoint matrix from a triangular part of a dense matrix.
Definition: SelfAdjointView.h:51
EIGEN_DEVICE_FUNC EIGEN_CONSTEXPR Index cols() const EIGEN_NOEXCEPT
Definition: SelfAdjointView.h:82
SelfAdjointView< typename internal::add_const< MatrixType >::type, UpLo > ConstSelfAdjointView
Definition: SelfAdjointView.h:64
EIGEN_DEVICE_FUNC SelfAdjointView & rankUpdate(const MatrixBase< DerivedU > &u, const Scalar &alpha=Scalar(1))
EIGEN_DEVICE_FUNC Scalar & coeffRef(Index row, Index col)
Definition: SelfAdjointView.h:102
TriangularBase< SelfAdjointView > Base
Definition: SelfAdjointView.h:55
EIGEN_DEVICE_FUNC const AdjointReturnType adjoint() const
Definition: SelfAdjointView.h:216
const LLT< PlainObject, UpLo > llt() const
Definition: LLT.h:551
EIGEN_DEVICE_FUNC SelfAdjointView & rankUpdate(const MatrixBase< DerivedU > &u, const MatrixBase< DerivedV > &v, const Scalar &alpha=Scalar(1))
EIGEN_DEVICE_FUNC SelfAdjointView(MatrixType &matrix)
Definition: SelfAdjointView.h:74
internal::traits< SelfAdjointView >::MatrixTypeNestedCleaned MatrixTypeNestedCleaned
Definition: SelfAdjointView.h:57
MatrixType::StorageIndex StorageIndex
Definition: SelfAdjointView.h:62
EIGEN_DEVICE_FUNC internal::conditional< Cond, ConjugateReturnType, ConstSelfAdjointView >::type conjugateIf() const
Definition: SelfAdjointView.h:207
const LDLT< PlainObject, UpLo > ldlt() const
Definition: LDLT.h:670
EIGEN_DEVICE_FUNC RealScalar operatorNorm() const
Computes the L2 operator norm.
Definition: MatrixBaseEigenvalues.h:151
EIGEN_DEVICE_FUNC MatrixTypeNestedCleaned & nestedExpression()
Definition: SelfAdjointView.h:116
EIGEN_DEVICE_FUNC EigenvaluesReturnType eigenvalues() const
Computes the eigenvalues of a matrix.
Definition: MatrixBaseEigenvalues.h:88
EIGEN_DEVICE_FUNC const Product< SelfAdjointView, OtherDerived > operator*(const MatrixBase< OtherDerived > &rhs) const
Definition: SelfAdjointView.h:122
SelfAdjointView< const typename MatrixType::ConstTransposeReturnType, TransposeMode > ConstTransposeReturnType
Definition: SelfAdjointView.h:229
internal::traits< SelfAdjointView >::MatrixTypeNested MatrixTypeNested
Definition: SelfAdjointView.h:56
internal::remove_all< typename MatrixType::ConjugateReturnType >::type MatrixConjugateReturnType
Definition: SelfAdjointView.h:63
EIGEN_DEVICE_FUNC const MatrixTypeNestedCleaned & nestedExpression() const
Definition: SelfAdjointView.h:114
Matrix< RealScalar, internal::traits< MatrixType >::ColsAtCompileTime, 1 > EigenvaluesReturnType
Definition: SelfAdjointView.h:258
friend EIGEN_DEVICE_FUNC const SelfAdjointView< const EIGEN_SCALAR_BINARYOP_EXPR_RETURN_TYPE(Scalar, MatrixType, product), UpLo > operator*(const Scalar &s, const SelfAdjointView &mat)
Definition: SelfAdjointView.h:138
SelfAdjointView< typename MatrixType::TransposeReturnType, TransposeMode > TransposeReturnType
Definition: SelfAdjointView.h:219
_MatrixType MatrixType
Definition: SelfAdjointView.h:54
EIGEN_DEVICE_FUNC const ConstTransposeReturnType transpose() const
Definition: SelfAdjointView.h:232
EIGEN_DEVICE_FUNC EIGEN_CONSTEXPR Index outerStride() const EIGEN_NOEXCEPT
Definition: SelfAdjointView.h:84
SelfAdjointView< const MatrixConjugateReturnType, UpLo > ConjugateReturnType
Definition: SelfAdjointView.h:195
SelfAdjointView< const typename MatrixType::AdjointReturnType, TransposeMode > AdjointReturnType
Definition: SelfAdjointView.h:213
MatrixTypeNestedCleaned NestedExpression
Definition: SelfAdjointView.h:58
MatrixTypeNested m_matrix
Definition: SelfAdjointView.h:266
EIGEN_DEVICE_FUNC EIGEN_CONSTEXPR Index rows() const EIGEN_NOEXCEPT
Definition: SelfAdjointView.h:80
EIGEN_DEVICE_FUNC TransposeReturnType transpose()
Definition: SelfAdjointView.h:222
EIGEN_DEVICE_FUNC MatrixType::ConstDiagonalReturnType diagonal() const
Definition: SelfAdjointView.h:243
EIGEN_DEVICE_FUNC internal::conditional<(TriMode &(Upper|Lower))==(UpLo &(Upper|Lower)), TriangularView< MatrixType, TriMode >, TriangularView< typename MatrixType::AdjointReturnType, TriMode > >::type triangularView() const
Definition: SelfAdjointView.h:186
EIGEN_DEVICE_FUNC Scalar coeff(Index row, Index col) const
Definition: SelfAdjointView.h:92
@ TransposeMode
Definition: SelfAdjointView.h:69
@ Flags
Definition: SelfAdjointView.h:68
@ Mode
Definition: SelfAdjointView.h:67
EIGEN_DEVICE_FUNC const MatrixTypeNestedCleaned & _expression() const
Definition: SelfAdjointView.h:111
friend EIGEN_DEVICE_FUNC const Product< OtherDerived, SelfAdjointView > operator*(const MatrixBase< OtherDerived > &lhs, const SelfAdjointView &rhs)
Definition: SelfAdjointView.h:131
EIGEN_DEVICE_FUNC EIGEN_CONSTEXPR Index innerStride() const EIGEN_NOEXCEPT
Definition: SelfAdjointView.h:86
EIGEN_DEVICE_FUNC const ConjugateReturnType conjugate() const
Definition: SelfAdjointView.h:198
MatrixType::PlainObject PlainObject
Definition: SelfAdjointView.h:71
internal::traits< SelfAdjointView >::Scalar Scalar
The type of coefficients in this matrix.
Definition: SelfAdjointView.h:61
NumTraits< Scalar >::Real RealScalar
Definition: SelfAdjointView.h:256
Base class for triangular part in a matrix.
Definition: TriangularMatrix.h:28
void check_coordinates_internal(Index, Index) const
Definition: TriangularMatrix.h:146
Expression of a triangular part in a matrix.
Definition: TriangularMatrix.h:189
Definition: AssignEvaluator.h:619
EIGEN_DEVICE_FUNC EIGEN_STRONG_INLINE void assignCoeff(Index row, Index col)
Assign src(row,col) to dst(row,col) through the assignment functor.
Definition: AssignEvaluator.h:652
EIGEN_DEVICE_FUNC triangular_dense_assignment_kernel(DstEvaluatorType &dst, const SrcEvaluatorType &src, const Functor &func, DstXprType &dstExpr)
Definition: SelfAdjointView.h:310
generic_dense_assignment_kernel< DstEvaluatorTypeT, SrcEvaluatorTypeT, Functor, Version > Base
Definition: SelfAdjointView.h:296
Definition: TriangularMatrix.h:755
@ SelfAdjoint
Definition: Constants.h:225
@ Lower
Definition: Constants.h:209
@ Upper
Definition: Constants.h:211
const unsigned int PacketAccessBit
Definition: Constants.h:94
const unsigned int LinearAccessBit
Definition: Constants.h:130
const unsigned int DirectAccessBit
Definition: Constants.h:155
const unsigned int LvalueBit
Definition: Constants.h:144
Namespace containing all symbols from the Eigen library.
Definition: LDLT.h:16
const unsigned int HereditaryBits
Definition: Constants.h:195
EIGEN_DEFAULT_DENSE_INDEX_TYPE Index
The Index type as used for the API.
Definition: Meta.h:74
type
The type the bitset is encoded with.
Definition: bitset.hpp:44
Flags
Special flags for archives.
Definition: cereal.hpp:185
Definition: document.h:416
Type
Type of JSON value.
Definition: rapidjson.h:644
Eigen::Index Index
The interface type of indices.
Definition: EigenBase.h:39
Holds information about the various numeric (i.e. scalar) types allowed by Eigen.
Definition: NumTraits.h:233
Definition: Constants.h:534
Definition: Constants.h:542
Definition: Meta.h:109
Definition: AssignEvaluator.h:29
storage_kind_to_evaluator_kind< typename MatrixType::StorageKind >::Kind Kind
Definition: SelfAdjointView.h:287
SelfAdjointShape Shape
Definition: SelfAdjointView.h:288
Definition: CoreEvaluators.h:80
Definition: XprHelper.h:660
Definition: XprHelper.h:417
T type
Definition: Meta.h:126
MatrixType::PlainObject FullMatrixType
Definition: SelfAdjointView.h:38
ref_selector< MatrixType >::non_const_type MatrixTypeNested
Definition: SelfAdjointView.h:35
remove_all< MatrixTypeNested >::type MatrixTypeNestedCleaned
Definition: SelfAdjointView.h:36
MatrixType ExpressionType
Definition: SelfAdjointView.h:37
Definition: ForwardDeclarations.h:17
Definition: Meta.h:96
#define const
Definition: zconf.h:233