35 #ifndef _BLAZE_MATH_EXPRESSIONS_TSMATSMATMULTEXPR_H_
36 #define _BLAZE_MATH_EXPRESSIONS_TSMATSMATMULTEXPR_H_
120 template<
typename MT1
122 class TSMatSMatMultExpr :
public SparseMatrix< TSMatSMatMultExpr<MT1,MT2>, true >
123 ,
private MatMatMultExpr
124 ,
private Computation
153 template<
typename T1,
typename T2,
typename T3 >
154 struct CanExploitSymmetry {
155 enum { value = ( IsRowMajorMatrix<T1>::value && IsSymmetric<T2>::value ) ||
156 ( IsColumnMajorMatrix<T1>::value && IsSymmetric<T3>::value ) };
168 template<
typename T1,
typename T2,
typename T3 >
169 struct IsEvaluationRequired {
170 enum { value = ( evaluateLeft || evaluateRight ) &&
171 !CanExploitSymmetry<T1,T2,T2>::value };
195 enum { smpAssignable = !evaluateLeft && MT1::smpAssignable &&
196 !evaluateRight && MT2::smpAssignable };
226 if(
lhs_.columns() != 0UL )
233 tmp =
lhs_(i,kbegin) *
rhs_(kbegin,j);
234 for(
size_t k=kbegin+1UL; k<kend; ++k ) {
251 inline ReturnType
at(
size_t i,
size_t j )
const {
252 if( i >=
lhs_.rows() ) {
255 if( j >=
rhs_.columns() ) {
278 return rhs_.columns();
330 template<
typename T >
332 return (
lhs_.canAlias( alias ) ||
rhs_.canAlias( alias ) );
342 template<
typename T >
344 return (
lhs_.isAliased( alias ) ||
rhs_.isAliased( alias ) );
354 return (
rows() > SMP_TSMATSMATMULT_THRESHOLD );
377 template<
typename MT
387 CT1 A(
serial( rhs.lhs_ ) );
388 CT2 B(
serial( rhs.rhs_ ) );
397 TSMatSMatMultExpr::selectAssignKernel( ~lhs, A, B );
416 template<
typename MT3
419 static inline void selectAssignKernel( MT3& C,
const MT4& A,
const MT5& B )
424 for(
size_t j=0UL; j<A.columns(); ++j ) {
425 const LeftIterator lend( A.end(j) );
426 for( LeftIterator lelem=A.begin(j); lelem!=lend; ++lelem ) {
427 const RightIterator rend( B.end(j) );
428 for( RightIterator relem=B.begin(j); relem!=rend; ++relem )
431 isDefault( C(lelem->index(),relem->index()) ) ) {
432 C(lelem->index(),relem->index()) = lelem->value() * relem->value();
435 C(lelem->index(),relem->index()) += lelem->value() * relem->value();
457 template<
typename MT >
458 friend inline typename DisableIf< CanExploitSymmetry<MT,MT1,MT2> >::Type
471 assign( ~lhs, tmp * rhs.rhs_ );
489 template<
typename MT >
490 friend inline typename DisableIf< CanExploitSymmetry<MT,MT1,MT2> >::Type
501 assign( ~lhs, rhs.lhs_ * tmp );
521 template<
typename MT >
522 friend inline typename EnableIf< CanExploitSymmetry<MT,MT1,MT2> >::Type
532 assign( ~lhs,
trans( rhs.lhs_ ) * rhs.rhs_ );
552 template<
typename MT >
553 friend inline typename EnableIf< CanExploitSymmetry<MT,MT1,MT2> >::Type
561 assign( ~lhs, rhs.lhs_ *
trans( rhs.rhs_ ) );
579 template<
typename MT
581 friend inline typename DisableIf< CanExploitSymmetry<MT,MT1,MT2> >::Type
589 CT1 A(
serial( rhs.lhs_ ) );
590 CT2 B(
serial( rhs.rhs_ ) );
599 TSMatSMatMultExpr::selectAddAssignKernel( ~lhs, A, B );
618 template<
typename MT3
621 static inline void selectAddAssignKernel( MT3& C,
const MT4& A,
const MT5& B )
626 for(
size_t j=0UL; j<A.columns(); ++j ) {
627 const LeftIterator lend( A.end(j) );
628 for( LeftIterator lelem=A.begin(j); lelem!=lend; ++lelem ) {
629 const RightIterator rend( B.end(j) );
630 for( RightIterator relem=B.begin(j); relem!=rend; ++relem ) {
631 C(lelem->index(),relem->index()) += lelem->value() * relem->value();
654 template<
typename MT >
655 friend inline typename EnableIf< CanExploitSymmetry<MT,MT1,MT2> >::Type
665 addAssign( ~lhs,
trans( rhs.lhs_ ) * rhs.rhs_ );
685 template<
typename MT >
686 friend inline typename EnableIf< CanExploitSymmetry<MT,MT1,MT2> >::Type
694 addAssign( ~lhs, rhs.lhs_ *
trans( rhs.rhs_ ) );
716 template<
typename MT
718 friend inline void subAssign( DenseMatrix<MT,SO>& lhs,
const TSMatSMatMultExpr& rhs )
725 CT1 A(
serial( rhs.lhs_ ) );
726 CT2 B(
serial( rhs.rhs_ ) );
735 TSMatSMatMultExpr::selectSubAssignKernel( ~lhs, A, B );
754 template<
typename MT3
757 static inline void selectSubAssignKernel( MT3& C,
const MT4& A,
const MT5& B )
762 for(
size_t j=0UL; j<A.columns(); ++j ) {
763 const LeftIterator lend( A.end(j) );
764 for( LeftIterator lelem=A.begin(j); lelem!=lend; ++lelem ) {
765 const RightIterator rend( B.end(j) );
766 for( RightIterator relem=B.begin(j); relem!=rend; ++relem ) {
767 C(lelem->index(),relem->index()) -= lelem->value() * relem->value();
790 template<
typename MT >
791 friend inline typename EnableIf< CanExploitSymmetry<MT,MT1,MT2> >::Type
801 subAssign( ~lhs,
trans( rhs.lhs_ ) * rhs.rhs_ );
821 template<
typename MT >
822 friend inline typename EnableIf< CanExploitSymmetry<MT,MT1,MT2> >::Type
830 subAssign( ~lhs, rhs.lhs_ *
trans( rhs.rhs_ ) );
863 template<
typename MT
865 friend inline typename EnableIf< IsEvaluationRequired<MT,MT1,MT2> >::Type
903 template<
typename MT >
904 friend inline typename EnableIf< CanExploitSymmetry<MT,MT1,MT2> >::Type
934 template<
typename MT >
935 friend inline typename EnableIf< CanExploitSymmetry<MT,MT1,MT2> >::Type
964 template<
typename MT
966 friend inline typename EnableIf< IsEvaluationRequired<MT,MT1,MT2> >::Type
1004 template<
typename MT >
1005 friend inline typename EnableIf< CanExploitSymmetry<MT,MT1,MT2> >::Type
1035 template<
typename MT >
1036 friend inline typename EnableIf< CanExploitSymmetry<MT,MT1,MT2> >::Type
1069 template<
typename MT
1071 friend inline typename EnableIf< IsEvaluationRequired<MT,MT1,MT2> >::Type
1109 template<
typename MT >
1110 friend inline typename EnableIf< CanExploitSymmetry<MT,MT1,MT2> >::Type
1140 template<
typename MT >
1141 friend inline typename EnableIf< CanExploitSymmetry<MT,MT1,MT2> >::Type
1217 template<
typename T1
1219 inline const TSMatSMatMultExpr<T1,T2>
1243 template<
typename MT1,
typename MT2 >
1260 template<
typename MT1,
typename MT2 >
1277 template<
typename MT1,
typename MT2 >
1279 :
public IsTrue< And< IsLower<MT1>, IsLower<MT2> >::value >
1295 template<
typename MT1,
typename MT2 >
1297 :
public IsTrue< And< IsUniLower<MT1>, IsUniLower<MT2> >::value >
1313 template<
typename MT1,
typename MT2 >
1315 :
public IsTrue< Or< And< IsStrictlyLower<MT1>, IsLower<MT2> >
1316 , And< IsStrictlyLower<MT2>, IsLower<MT1> > >::value >
1332 template<
typename MT1,
typename MT2 >
1334 :
public IsTrue< And< IsUpper<MT1>, IsUpper<MT2> >::value >
1350 template<
typename MT1,
typename MT2 >
1352 :
public IsTrue< And< IsUniUpper<MT1>, IsUniUpper<MT2> >::value >
1368 template<
typename MT1,
typename MT2 >
1370 :
public IsTrue< Or< And< IsStrictlyUpper<MT1>, IsUpper<MT2> >
1371 , And< IsStrictlyUpper<MT2>, IsUpper<MT1> > >::value >
1387 template<
typename MT1,
typename MT2,
typename VT >
1392 typedef typename SelectType< IsSparseMatrix<MT1>::value && IsColumnMajorMatrix<MT1>::value &&
1393 IsSparseMatrix<MT2>::value && IsRowMajorMatrix<MT2>::value &&
1394 IsDenseVector<VT>::value && IsColumnVector<VT>::value
1395 ,
typename TSMatDVecMultExprTrait< MT1, typename SMatDVecMultExprTrait<MT2,VT>::Type >::Type
1396 , INVALID_TYPE >::Type Type;
1405 template<
typename MT1,
typename MT2,
typename VT >
1410 typedef typename SelectType< IsSparseMatrix<MT1>::value && IsColumnMajorMatrix<MT1>::value &&
1411 IsSparseMatrix<MT2>::value && IsRowMajorMatrix<MT2>::value &&
1412 IsSparseVector<VT>::value && IsColumnVector<VT>::value
1413 ,
typename TSMatDVecMultExprTrait< MT1, typename SMatDVecMultExprTrait<MT2,VT>::Type >::Type
1414 , INVALID_TYPE >::Type Type;
1423 template<
typename VT,
typename MT1,
typename MT2 >
1428 typedef typename SelectType< IsDenseVector<VT>::value && IsRowVector<VT>::value &&
1429 IsSparseMatrix<MT1>::value && IsColumnMajorMatrix<MT1>::value &&
1430 IsSparseMatrix<MT2>::value && IsRowMajorMatrix<MT2>::value
1431 ,
typename TDVecSMatMultExprTrait< typename TDVecTSMatMultExprTrait<VT,MT1>::Type, MT2 >::Type
1432 , INVALID_TYPE >::Type Type;
1441 template<
typename VT,
typename MT1,
typename MT2 >
1446 typedef typename SelectType< IsSparseVector<VT>::value && IsRowVector<VT>::value &&
1447 IsSparseMatrix<MT1>::value && IsColumnMajorMatrix<MT1>::value &&
1448 IsSparseMatrix<MT2>::value && IsRowMajorMatrix<MT2>::value
1449 ,
typename TDVecSMatMultExprTrait< typename TDVecTSMatMultExprTrait<VT,MT1>::Type, MT2 >::Type
1450 , INVALID_TYPE >::Type Type;
1459 template<
typename MT1,
typename MT2,
bool AF >
1464 typedef typename MultExprTrait< typename SubmatrixExprTrait<const MT1,AF>::Type
1465 ,
typename SubmatrixExprTrait<const MT2,AF>::Type >::Type Type;
1474 template<
typename MT1,
typename MT2 >
1479 typedef typename MultExprTrait< typename RowExprTrait<const MT1>::Type, MT2 >::Type Type;
1488 template<
typename MT1,
typename MT2 >
1493 typedef typename MultExprTrait< MT1, typename ColumnExprTrait<const MT2>::Type >::Type 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
const MT::ElementType max(const DenseMatrix< MT, SO > &dm)
Returns the largest element of the dense matrix.
Definition: DenseMatrix.h:1729
Header file for mathematical functions.
Header file for the SMatDVecMultExprTrait class template.
Header file for the Rows type trait.
Header file for the UNUSED_PARAMETER function template.
Header file for the IsUniUpper type trait.
const DMatDMatMultExpr< T1, T2 > operator*(const DenseMatrix< T1, false > &lhs, const DenseMatrix< T2, false > &rhs)
Multiplication operator for the multiplication of two row-major dense matrices ( ).
Definition: DMatDMatMultExpr.h:7820
SelectType< IsExpression< MT1 >::value, const MT1, const MT1 & >::Type LeftOperand
Composite type of the left-hand side sparse matrix expression.
Definition: TSMatSMatMultExpr.h:187
Header file for basic type definitions.
ResultType::TransposeType TransposeType
Transpose type for expression template evaluations.
Definition: TSMatSMatMultExpr.h:181
Header file for the IsSparseMatrix type trait.
Efficient implementation of a compressed matrix.The CompressedMatrix class template is the represent...
Definition: CompressedMatrix.h:207
Header file for the ColumnExprTrait class template.
Header file for the IsColumnMajorMatrix type trait.
Header file for the TSVecTSMatMultExprTrait class template.
const This & CompositeType
Data type for composite expression templates.
Definition: CompressedMatrix.h:2588
Header file for the IsRowVector type trait.
Type ElementType
Type of the sparse matrix elements.
Definition: CompressedMatrix.h:259
void UNUSED_PARAMETER(const T1 &)
Suppression of unused parameter warnings.
Definition: Unused.h:81
Header file for the And class template.
Compile time check for lower triangular matrices.This type trait tests whether or not the given templ...
Definition: IsLower.h:90
Header file for the TDVecSMatMultExprTrait class template.
bool canAlias(const T *alias) const
Returns whether the expression can alias with the given address alias.
Definition: TSMatSMatMultExpr.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
bool canSMPAssign() const
Returns whether the expression can be used in SMP assignments.
Definition: TSMatSMatMultExpr.h:353
Header file for the Computation base class.
Header file for the MatMatMultExpr base class.
Compile time check for upper triangular matrices.This type trait tests whether or not the given templ...
Definition: IsUpper.h:90
Constraints on the storage order of matrix types.
Header file for the RequiresEvaluation type trait.
Header file for the TSVecSMatMultExprTrait class template.
Header file for the IsUniLower type trait.
CompressedMatrix< Type, false > OppositeType
Result type with opposite storage order for expression template evaluations.
Definition: CompressedMatrix.h:2584
Base class for dense matrices.The DenseMatrix class is a base class for all dense matrix classes...
Definition: DenseMatrix.h:70
Base class for sparse matrices.The SparseMatrix class is a base class for all sparse matrix classes...
Definition: Forward.h:117
bool isDefault(const DiagonalProxy< MT > &proxy)
Returns whether the represented element is in default state.
Definition: DiagonalProxy.h:547
MT2::CompositeType CT2
Composite type of the right-hand side sparse matrix expression.
Definition: TSMatSMatMultExpr.h:131
size_t nonZeros(size_t i) const
Returns the number of non-zero elements in the specified row.
Definition: TSMatSMatMultExpr.h:298
Header file for the SparseMatrix base class.
SelectType< IsExpression< MT2 >::value, const MT2, const MT2 & >::Type RightOperand
Composite type of the right-hand side sparse matrix expression.
Definition: TSMatSMatMultExpr.h:190
Constraint on the data type.
Header file for the MultExprTrait class template.
const ElementType ReturnType
Return type for expression template evaluations.
Definition: TSMatSMatMultExpr.h:183
Compile time check to query the requirement to evaluate an expression.Via this type trait it is possi...
Definition: RequiresEvaluation.h:90
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 multiplication trait.
Header file for the IsStrictlyUpper type trait.
Header file for the IsSymmetric type trait.
Namespace of the Blaze C++ math library.
Definition: Blaze.h:57
size_t rows() const
Returns the current number of rows of the matrix.
Definition: TSMatSMatMultExpr.h:267
#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
const Element * ConstIterator
Iterator over constant elements.
Definition: CompressedMatrix.h:2592
RightOperand rightOperand() const
Returns the right-hand side sparse matrix operand.
Definition: TSMatSMatMultExpr.h:319
Header file for the Or class template.
Header file for the TDVecTSMatMultExprTrait class template.
#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
const MT::ElementType min(const DenseMatrix< MT, SO > &dm)
Returns the smallest element of the dense matrix.
Definition: DenseMatrix.h:1682
TSMatSMatMultExpr< MT1, MT2 > This
Type of this TSMatSMatMultExpr instance.
Definition: TSMatSMatMultExpr.h:178
Header file for the Columns type trait.
Header file for the TSMatDVecMultExprTrait class template.
Header file for the IsLower type trait.
LeftOperand leftOperand() const
Returns the left-hand side transpose sparse matrix operand.
Definition: TSMatSMatMultExpr.h:309
TSMatSMatMultExpr(const MT1 &lhs, const MT2 &rhs)
Constructor for the TSMatSMatMultExpr class.
Definition: TSMatSMatMultExpr.h:205
Header file for the SMatSVecMultExprTrait class template.
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 complete DynamicVector implementation.
Header file for the EnableIf class template.
Header file for the IsStrictlyLower type trait.
Header file for the serial shim.
#define BLAZE_CONSTRAINT_MUST_FORM_VALID_MATMATMULTEXPR(T1, T2)
Constraint on the data type.In case the given data types T1 and T2 do not form a valid matrix/matrix ...
Definition: MatMatMultExpr.h:165
Compile time check for resizable data types.This type trait tests whether the given data type is a re...
Definition: IsResizable.h:75
size_t nonZeros() const
Returns the number of non-zero elements in the sparse matrix.
Definition: TSMatSMatMultExpr.h:287
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 IsSparseVector type trait.
#define BLAZE_CONSTRAINT_MUST_NOT_BE_SYMMETRIC_MATRIX_TYPE(T)
Constraint on the data type.In case the given data type T is a symmetric matrix type, a compilation error is created.
Definition: Symmetric.h:116
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
MultTrait< RT1, RT2 >::Type ResultType
Result type for expression template evaluations.
Definition: TSMatSMatMultExpr.h:179
Header file for run time assertion macros.
size_t columns() const
Returns the current number of columns of the matrix.
Definition: TSMatSMatMultExpr.h:277
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
Utility type for generic codes.
Base template for the MultTrait class.
Definition: MultTrait.h:138
ResultType::ElementType ElementType
Resulting element type.
Definition: TSMatSMatMultExpr.h:182
MT1::CompositeType CT1
Composite type of the left-hand side sparse matrix expression.
Definition: TSMatSMatMultExpr.h:130
ResultType::OppositeType OppositeType
Result type with opposite storage order for expression template evaluations.
Definition: TSMatSMatMultExpr.h:180
const ResultType CompositeType
Data type for composite expression templates.
Definition: TSMatSMatMultExpr.h:184
Header file for the isDefault shim.
Constraint on the data type.
Constraints on the storage order of matrix types.
Expression object for transpose sparse matrix-sparse matrix multiplications.The TSMatSMatMultExpr cla...
Definition: Forward.h:153
Substitution Failure Is Not An Error (SFINAE) class.The DisableIf class template is an auxiliary tool...
Definition: DisableIf.h:184
Header file for the IsDenseVector type trait.
bool isAliased(const T *alias) const
Returns whether the expression is aliased with the given address alias.
Definition: TSMatSMatMultExpr.h:343
ReturnType at(size_t i, size_t j) const
Checked access to the matrix elements.
Definition: TSMatSMatMultExpr.h:251
Header file for the IsRowMajorMatrix type trait.
LeftOperand lhs_
Left-hand side sparse matrix of the multiplication expression.
Definition: TSMatSMatMultExpr.h:360
const DMatTransExpr< MT,!SO > trans(const DenseMatrix< MT, SO > &dm)
Calculation of the transpose of the given dense matrix.
Definition: DMatTransExpr.h:944
Header file for the IsComputation type trait class.
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
This ResultType
Result type for expression template evaluations.
Definition: CompressedMatrix.h:2583
Header file for the IsTrue value trait.
MT1::ResultType RT1
Result type of the left-hand side sparse matrix expression.
Definition: TSMatSMatMultExpr.h:128
Header file for the IsUpper type trait.
Header file for exception macros.
Header file for the IsColumnVector type trait.
Constraint on the data type.
RightOperand rhs_
Right-hand side sparse matrix of the multiplication expression.
Definition: TSMatSMatMultExpr.h:361
ReturnType operator()(size_t i, size_t j) const
2D-access to the matrix elements.
Definition: TSMatSMatMultExpr.h:220
Header file for the IsResizable type trait.
MT2::ResultType RT2
Result type of the right-hand side sparse matrix expression.
Definition: TSMatSMatMultExpr.h:129
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
#define BLAZE_CONSTRAINT_MUST_BE_SPARSE_MATRIX_TYPE(T)
Constraint on the data type.In case the given data type T is not a sparse, N-dimensional matrix type...
Definition: SparseMatrix.h:79
Header file for the IsExpression type trait class.
Header file for the TSMatSVecMultExprTrait class template.
Header file for the FunctionTrace class.