35 #ifndef _BLAZE_MATH_EXPRESSIONS_DMATTDMATSUBEXPR_H_
36 #define _BLAZE_MATH_EXPRESSIONS_DMATTDMATSUBEXPR_H_
103 template<
typename MT1
143 template<
typename MT >
146 enum { value = useAssign };
159 template<
typename MT >
160 struct UseSMPAssign {
161 enum { value = ( !MT1::smpAssignable || !MT2::smpAssignable ) && useAssign };
189 enum { vectorizable = 0 };
192 enum { smpAssignable = MT1::smpAssignable && MT2::smpAssignable };
232 inline ReturnType
at(
size_t i,
size_t j )
const {
233 if( i >=
lhs_.rows() ) {
236 if( j >=
lhs_.columns() ) {
259 return lhs_.columns();
289 template<
typename T >
302 template<
typename T >
304 return (
lhs_.isAliased( alias ) ||
rhs_.isAliased( alias ) );
314 return lhs_.isAligned() &&
rhs_.isAligned();
324 return lhs_.canSMPAssign() ||
rhs_.canSMPAssign() ||
325 (
rows() > SMP_DMATTDMATSUB_THRESHOLD );
349 template<
typename MT
359 const size_t m( rhs.
rows() );
360 const size_t n( rhs.
columns() );
361 const size_t block( BLOCK_SIZE );
363 for(
size_t ii=0UL; ii<m; ii+=block ) {
364 const size_t iend( ( m < ii+block )?( m ):( ii+block ) );
365 for(
size_t jj=0UL; jj<n; jj+=block ) {
366 const size_t jend( ( n < jj+block )?( n ):( jj+block ) );
367 for(
size_t i=ii; i<iend; ++i ) {
368 for(
size_t j=jj; j<jend; ++j ) {
369 (~lhs)(i,j) = rhs.
lhs_(i,j) - rhs.
rhs_(i,j);
392 template<
typename MT
403 subAssign( ~lhs, rhs.
rhs_ );
406 assign ( ~lhs, rhs.
lhs_ );
407 subAssign( ~lhs, rhs.
rhs_ );
425 template<
typename MT
427 friend inline void assign( SparseMatrix<MT,SO2>& lhs,
const DMatTDMatSubExpr& rhs )
431 typedef typename SelectType< SO2, OppositeType, ResultType >::Type TmpType;
443 const TmpType tmp(
serial( rhs ) );
464 template<
typename MT
466 friend inline typename DisableIf< UseAssign<MT> >::Type
474 const size_t m( rhs.rows() );
475 const size_t n( rhs.columns() );
476 const size_t block( BLOCK_SIZE );
478 for(
size_t ii=0UL; ii<m; ii+=block ) {
479 const size_t iend( ( m < ii+block )?( m ):( ii+block ) );
480 for(
size_t jj=0UL; jj<n; jj+=block ) {
481 const size_t jend( ( n < jj+block )?( n ):( jj+block ) );
482 for(
size_t i=ii; i<iend; ++i ) {
483 for(
size_t j=jj; j<jend; ++j ) {
484 (~lhs)(i,j) += rhs.lhs_(i,j) - rhs.rhs_(i,j);
508 template<
typename MT
510 friend inline typename EnableIf< UseAssign<MT> >::Type
518 addAssign( ~lhs, rhs.lhs_ );
519 subAssign( ~lhs, rhs.rhs_ );
543 template<
typename MT
545 friend inline typename DisableIf< UseAssign<MT> >::Type
553 const size_t m( rhs.rows() );
554 const size_t n( rhs.columns() );
555 const size_t block( BLOCK_SIZE );
557 for(
size_t ii=0UL; ii<m; ii+=block ) {
558 const size_t iend( ( m < ii+block )?( m ):( ii+block ) );
559 for(
size_t jj=0UL; jj<n; jj+=block ) {
560 const size_t jend( ( n < jj+block )?( n ):( jj+block ) );
561 for(
size_t i=ii; i<iend; ++i ) {
562 for(
size_t j=jj; j<jend; ++j ) {
563 (~lhs)(i,j) -= rhs.lhs_(i,j) - rhs.rhs_(i,j);
587 template<
typename MT
589 friend inline typename EnableIf< UseAssign<MT> >::Type
597 subAssign( ~lhs, rhs.lhs_ );
598 addAssign( ~lhs, rhs.rhs_ );
629 template<
typename MT
631 friend inline typename EnableIf< UseSMPAssign<MT> >::Type
639 if( !IsExpression<MT1>::value &&
isSame( ~lhs, rhs.lhs_ ) ) {
664 template<
typename MT
666 friend inline typename EnableIf< UseSMPAssign<MT> >::Type
671 typedef typename SelectType< SO2, OppositeType, ResultType >::Type TmpType;
683 const TmpType tmp( rhs );
704 template<
typename MT
706 friend inline typename EnableIf< UseSMPAssign<MT> >::Type
739 template<
typename MT
741 friend inline typename EnableIf< UseSMPAssign<MT> >::Type
816 template<
typename T1
818 inline typename EnableIf< And< Not< IsSymmetric<T1> >, Not< IsSymmetric<T2> > >
819 ,
const DMatTDMatSubExpr<T1,T2> >::Type
862 template<
typename T1
864 inline typename EnableIf< And< Not< IsSymmetric<T1> >, Not< IsSymmetric<T2> > >
865 ,
const DMatTDMatSubExpr<T1,T2> >::Type
901 template<
typename T1
903 inline typename EnableIf< And< IsSymmetric<T1>, Not< IsSymmetric<T2> > >
904 ,
const typename SubExprTrait<T1,T2>::Type >::Type
905 operator-(
const DenseMatrix<T1,false>& lhs,
const DenseMatrix<T2,true>& rhs )
913 return trans( ~lhs ) - ~rhs;
933 template<
typename T1
935 inline typename EnableIf< IsSymmetric<T2>
936 ,
const typename SubExprTrait<T1,T2>::Type >::Type
937 operator-(
const DenseMatrix<T1,false>& lhs,
const DenseMatrix<T2,true>& rhs )
945 return (~lhs) -
trans( ~rhs );
965 template<
typename T1
967 inline typename EnableIf< And< Not< IsSymmetric<T1> >, IsSymmetric<T2> >
968 ,
const typename SubExprTrait<T1,T2>::Type >::Type
969 operator-(
const DenseMatrix<T1,true>& lhs,
const DenseMatrix<T2,false>& rhs )
977 return (~lhs) -
trans( ~rhs );
997 template<
typename T1
999 inline typename EnableIf< IsSymmetric<T1>
1000 ,
const typename SubExprTrait<T1,T2>::Type >::Type
1001 operator-(
const DenseMatrix<T1,true>& lhs,
const DenseMatrix<T2,false>& rhs )
1009 return trans( ~lhs ) - (~rhs);
1025 template<
typename MT1,
typename MT2 >
1027 :
public Max< Rows<MT1>, Rows<MT2> >
1043 template<
typename MT1,
typename MT2 >
1045 :
public Max< Columns<MT1>, Columns<MT2> >
1061 template<
typename MT1,
typename MT2 >
1063 :
public IsTrue< And< IsAligned<MT1>, IsAligned<MT2> >::value >
1079 template<
typename MT1,
typename MT2 >
1081 :
public IsTrue< IsSymmetric<MT1>::value && IsSymmetric<MT2>::value >
1097 template<
typename MT1,
typename MT2 >
1099 :
public IsTrue< IsHermitian<MT1>::value && IsHermitian<MT2>::value >
1115 template<
typename MT1,
typename MT2 >
1117 :
public IsTrue< And< IsLower<MT1>, IsLower<MT2> >::value >
1133 template<
typename MT1,
typename MT2 >
1135 :
public IsTrue< And< IsUniLower<MT1>, IsStrictlyLower<MT2> >::value >
1151 template<
typename MT1,
typename MT2 >
1153 :
public IsTrue< And< IsStrictlyLower<MT1>, IsStrictlyLower<MT2> >::value >
1169 template<
typename MT1,
typename MT2 >
1171 :
public IsTrue< And< IsUpper<MT1>, IsUpper<MT2> >::value >
1187 template<
typename MT1,
typename MT2 >
1189 :
public IsTrue< And< IsUniUpper<MT1>, IsStrictlyUpper<MT2> >::value >
1205 template<
typename MT1,
typename MT2 >
1207 :
public IsTrue< And< IsStrictlyUpper<MT1>, IsStrictlyUpper<MT2> >::value >
1223 template<
typename MT1,
typename MT2,
bool AF >
1228 typedef typename SubExprTrait< typename SubmatrixExprTrait<const MT1,AF>::Type
1229 ,
typename SubmatrixExprTrait<const MT2,AF>::Type >::Type Type;
1238 template<
typename MT1,
typename MT2 >
1243 typedef typename SubExprTrait< typename RowExprTrait<const MT1>::Type
1244 ,
typename RowExprTrait<const MT2>::Type >::Type Type;
1253 template<
typename MT1,
typename MT2 >
1258 typedef typename SubExprTrait< typename ColumnExprTrait<const MT1>::Type
1259 ,
typename ColumnExprTrait<const MT2>::Type >::Type Type;
Constraint on the data type.
#define BLAZE_THROW_INVALID_ARGUMENT(MESSAGE)
Macro for the emission of a std::invalid_argument exceptionThis macro encapsulates the default way of...
Definition: Exception.h:187
MT2::ReturnType RN2
Return type of the right-hand side dense matrix expression.
Definition: DMatTDMatSubExpr.h:114
Header file for the Max class template.
Header file for kernel specific block sizes.
bool canAlias(const T *alias) const
Returns whether the expression can alias with the given address alias.
Definition: DMatTDMatSubExpr.h:290
Compile time check whether the given type is a temporary vector or matrix type.This type trait class ...
Definition: IsTemporary.h:87
Header file for the Rows type trait.
Header file for the IsUniUpper type trait.
Header file for the subtraction trait.
ResultType::TransposeType TransposeType
Transpose type for expression template evaluations.
Definition: DMatTDMatSubExpr.h:171
Header file for basic type definitions.
Efficient implementation of a compressed matrix.The CompressedMatrix class template is the represent...
Definition: CompressedMatrix.h:207
#define BLAZE_CONSTRAINT_MUST_BE_DENSE_MATRIX_TYPE(T)
Constraint on the data type.In case the given data type T is not a dense, N-dimensional matrix type...
Definition: DenseMatrix.h:79
BLAZE_ALWAYS_INLINE bool isSame(const Matrix< MT1, SO1 > &a, const Matrix< MT2, SO2 > &b)
Returns whether the two given matrices represent the same observable state.
Definition: Matrix.h:647
Header file for the ColumnExprTrait class template.
SubExprTrait< RN1, RN2 >::Type ExprReturnType
Expression return type for the subscript operator.
Definition: DMatTDMatSubExpr.h:129
const This & CompositeType
Data type for composite expression templates.
Definition: CompressedMatrix.h:2588
Type ElementType
Type of the sparse matrix elements.
Definition: CompressedMatrix.h:259
Header file for the And class template.
LeftOperand lhs_
Left-hand side dense matrix of the subtraction expression.
Definition: DMatTDMatSubExpr.h:331
const DMatSerialExpr< MT, SO > serial(const DenseMatrix< MT, SO > &dm)
Forces the serial evaluation of the given dense matrix expression dm.
Definition: DMatSerialExpr.h:721
MT1::CompositeType CT1
Composite type of the left-hand side dense matrix expression.
Definition: DMatTDMatSubExpr.h:115
Header file for the Computation base class.
Constraints on the storage order of matrix types.
Header file for the RequiresEvaluation type trait.
MT1::ReturnType RN1
Return type of the left-hand side dense matrix expression.
Definition: DMatTDMatSubExpr.h:113
Header file for the IsUniLower type trait.
Base class for dense matrices.The DenseMatrix class is a base class for all dense matrix classes...
Definition: DenseMatrix.h:70
Constraint on the data type.
const SelectType< returnExpr, ExprReturnType, ElementType >::Type ReturnType
Return type for expression template evaluations.
Definition: DMatTDMatSubExpr.h:175
MT2::ResultType RT2
Result type of the right-hand side dense matrix expression.
Definition: DMatTDMatSubExpr.h:112
Constraint on the data type.
Compile time check to query the requirement to evaluate an expression.Via this type trait it is possi...
Definition: RequiresEvaluation.h:90
Expression object for dense matrix-transpose dense matrix subtractions.The DMatTDMatSubExpr class rep...
Definition: DMatTDMatSubExpr.h:105
const ResultType CompositeType
Data type for composite expression templates.
Definition: DMatTDMatSubExpr.h:178
Compile time type selection.The SelectType class template selects one of the two given types T1 and T...
Definition: SelectType.h:59
Header file for the DisableIf class template.
Header file for the IsTemporary type trait class.
MT1::ResultType RT1
Result type of the left-hand side dense matrix expression.
Definition: DMatTDMatSubExpr.h:111
Header file for the IsStrictlyUpper type trait.
Header file for the IsSymmetric type trait.
Base class for all matrix/matrix subtraction expression templates.The MatMatSubExpr class serves as a...
Definition: MatMatSubExpr.h:65
Namespace of the Blaze C++ math library.
Definition: Blaze.h:57
#define BLAZE_CONSTRAINT_MUST_BE_COLUMN_MAJOR_MATRIX_TYPE(T)
Constraint on the data type.In case the given data type T is not a column-major dense or sparse matri...
Definition: ColumnMajorMatrix.h:79
bool isAliased(const T *alias) const
Returns whether the expression is aliased with the given address alias.
Definition: DMatTDMatSubExpr.h:303
#define BLAZE_THROW_OUT_OF_RANGE(MESSAGE)
Macro for the emission of a std::out_of_range exceptionThis macro encapsulates the default way of Bla...
Definition: Exception.h:331
Header file for the DenseMatrix base class.
Header file for the Columns type trait.
Header file for the Not class template.
ResultType::ElementType ElementType
Resulting element type.
Definition: DMatTDMatSubExpr.h:172
Header file for the MatMatSubExpr base class.
DMatTDMatSubExpr(const MT1 &lhs, const MT2 &rhs)
Constructor for the DMatTDMatSubExpr class.
Definition: DMatTDMatSubExpr.h:201
Header file for the IsLower type trait.
Header file for the IsAligned type trait.
RightOperand rhs_
Right-hand side dense matrix of the subtraction expression.
Definition: DMatTDMatSubExpr.h:332
const DenseIterator< Type, AF > operator-(const DenseIterator< Type, AF > &it, ptrdiff_t inc)
Subtraction between a DenseIterator and an integral value.
Definition: DenseIterator.h:642
SubTrait< RT1, RT2 >::Type ResultType
Result type for expression template evaluations.
Definition: DMatTDMatSubExpr.h:169
#define BLAZE_CONSTRAINT_MUST_BE_REFERENCE_TYPE(T)
Constraint on the data type.In case the given data type T is not a reference type, a compilation error is created.
Definition: Reference.h:78
Constraints on the storage order of matrix types.
Evaluation of the return type of a subtraction expression.Via this type trait it is possible to evalu...
Definition: SubExprTrait.h:104
ReturnType at(size_t i, size_t j) const
Checked access to the matrix elements.
Definition: DMatTDMatSubExpr.h:232
Header file for the SelectType class template.
Header file for the RowExprTrait class template.
Header file for all forward declarations for expression class templates.
Header file for the EnableIf class template.
Header file for the IsStrictlyLower type trait.
Header file for the serial shim.
#define BLAZE_CONSTRAINT_MATRICES_MUST_HAVE_DIFFERENT_STORAGE_ORDER(T1, T2)
Constraint on the data type.In case either of the two given data types T1 or T2 is not a matrix type ...
Definition: StorageOrder.h:164
bool isAligned() const
Returns whether the operands of the expression are properly aligned in memory.
Definition: DMatTDMatSubExpr.h:313
MT2::CompositeType CT2
Composite type of the right-hand side dense matrix expression.
Definition: DMatTDMatSubExpr.h:116
EnableIf< IsDenseMatrix< MT1 > >::Type smpSubAssign(Matrix< MT1, SO1 > &lhs, const Matrix< MT2, SO2 > &rhs)
Default implementation of the SMP subtraction assignment of a matrix to dense matrix.
Definition: DenseMatrix.h:160
Header file for the SubmatrixExprTrait class template.
#define BLAZE_CONSTRAINT_MUST_BE_ROW_MAJOR_MATRIX_TYPE(T)
Constraint on the data type.In case the given data type T is not a row-major dense or sparse matrix t...
Definition: RowMajorMatrix.h:79
const Type & ReturnType
Return type for expression template evaluations.
Definition: CompressedMatrix.h:2587
Header file for run time assertion macros.
EnableIf< IsDenseMatrix< MT1 > >::Type smpAssign(Matrix< MT1, SO1 > &lhs, const Matrix< MT2, SO2 > &rhs)
Default implementation of the SMP assignment of a matrix to a dense matrix.
Definition: DenseMatrix.h:98
DMatTDMatSubExpr< MT1, MT2 > This
Type of this DMatTDMatSubExpr instance.
Definition: DMatTDMatSubExpr.h:168
Substitution Failure Is Not An Error (SFINAE) class.The EnableIf class template is an auxiliary tool ...
Definition: EnableIf.h:184
ReturnType operator()(size_t i, size_t j) const
2D-access to the matrix elements.
Definition: DMatTDMatSubExpr.h:217
size_t rows() const
Returns the current number of rows of the matrix.
Definition: DMatTDMatSubExpr.h:248
Constraints on the storage order of matrix types.
SelectType< IsExpression< MT1 >::value, const MT1, const MT1 & >::Type LeftOperand
Composite type of the left-hand side dense matrix expression.
Definition: DMatTDMatSubExpr.h:181
Substitution Failure Is Not An Error (SFINAE) class.The DisableIf class template is an auxiliary tool...
Definition: DisableIf.h:184
#define BLAZE_CONSTRAINT_MATRICES_MUST_HAVE_SAME_STORAGE_ORDER(T1, T2)
Constraint on the data type.In case either of the two given data types T1 or T2 is not a matrix type ...
Definition: StorageOrder.h:122
SelectType< IsExpression< MT2 >::value, const MT2, const MT2 & >::Type RightOperand
Composite type of the right-hand side dense matrix expression.
Definition: DMatTDMatSubExpr.h:184
const DMatTransExpr< MT,!SO > trans(const DenseMatrix< MT, SO > &dm)
Calculation of the transpose of the given dense matrix.
Definition: DMatTransExpr.h:944
Base class for all compute expression templates.The Computation class serves as a tag for all computa...
Definition: Computation.h:59
EnableIf< IsDenseMatrix< MT1 > >::Type smpAddAssign(Matrix< MT1, SO1 > &lhs, const Matrix< MT2, SO2 > &rhs)
Default implementation of the SMP addition assignment of a matrix to a dense matrix.
Definition: DenseMatrix.h:129
#define BLAZE_FUNCTION_TRACE
Function trace macro.This macro can be used to reliably trace function calls. In case function tracin...
Definition: FunctionTrace.h:157
LeftOperand leftOperand() const
Returns the left-hand side dense matrix operand.
Definition: DMatTDMatSubExpr.h:268
This ResultType
Result type for expression template evaluations.
Definition: CompressedMatrix.h:2583
Header file for the IsTrue value trait.
RightOperand rightOperand() const
Returns the right-hand side transpose dense matrix operand.
Definition: DMatTDMatSubExpr.h:278
#define BLAZE_CONSTRAINT_MUST_FORM_VALID_MATMATSUBEXPR(T1, T2)
Constraint on the data type.In case the given data types T1 and T2 do not form a valid matrix/matrix ...
Definition: MatMatSubExpr.h:165
Base template for the SubTrait class.
Definition: SubTrait.h:138
Header file for the IsUpper type trait.
Header file for exception macros.
ResultType::OppositeType OppositeType
Result type with opposite storage order for expression template evaluations.
Definition: DMatTDMatSubExpr.h:170
bool canSMPAssign() const
Returns whether the expression can be used in SMP assignments.
Definition: DMatTDMatSubExpr.h:323
size_t columns() const
Returns the current number of columns of the matrix.
Definition: DMatTDMatSubExpr.h:258
Header file for the IsHermitian type trait.
Header file for the SubExprTrait class template.
Header file for the thresholds for matrix/vector and matrix/matrix multiplications.
#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
Compile time check whether the given type is an expression template.This type trait class tests wheth...
Definition: IsExpression.h:87
Header file for the IsExpression type trait class.
Header file for the FunctionTrace class.