35 #ifndef _BLAZE_MATH_EXPRESSIONS_TDMATSMATMULTEXPR_H_ 36 #define _BLAZE_MATH_EXPRESSIONS_TDMATSMATMULTEXPR_H_ 140 template<
typename MT1
146 class TDMatSMatMultExpr :
public DenseMatrix< TDMatSMatMultExpr<MT1,MT2,SF,HF,LF,UF>, true >
147 ,
private MatMatMultExpr
148 ,
private Computation
173 SYM = ( SF && !( HF || LF || UF ) ),
174 HERM = ( HF && !( LF || UF ) ),
175 LOW = ( LF || ( ( SF || HF ) && UF ) ),
176 UPP = ( UF || ( ( SF || HF ) && LF ) )
187 template<
typename T1,
typename T2,
typename T3 >
188 struct CanExploitSymmetry {
200 template<
typename T1,
typename T2,
typename T3 >
201 struct IsEvaluationRequired {
202 enum :
bool { value = ( evaluateLeft || evaluateRight ) &&
203 !CanExploitSymmetry<T1,T2,T3>::value };
214 template<
typename T1,
typename T2,
typename T3 >
215 struct UseOptimizedKernel {
229 template<
typename T1,
typename T2,
typename T3 >
230 struct UseDefaultKernel {
231 enum :
bool { value = !UseOptimizedKernel<T1,T2,T3>::value };
251 ,
Noop > > > > ForwardFunctor;
282 enum :
bool { simdEnabled =
false };
285 enum :
bool { smpAssignable = !evaluateLeft && MT1::smpAssignable &&
286 !evaluateRight && MT2::smpAssignable };
336 :(
lhs_.columns() ) ) );
340 const size_t n(
end - begin );
358 inline ReturnType
at(
size_t i,
size_t j )
const {
359 if( i >=
lhs_.rows() ) {
362 if( j >=
rhs_.columns() ) {
374 inline size_t rows() const noexcept {
385 return rhs_.columns();
415 template<
typename T >
416 inline bool canAlias(
const T* alias )
const noexcept {
417 return (
lhs_.isAliased( alias ) ||
rhs_.isAliased( alias ) );
427 template<
typename T >
429 return (
lhs_.isAliased( alias ) ||
rhs_.isAliased( alias ) );
439 return lhs_.isAligned();
472 template<
typename MT
482 LT A(
serial( rhs.lhs_ ) );
483 RT B(
serial( rhs.rhs_ ) );
492 TDMatSMatMultExpr::selectAssignKernel( ~lhs, A, B );
508 template<
typename MT3
511 static inline void selectAssignKernel( MT3& C,
const MT4& A,
const MT5& B )
513 if( C.rows() * C.columns() < TDMATSMATMULT_THRESHOLD )
514 selectSmallAssignKernel( C, A, B );
516 selectLargeAssignKernel( C, A, B );
536 template<
typename MT3
539 static inline void selectDefaultAssignKernel( MT3& C,
const MT4& A,
const MT5& B )
545 for(
size_t j=0UL; j<B.rows(); ++j )
547 ConstIterator element( B.begin(j) );
548 const ConstIterator
end( B.end(j) );
552 for( ; element!=
end; ++element ) {
553 C(j,element->index()) = A(j,j) * element->value();
558 for( ; element!=
end; ++element )
560 const size_t j1( element->index() );
564 ?( SYM || HERM || LOW ?
max(j1,j+1UL) : j+1UL )
565 :( SYM || HERM || LOW ?
max(j1,j) : j ) )
566 :( SYM || HERM || LOW ? j1 : 0UL ) );
569 ?( UPP ?
min(j1+1UL,j) : j )
570 :( UPP ?
min(j1,j)+1UL : j+1UL ) )
571 :( UPP ? j1+1UL : A.rows() ) );
573 if( ( SYM || HERM || LOW || UPP ) && ( ibegin >= iend ) )
continue;
576 for(
size_t i=ibegin; i<iend; ++i ) {
578 C(i,j1) = A(i,j) * element->value();
580 C(i,j1) += A(i,j) * element->value();
587 for(
size_t j=1UL; j<B.columns(); ++j ) {
588 for(
size_t i=0UL; i<j; ++i ) {
589 C(i,j) = HERM ?
conj( C(j,i) ) : C(j,i);
611 template<
typename MT3
615 selectSmallAssignKernel( MT3& C,
const MT4& A,
const MT5& B )
617 selectDefaultAssignKernel( C, A, B );
637 template<
typename MT3
641 selectSmallAssignKernel( MT3& C,
const MT4& A,
const MT5& B )
647 for(
size_t j=0UL; j<B.rows(); ++j )
649 ConstIterator element( B.begin(j) );
650 const ConstIterator
end( B.end(j) );
652 const size_t nonzeros( B.nonZeros(j) );
653 const size_t kpos( nonzeros &
size_t(-4) );
656 for(
size_t k=0UL; k<kpos; k+=4UL )
658 const size_t j1( element->index() );
659 const ET2 v1( element->value() );
661 const size_t j2( element->index() );
662 const ET2 v2( element->value() );
664 const size_t j3( element->index() );
665 const ET2 v3( element->value() );
667 const size_t j4( element->index() );
668 const ET2 v4( element->value() );
675 ?( SYM || HERM || LOW ?
max(j1,j+1UL) : j+1UL )
676 :( SYM || HERM || LOW ?
max(j1,j) : j ) )
677 :( SYM || HERM || LOW ? j1 : 0UL ) );
680 ?( UPP ?
min(j4+1UL,j) : j )
681 :( UPP ?
min(j4,j)+1UL : j+1UL ) )
682 :( UPP ? j4+1UL : A.rows() ) );
684 if( ( SYM || HERM || LOW || UPP ) && ( ibegin >= iend ) )
continue;
687 const size_t inum( iend - ibegin );
688 const size_t ipos( ibegin + ( inum &
size_t(-4) ) );
693 for( ; i<ipos; i+=4UL ) {
694 C(i ,j1) += A(i ,j) * v1;
695 C(i+1UL,j1) += A(i+1UL,j) * v1;
696 C(i+2UL,j1) += A(i+2UL,j) * v1;
697 C(i+3UL,j1) += A(i+3UL,j) * v1;
698 C(i ,j2) += A(i ,j) * v2;
699 C(i+1UL,j2) += A(i+1UL,j) * v2;
700 C(i+2UL,j2) += A(i+2UL,j) * v2;
701 C(i+3UL,j2) += A(i+3UL,j) * v2;
702 C(i ,j3) += A(i ,j) * v3;
703 C(i+1UL,j3) += A(i+1UL,j) * v3;
704 C(i+2UL,j3) += A(i+2UL,j) * v3;
705 C(i+3UL,j3) += A(i+3UL,j) * v3;
706 C(i ,j4) += A(i ,j) * v4;
707 C(i+1UL,j4) += A(i+1UL,j) * v4;
708 C(i+2UL,j4) += A(i+2UL,j) * v4;
709 C(i+3UL,j4) += A(i+3UL,j) * v4;
711 for( ; i<iend; ++i ) {
712 C(i,j1) += A(i,j) * v1;
713 C(i,j2) += A(i,j) * v2;
714 C(i,j3) += A(i,j) * v3;
715 C(i,j4) += A(i,j) * v4;
719 for( ; element!=
end; ++element )
721 const size_t j1( element->index() );
722 const ET2 v1( element->value() );
726 ?( SYM || HERM || LOW ?
max(j1,j+1UL) : j+1UL )
727 :( SYM || HERM || LOW ?
max(j1,j) : j ) )
728 :( SYM || HERM || LOW ? j1 : 0UL ) );
731 ?( UPP ?
min(j1+1UL,j) : j )
732 :( UPP ?
min(j1,j)+1UL : j+1UL ) )
733 :( UPP ? j1+1UL : A.rows() ) );
735 if( ( SYM || HERM || LOW || UPP ) && ( ibegin >= iend ) )
continue;
738 const size_t inum( iend - ibegin );
739 const size_t ipos( ibegin + ( inum &
size_t(-4) ) );
744 for( ; i<ipos; i+=4UL ) {
745 C(i ,j1) += A(i ,j) * v1;
746 C(i+1UL,j1) += A(i+1UL,j) * v1;
747 C(i+2UL,j1) += A(i+2UL,j) * v1;
748 C(i+3UL,j1) += A(i+3UL,j) * v1;
750 for( ; i<iend; ++i ) {
751 C(i,j1) += A(i,j) * v1;
757 for(
size_t j=1UL; j<B.columns(); ++j ) {
758 for(
size_t i=0UL; i<j; ++i ) {
759 C(i,j) = HERM ?
conj( C(j,i) ) : C(j,i);
781 template<
typename MT3
785 selectLargeAssignKernel( MT3& C,
const MT4& A,
const MT5& B )
787 selectDefaultAssignKernel( C, A, B );
807 template<
typename MT3
811 selectLargeAssignKernel( MT3& C,
const MT4& A,
const MT5& B )
815 const ForwardFunctor fwd;
818 assign( C, fwd( A * tmp ) );
836 template<
typename MT
855 const ForwardFunctor fwd;
857 const TmpType tmp(
serial( rhs ) );
858 assign( ~lhs, fwd( tmp ) );
878 template<
typename MT
890 const ForwardFunctor fwd;
892 assign( ~lhs, fwd( rhs.lhs_ *
trans( rhs.rhs_ ) ) );
910 template<
typename MT
920 LT A(
serial( rhs.lhs_ ) );
921 RT B(
serial( rhs.rhs_ ) );
930 TDMatSMatMultExpr::selectAddAssignKernel( ~lhs, A, B );
946 template<
typename MT3
949 static inline void selectAddAssignKernel( MT3& C,
const MT4& A,
const MT5& B )
951 if( C.rows() * C.columns() < TDMATSMATMULT_THRESHOLD )
952 selectSmallAddAssignKernel( C, A, B );
954 selectLargeAddAssignKernel( C, A, B );
974 template<
typename MT3
977 static inline void selectDefaultAddAssignKernel( MT3& C,
const MT4& A,
const MT5& B )
983 for(
size_t j=0UL; j<B.rows(); ++j )
985 ConstIterator element( B.begin(j) );
986 const ConstIterator
end( B.end(j) );
990 for( ; element!=
end; ++element ) {
991 C(j,element->index()) += A(j,j) * element->value();
996 for( ; element!=
end; ++element )
998 const size_t j1( element->index() );
1002 ?( LOW ?
max(j1,j+1UL) : j+1UL )
1003 :( LOW ?
max(j1,j) : j ) )
1004 :( LOW ? j1 : 0UL ) );
1007 ?( UPP ?
min(j1+1UL,j) : j )
1008 :( UPP ?
min(j1,j)+1UL : j+1UL ) )
1009 :( UPP ? j1+1UL : A.rows() ) );
1011 if( ( LOW || UPP ) && ( ibegin >= iend ) )
continue;
1014 const size_t inum( iend - ibegin );
1015 const size_t ipos( ibegin + ( inum &
size_t(-4) ) );
1018 for( i=ibegin; i<ipos; i+=4UL ) {
1019 C(i ,j1) += A(i ,j) * element->value();
1020 C(i+1UL,j1) += A(i+1UL,j) * element->value();
1021 C(i+2UL,j1) += A(i+2UL,j) * element->value();
1022 C(i+3UL,j1) += A(i+3UL,j) * element->value();
1024 for( ; i<iend; ++i ) {
1025 C(i,j1) += A(i,j) * element->value();
1048 template<
typename MT3
1052 selectSmallAddAssignKernel( MT3& C,
const MT4& A,
const MT5& B )
1054 selectDefaultAddAssignKernel( C, A, B );
1074 template<
typename MT3
1078 selectSmallAddAssignKernel( MT3& C,
const MT4& A,
const MT5& B )
1082 for(
size_t j=0UL; j<B.rows(); ++j )
1084 ConstIterator element( B.begin(j) );
1085 const ConstIterator
end( B.end(j) );
1087 const size_t nonzeros( B.nonZeros(j) );
1088 const size_t kpos( nonzeros &
size_t(-4) );
1091 for(
size_t k=0UL; k<kpos; k+=4UL )
1093 const size_t j1( element->index() );
1094 const ET2 v1( element->value() );
1096 const size_t j2( element->index() );
1097 const ET2 v2( element->value() );
1099 const size_t j3( element->index() );
1100 const ET2 v3( element->value() );
1102 const size_t j4( element->index() );
1103 const ET2 v4( element->value() );
1110 ?( LOW ?
max(j1,j+1UL) : j+1UL )
1111 :( LOW ?
max(j1,j) : j ) )
1112 :( LOW ? j1 : 0UL ) );
1115 ?( UPP ?
min(j4+1UL,j) : j )
1116 :( UPP ?
min(j4,j)+1UL : j+1UL ) )
1117 :( UPP ? j4+1UL : A.rows() ) );
1119 if( ( LOW || UPP ) && ( ibegin >= iend ) )
continue;
1122 const size_t inum( iend - ibegin );
1123 const size_t ipos( ibegin + ( inum &
size_t(-4) ) );
1128 for( i=ibegin; i<ipos; i+=4UL ) {
1129 C(i ,j1) += A(i ,j) * v1;
1130 C(i+1UL,j1) += A(i+1UL,j) * v1;
1131 C(i+2UL,j1) += A(i+2UL,j) * v1;
1132 C(i+3UL,j1) += A(i+3UL,j) * v1;
1133 C(i ,j2) += A(i ,j) * v2;
1134 C(i+1UL,j2) += A(i+1UL,j) * v2;
1135 C(i+2UL,j2) += A(i+2UL,j) * v2;
1136 C(i+3UL,j2) += A(i+3UL,j) * v2;
1137 C(i ,j3) += A(i ,j) * v3;
1138 C(i+1UL,j3) += A(i+1UL,j) * v3;
1139 C(i+2UL,j3) += A(i+2UL,j) * v3;
1140 C(i+3UL,j3) += A(i+3UL,j) * v3;
1141 C(i ,j4) += A(i ,j) * v4;
1142 C(i+1UL,j4) += A(i+1UL,j) * v4;
1143 C(i+2UL,j4) += A(i+2UL,j) * v4;
1144 C(i+3UL,j4) += A(i+3UL,j) * v4;
1146 for( ; i<iend; ++i ) {
1147 C(i,j1) += A(i,j) * v1;
1148 C(i,j2) += A(i,j) * v2;
1149 C(i,j3) += A(i,j) * v3;
1150 C(i,j4) += A(i,j) * v4;
1154 for( ; element!=
end; ++element )
1156 const size_t j1( element->index() );
1157 const ET2 v1( element->value() );
1161 ?( LOW ?
max(j1,j+1UL) : j+1UL )
1162 :( LOW ?
max(j1,j) : j ) )
1163 :( LOW ? j1 : 0UL ) );
1166 ?( UPP ?
min(j1+1UL,j) : j )
1167 :( UPP ?
min(j1,j)+1UL : j+1UL ) )
1168 :( UPP ? j1+1UL : A.rows() ) );
1170 if( ( LOW || UPP ) && ( ibegin >= iend ) )
continue;
1173 const size_t inum( iend - ibegin );
1174 const size_t ipos( ibegin + ( inum &
size_t(-4) ) );
1179 for( ; i<ipos; i+=4UL ) {
1180 C(i ,j1) += A(i ,j) * v1;
1181 C(i+1UL,j1) += A(i+1UL,j) * v1;
1182 C(i+2UL,j1) += A(i+2UL,j) * v1;
1183 C(i+3UL,j1) += A(i+3UL,j) * v1;
1185 for( ; i<iend; ++i ) {
1186 C(i,j1) += A(i,j) * v1;
1208 template<
typename MT3
1212 selectLargeAddAssignKernel( MT3& C,
const MT4& A,
const MT5& B )
1214 selectDefaultAddAssignKernel( C, A, B );
1234 template<
typename MT3
1238 selectLargeAddAssignKernel( MT3& C,
const MT4& A,
const MT5& B )
1242 const ForwardFunctor fwd;
1245 addAssign( C, fwd( A * tmp ) );
1265 template<
typename MT
1275 const ForwardFunctor fwd;
1277 addAssign( ~lhs, fwd( rhs.lhs_ *
trans( rhs.rhs_ ) ) );
1299 template<
typename MT
1309 LT A(
serial( rhs.lhs_ ) );
1310 RT B(
serial( rhs.rhs_ ) );
1319 TDMatSMatMultExpr::selectSubAssignKernel( ~lhs, A, B );
1335 template<
typename MT3
1338 static inline void selectSubAssignKernel( MT3& C,
const MT4& A,
const MT5& B )
1340 if( C.rows() * C.columns() < TDMATSMATMULT_THRESHOLD )
1341 selectSmallSubAssignKernel( C, A, B );
1343 selectLargeSubAssignKernel( C, A, B );
1363 template<
typename MT3
1366 static inline void selectDefaultSubAssignKernel( MT3& C,
const MT4& A,
const MT5& B )
1372 for(
size_t j=0UL; j<B.rows(); ++j )
1374 ConstIterator element( B.begin(j) );
1375 const ConstIterator
end( B.end(j) );
1379 for( ; element!=
end; ++element ) {
1380 C(j,element->index()) -= A(j,j) * element->value();
1385 for( ; element!=
end; ++element )
1387 const size_t j1( element->index() );
1391 ?( LOW ?
max(j1,j+1UL) : j+1UL )
1392 :( LOW ?
max(j1,j) : j ) )
1393 :( LOW ? j1 : 0UL ) );
1396 ?( UPP ?
min(j1+1UL,j) : j )
1397 :( UPP ?
min(j1,j)+1UL : j+1UL ) )
1398 :( UPP ? j1+1UL : A.rows() ) );
1400 if( ( LOW || UPP ) && ( ibegin >= iend ) )
continue;
1403 const size_t inum( iend - ibegin );
1404 const size_t ipos( ibegin + ( inum &
size_t(-4) ) );
1407 for( i=ibegin; i<ipos; i+=4UL ) {
1408 C(i ,j1) -= A(i ,j) * element->value();
1409 C(i+1UL,j1) -= A(i+1UL,j) * element->value();
1410 C(i+2UL,j1) -= A(i+2UL,j) * element->value();
1411 C(i+3UL,j1) -= A(i+3UL,j) * element->value();
1413 for( ; i<iend; ++i ) {
1414 C(i,j1) -= A(i,j) * element->value();
1437 template<
typename MT3
1441 selectSmallSubAssignKernel( MT3& C,
const MT4& A,
const MT5& B )
1443 selectDefaultSubAssignKernel( C, A, B );
1463 template<
typename MT3
1467 selectSmallSubAssignKernel( MT3& C,
const MT4& A,
const MT5& B )
1471 for(
size_t j=0UL; j<B.rows(); ++j )
1473 ConstIterator element( B.begin(j) );
1474 const ConstIterator
end( B.end(j) );
1476 const size_t nonzeros( B.nonZeros(j) );
1477 const size_t kpos( nonzeros &
size_t(-4) );
1480 for(
size_t k=0UL; k<kpos; k+=4UL )
1482 const size_t j1( element->index() );
1483 const ET2 v1( element->value() );
1485 const size_t j2( element->index() );
1486 const ET2 v2( element->value() );
1488 const size_t j3( element->index() );
1489 const ET2 v3( element->value() );
1491 const size_t j4( element->index() );
1492 const ET2 v4( element->value() );
1499 ?( LOW ?
max(j1,j+1UL) : j+1UL )
1500 :( LOW ?
max(j1,j) : j ) )
1501 :( LOW ? j1 : 0UL ) );
1504 ?( UPP ?
min(j4+1UL,j) : j )
1505 :( UPP ?
min(j4,j)+1UL : j+1UL ) )
1506 :( UPP ? j4+1UL : A.rows() ) );
1508 if( ( LOW || UPP ) && ( ibegin >= iend ) )
continue;
1511 const size_t inum( iend - ibegin );
1512 const size_t ipos( ibegin + ( inum &
size_t(-4) ) );
1517 for( ; i<ipos; i+=4UL ) {
1518 C(i ,j1) -= A(i ,j) * v1;
1519 C(i+1UL,j1) -= A(i+1UL,j) * v1;
1520 C(i+2UL,j1) -= A(i+2UL,j) * v1;
1521 C(i+3UL,j1) -= A(i+3UL,j) * v1;
1522 C(i ,j2) -= A(i ,j) * v2;
1523 C(i+1UL,j2) -= A(i+1UL,j) * v2;
1524 C(i+2UL,j2) -= A(i+2UL,j) * v2;
1525 C(i+3UL,j2) -= A(i+3UL,j) * v2;
1526 C(i ,j3) -= A(i ,j) * v3;
1527 C(i+1UL,j3) -= A(i+1UL,j) * v3;
1528 C(i+2UL,j3) -= A(i+2UL,j) * v3;
1529 C(i+3UL,j3) -= A(i+3UL,j) * v3;
1530 C(i ,j4) -= A(i ,j) * v4;
1531 C(i+1UL,j4) -= A(i+1UL,j) * v4;
1532 C(i+2UL,j4) -= A(i+2UL,j) * v4;
1533 C(i+3UL,j4) -= A(i+3UL,j) * v4;
1535 for( ; i<iend; ++i ) {
1536 C(i,j1) -= A(i,j) * v1;
1537 C(i,j2) -= A(i,j) * v2;
1538 C(i,j3) -= A(i,j) * v3;
1539 C(i,j4) -= A(i,j) * v4;
1543 for( ; element!=
end; ++element )
1545 const size_t j1( element->index() );
1546 const ET2 v1( element->value() );
1550 ?( LOW ?
max(j1,j+1UL) : j+1UL )
1551 :( LOW ?
max(j1,j) : j ) )
1552 :( LOW ? j1 : 0UL ) );
1555 ?( UPP ?
min(j1+1UL,j) : j )
1556 :( UPP ?
min(j1,j)+1UL : j+1UL ) )
1557 :( UPP ? j1+1UL : A.rows() ) );
1559 if( ( LOW || UPP ) && ( ibegin >= iend ) )
continue;
1562 const size_t inum( iend - ibegin );
1563 const size_t ipos( ibegin + ( inum &
size_t(-4) ) );
1568 for( ; i<ipos; i+=4UL ) {
1569 C(i ,j1) -= A(i ,j) * v1;
1570 C(i+1UL,j1) -= A(i+1UL,j) * v1;
1571 C(i+2UL,j1) -= A(i+2UL,j) * v1;
1572 C(i+3UL,j1) -= A(i+3UL,j) * v1;
1574 for( ; i<iend; ++i ) {
1575 C(i,j1) -= A(i,j) * v1;
1597 template<
typename MT3
1601 selectLargeSubAssignKernel( MT3& C,
const MT4& A,
const MT5& B )
1603 selectDefaultSubAssignKernel( C, A, B );
1623 template<
typename MT3
1627 selectLargeSubAssignKernel( MT3& C,
const MT4& A,
const MT5& B )
1631 const ForwardFunctor fwd;
1634 subAssign( C, fwd( A * tmp ) );
1654 template<
typename MT
1666 const ForwardFunctor fwd;
1668 subAssign( ~lhs, fwd( rhs.lhs_ *
trans( rhs.rhs_ ) ) );
1701 template<
typename MT
1742 template<
typename MT
1761 const ForwardFunctor fwd;
1763 const TmpType tmp( rhs );
1784 template<
typename MT
1794 const ForwardFunctor fwd;
1817 template<
typename MT
1857 template<
typename MT
1869 const ForwardFunctor fwd;
1896 template<
typename MT
1936 template<
typename MT
1948 const ForwardFunctor fwd;
2018 template<
typename T1
2067 template<
typename MT1
2113 template<
typename MT1
2159 template<
typename MT1
2205 template<
typename MT1
2251 template<
typename MT1
2282 template<
typename MT1,
typename MT2,
bool SF,
bool HF,
bool LF,
bool UF >
2283 struct Rows< TDMatSMatMultExpr<MT1,MT2,SF,HF,LF,UF> > :
public Rows<MT1>
2299 template<
typename MT1,
typename MT2,
bool SF,
bool HF,
bool LF,
bool UF >
2300 struct Columns< TDMatSMatMultExpr<MT1,MT2,SF,HF,LF,UF> > :
public Columns<MT2>
2316 template<
typename MT1,
typename MT2,
bool SF,
bool HF,
bool LF,
bool UF >
2317 struct IsAligned< TDMatSMatMultExpr<MT1,MT2,SF,HF,LF,UF> >
2334 template<
typename MT1,
typename MT2,
bool SF,
bool HF,
bool LF,
bool UF >
2335 struct IsSymmetric< TDMatSMatMultExpr<MT1,MT2,SF,HF,LF,UF> >
2338 , IsBuiltin< ElementType_< TDMatSMatMultExpr<MT1,MT2,false,true,false,false> > > >
2339 , And< Bool<LF>, Bool<UF> > >::value >
2355 template<
typename MT1,
typename MT2,
bool SF,
bool LF,
bool UF >
2356 struct IsHermitian< TDMatSMatMultExpr<MT1,MT2,SF,true,LF,UF> >
2373 template<
typename MT1,
typename MT2,
bool SF,
bool HF,
bool LF,
bool UF >
2374 struct IsLower< TDMatSMatMultExpr<MT1,MT2,SF,HF,LF,UF> >
2376 , And< IsLower<MT1>, IsLower<MT2> >
2377 , And< Or< Bool<SF>, Bool<HF> >
2378 , IsUpper<MT1>, IsUpper<MT2> > >::value >
2394 template<
typename MT1,
typename MT2,
bool SF,
bool HF,
bool LF,
bool UF >
2395 struct IsUniLower< TDMatSMatMultExpr<MT1,MT2,SF,HF,LF,UF> >
2396 :
public BoolConstant< Or< And< IsUniLower<MT1>, IsUniLower<MT2> >
2397 , And< Or< Bool<SF>, Bool<HF> >
2398 , IsUniUpper<MT1>, IsUniUpper<MT2> > >::value >
2414 template<
typename MT1,
typename MT2,
bool SF,
bool HF,
bool LF,
bool UF >
2416 :
public BoolConstant< Or< And< IsStrictlyLower<MT1>, IsLower<MT2> >
2417 , And< IsStrictlyLower<MT2>, IsLower<MT1> >
2418 , And< Or< Bool<SF>, Bool<HF> >
2419 , Or< And< IsStrictlyUpper<MT1>, IsUpper<MT2> >
2420 , And< IsStrictlyUpper<MT2>, IsUpper<MT1> > > > >::value >
2436 template<
typename MT1,
typename MT2,
bool SF,
bool HF,
bool LF,
bool UF >
2437 struct IsUpper< TDMatSMatMultExpr<MT1,MT2,SF,HF,LF,UF> >
2439 , And< IsUpper<MT1>, IsUpper<MT2> >
2440 , And< Or< Bool<SF>, Bool<HF> >
2441 , IsLower<MT1>, IsLower<MT2> > >::value >
2457 template<
typename MT1,
typename MT2,
bool SF,
bool HF,
bool LF,
bool UF >
2458 struct IsUniUpper< TDMatSMatMultExpr<MT1,MT2,SF,HF,LF,UF> >
2459 :
public BoolConstant< Or< And< IsUniUpper<MT1>, IsUniUpper<MT2> >
2460 , And< Or< Bool<SF>, Bool<HF> >
2461 , IsUniLower<MT1>, IsUniLower<MT2> > >::value >
2477 template<
typename MT1,
typename MT2,
bool SF,
bool HF,
bool LF,
bool UF >
2479 :
public BoolConstant< Or< And< IsStrictlyUpper<MT1>, IsUpper<MT2> >
2480 , And< IsStrictlyUpper<MT2>, IsUpper<MT1> >
2481 , And< Or< Bool<SF>, Bool<HF> >
2482 , Or< And< IsStrictlyLower<MT1>, IsLower<MT2> >
2483 , And< IsStrictlyLower<MT2>, IsLower<MT1> > > > >::value >
2499 template<
typename MT1,
typename MT2,
bool SF,
bool HF,
bool LF,
bool UF,
typename VT >
2517 template<
typename MT1,
typename MT2,
bool SF,
bool HF,
bool LF,
bool UF,
typename VT >
2535 template<
typename VT,
typename MT1,
typename MT2,
bool SF,
bool HF,
bool LF,
bool UF >
2553 template<
typename VT,
typename MT1,
typename MT2,
bool SF,
bool HF,
bool LF,
bool UF >
2571 template<
typename MT1,
typename MT2,
bool SF,
bool HF,
bool LF,
bool UF >
2588 template<
typename MT1,
typename MT2,
bool SF,
bool HF,
bool LF,
bool UF >
2605 template<
typename MT1,
typename MT2,
bool SF,
bool HF,
bool LF,
bool UF >
2622 template<
typename MT1,
typename MT2,
bool SF,
bool HF,
bool LF,
bool UF >
2639 template<
typename MT1,
typename MT2,
bool SF,
bool HF,
bool LF,
bool UF >
2656 template<
typename MT1,
typename MT2,
bool SF,
bool HF,
bool LF,
bool UF,
bool AF >
2671 template<
typename MT1,
typename MT2,
bool SF,
bool HF,
bool LF,
bool UF >
2672 struct RowExprTrait< TDMatSMatMultExpr<MT1,MT2,SF,HF,LF,UF> >
2685 template<
typename MT1,
typename MT2,
bool SF,
bool HF,
bool LF,
bool UF >
typename SubmatrixExprTrait< MT, AF >::Type SubmatrixExprTrait_
Auxiliary alias declaration for the SubmatrixExprTrait type trait.The SubmatrixExprTrait_ alias decla...
Definition: SubmatrixExprTrait.h:134
#define BLAZE_THROW_INVALID_ARGUMENT(MESSAGE)
Macro for the emission of a std::invalid_argument exception.This macro encapsulates the default way o...
Definition: Exception.h:235
Evaluation of the expression type of a dense matrix declherm operation.Via this type trait it is poss...
Definition: TDMatDeclHermExprTrait.h:75
Compile time check for row vector types.This type trait tests whether or not the given template argum...
Definition: IsRowVector.h:80
const DMatForEachExpr< MT, Conj, SO > conj(const DenseMatrix< MT, SO > &dm)
Returns a matrix containing the complex conjugate of each single element of dm.
Definition: DMatForEachExpr.h:1214
Header file for auxiliary alias declarations.
Compile time check whether the given type is a computational expression template.This type trait clas...
Definition: IsComputation.h:72
Evaluation of the expression type of a dense matrix decllow operation.Via this type trait it is possi...
Definition: TDMatDeclLowExprTrait.h:75
Header file for mathematical functions.
constexpr bool useOptimizedKernels
Configuration switch for optimized kernels.This configuration switch enables/disables all optimized c...
Definition: Optimizations.h:84
Header file for the SMatDVecMultExprTrait class template.
size_t rows() const noexcept
Returns the current number of rows of the matrix.
Definition: TDMatSMatMultExpr.h:374
Header file for the Rows type trait.
Header file for the IsUniUpper type trait.
ReturnType operator()(size_t i, size_t j) const
2D-access to the matrix elements.
Definition: TDMatSMatMultExpr.h:310
Compile time check for triangular matrix types.This type trait tests whether or not the given templat...
Definition: IsTriangular.h:87
Header file for basic type definitions.
ReturnType at(size_t i, size_t j) const
Checked access to the matrix elements.
Definition: TDMatSMatMultExpr.h:358
IfTrue_< evaluateRight, const RT2, CT2 > RT
Type for the assignment of the right-hand side sparse matrix operand.
Definition: TDMatSMatMultExpr.h:277
typename TDVecSMatMultExprTrait< VT, MT >::Type TDVecSMatMultExprTrait_
Auxiliary alias declaration for the TDVecSMatMultExprTrait class template.The TDVecSMatMultExprTrait_...
Definition: TDVecSMatMultExprTrait.h:123
LeftOperand leftOperand() const noexcept
Returns the left-hand side transpose dense matrix operand.
Definition: TDMatSMatMultExpr.h:394
EnableIf_< IsDenseMatrix< MT1 > > 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 IsSparseMatrix type trait.
Header file for the serial shim.
Header file for the IsDiagonal type trait.
Generic wrapper for a compile time constant integral value.The IntegralConstant class template repres...
Definition: IntegralConstant.h:71
#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:61
ElementType_< RT2 > ET2
Element type of the right-hand side sparse matrix expression.
Definition: TDMatSMatMultExpr.h:155
Header file for the ColumnExprTrait class template.
Header file for the DeclUpp functor.
BLAZE_ALWAYS_INLINE MT::Iterator begin(Matrix< MT, SO > &matrix, size_t i)
Returns an iterator to the first element of row/column i.
Definition: Matrix.h:194
Header file for the IsColumnMajorMatrix type trait.
void reset(const DiagonalProxy< MT > &proxy)
Resetting the represented element to the default initial values.
Definition: DiagonalProxy.h:533
RightOperand rightOperand() const noexcept
Returns the right-hand side sparse matrix operand.
Definition: TDMatSMatMultExpr.h:404
CompositeType_< MT2 > CT2
Composite type of the right-hand side sparse matrix expression.
Definition: TDMatSMatMultExpr.h:157
Header file for the IsRowVector type trait.
typename DisableIf< Condition, T >::Type DisableIf_
Auxiliary type for the DisableIf class template.The DisableIf_ alias declaration provides a convenien...
Definition: DisableIf.h:223
Header file for the And class template.
const ElementType_< MT > min(const DenseMatrix< MT, SO > &dm)
Returns the smallest element of the dense matrix.
Definition: DenseMatrix.h:1755
Compile time check for lower triangular matrices.This type trait tests whether or not the given templ...
Definition: IsLower.h:88
Header file for the TDVecSMatMultExprTrait class template.
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
Evaluation of the expression type of a sparse vector/transpose dense matrix multiplication.Via this type trait it is possible to evaluate the resulting expression type of a sparse vector/transpose dense matrix multiplication. Given the transpose sparse vector type VT and the column-major dense matrix type MT, the nested type Type corresponds to the resulting expression type. In case either VT is not a transpose sparse vector type or MT is not a column-major dense matrix type, the resulting data type Type is set to INVALID_TYPE.
Definition: TSVecTDMatMultExprTrait.h:81
typename MultTrait< T1, T2 >::Type MultTrait_
Auxiliary alias declaration for the MultTrait class template.The MultTrait_ alias declaration provide...
Definition: MultTrait.h:245
ElementType_< ResultType > ElementType
Resulting element type.
Definition: TDMatSMatMultExpr.h:263
Header file for the Computation base class.
Flag for symmetric matrices.
Definition: TDMatSMatMultExpr.h:173
Header file for the MatMatMultExpr base class.
DisableIf_< IsSymmetric< MT >, const DMatDeclSymExpr< MT, SO > > declsym(const DenseMatrix< MT, SO > &dm)
Declares the given non-symmetric dense matrix expression dm as symmetric.
Definition: DMatDeclSymExpr.h:841
Compile time check for upper triangular matrices.This type trait tests whether or not the given templ...
Definition: IsUpper.h:88
Constraints on the storage order of matrix types.
Header file for the TDMatDeclDiagExprTrait class template.
typename TDMatSVecMultExprTrait< MT, VT >::Type TDMatSVecMultExprTrait_
Auxiliary alias declaration for the TDMatSVecMultExprTrait class template.The TDMatSVecMultExprTrait_...
Definition: TDMatSVecMultExprTrait.h:120
Header file for the RequiresEvaluation type trait.
System settings for performance optimizations.
Expression object for transpose dense matrix-sparse matrix multiplications.The TDMatSMatMultExpr clas...
Definition: Forward.h:141
Header file for the IsUniLower type trait.
typename T::ResultType ResultType_
Alias declaration for nested ResultType type definitions.The ResultType_ alias declaration provides a...
Definition: Aliases.h:323
const ElementType_< MT > max(const DenseMatrix< MT, SO > &dm)
Returns the largest element of the dense matrix.
Definition: DenseMatrix.h:1802
EnableIf_< IsDenseMatrix< MT1 > > 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
Base class for dense matrices.The DenseMatrix class is a base class for all dense matrix classes...
Definition: DenseMatrix.h:71
Base class for sparse matrices.The SparseMatrix class is a base class for all sparse matrix classes...
Definition: Forward.h:119
Constraint on the data type.
typename IfTrue< Condition, T1, T2 >::Type IfTrue_
Auxiliary alias declaration for the IfTrue class template.The IfTrue_ alias declaration provides a co...
Definition: If.h:109
Compile time check for the alignment of data types.This type trait tests whether the given data type ...
Definition: IsAligned.h:87
RightOperand rhs_
Right-hand side sparse matrix of the multiplication expression.
Definition: TDMatSMatMultExpr.h:456
Constraint on the data type.
Constraint on the data type.
typename MultExprTrait< T1, T2 >::Type MultExprTrait_
Auxiliary alias declaration for the MultExprTrait class template.The MultExprTrait_ alias declaration...
Definition: MultExprTrait.h:344
Header file for the MultExprTrait class template.
DisableIf_< IsHermitian< MT >, const DMatDeclHermExpr< MT, SO > > declherm(const DenseMatrix< MT, SO > &dm)
Declares the given non-Hermitian dense matrix expression dm as Hermitian.
Definition: DMatDeclHermExpr.h:841
Compile time check to query the requirement to evaluate an expression.Via this type trait it is possi...
Definition: RequiresEvaluation.h:72
bool canAlias(const T *alias) const noexcept
Returns whether the expression can alias with the given address alias.
Definition: TDMatSMatMultExpr.h:416
SubvectorExprTrait_< VT, unaligned > subvector(Vector< VT, TF > &vector, size_t index, size_t size)
Creating a view on a specific subvector of the given vector.
Definition: Subvector.h:152
typename T::CompositeType CompositeType_
Alias declaration for nested CompositeType type definitions.The CompositeType_ alias declaration prov...
Definition: Aliases.h:83
Compile time check for upper unitriangular matrices.This type trait tests whether or not the given te...
Definition: IsUniUpper.h:86
MultTrait_< RT1, RT2 > ResultType
Result type for expression template evaluations.
Definition: TDMatSMatMultExpr.h:260
Flag for lower matrices.
Definition: TDMatSMatMultExpr.h:175
Header file for the DisableIf class template.
Compile time check for dense vector types.This type trait tests whether or not the given template par...
Definition: IsDenseVector.h:78
ResultType_< MT2 > RT2
Result type of the right-hand side sparse matrix expression.
Definition: TDMatSMatMultExpr.h:153
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
Header file for the DeclLow functor.
Header file for the If class template.
Compile time check for row-major matrix types.This type trait tests whether or not the given template...
Definition: IsRowMajorMatrix.h:83
#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:61
Flag for upper matrices.
Definition: TDMatSMatMultExpr.h:176
Header file for the TSVecTDMatMultExprTrait class template.
const Element * ConstIterator
Iterator over constant elements.
Definition: CompressedMatrix.h:2939
Evaluation of the expression type of a dense matrix declupp operation.Via this type trait it is possi...
Definition: TDMatDeclUppExprTrait.h:75
Generic wrapper for the decllow() function.
Definition: DeclLow.h:58
EnableIf_< IsDenseMatrix< MT1 > > 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
Header file for the Or class template.
Header file for the TDMatSVecMultExprTrait class template.
Header file for the TDMatDeclHermExprTrait class template.
#define BLAZE_THROW_OUT_OF_RANGE(MESSAGE)
Macro for the emission of a std::out_of_range exception.This macro encapsulates the default way of Bl...
Definition: Exception.h:331
Header file for the DenseMatrix base class.
Header file for the Columns type trait.
Header file for the TDMatDeclUppExprTrait class template.
typename T::ElementType ElementType_
Alias declaration for nested ElementType type definitions.The ElementType_ alias declaration provides...
Definition: Aliases.h:163
Evaluation of the expression type of a dense matrix decldiag operation.Via this type trait it is poss...
Definition: TDMatDeclDiagExprTrait.h:75
Compile time check for sparse vector types.This type trait tests whether or not the given template pa...
Definition: IsSparseVector.h:78
Evaluation of the expression type type of a submatrix operation.Via this type trait it is possible to...
Definition: SubmatrixExprTrait.h:80
Header file for the IsLower type trait.
Header file for the IsAligned type trait.
Compile time check for diagonal matrices.This type trait tests whether or not the given template para...
Definition: IsDiagonal.h:90
Header file for the SMatSVecMultExprTrait class template.
DisableIf_< Or< IsComputation< MT >, IsTransExpr< MT >, IsDeclExpr< MT > >, RowExprTrait_< MT > > row(Matrix< MT, SO > &matrix, size_t index)
Creating a view on a specific row of the given matrix.
Definition: Row.h:128
#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:60
Generic wrapper for the null function.
Definition: Noop.h:58
Header file for the IsTriangular type trait.
If_< IsExpression< MT2 >, const MT2, const MT2 &> RightOperand
Composite type of the right-hand side sparse matrix expression.
Definition: TDMatSMatMultExpr.h:271
Compile time check for column vector types.This type trait tests whether or not the given template ar...
Definition: IsColumnVector.h:80
Evaluation of the expression type of a dense matrix declsym operation.Via this type trait it is possi...
Definition: TDMatDeclSymExprTrait.h:75
Constraints on the storage order of matrix types.
Compile time check for symmetric matrices.This type trait tests whether or not the given template par...
Definition: IsSymmetric.h:85
Header file for the exception macros of the math module.
DisableIf_< IsLower< MT >, const DMatDeclLowExpr< MT, SO > > decllow(const DenseMatrix< MT, SO > &dm)
Declares the given non-lower dense matrix expression dm as lower.
Definition: DMatDeclLowExpr.h:842
Compile time check for strictly upper triangular matrices.This type trait tests whether or not the gi...
Definition: IsStrictlyUpper.h:86
Evaluation of the expression type type of a row operation.Via this type trait it is possible to evalu...
Definition: RowExprTrait.h:79
BLAZE_ALWAYS_INLINE MT::Iterator end(Matrix< MT, SO > &matrix, size_t i)
Returns an iterator just past the last element of row/column i.
Definition: Matrix.h:260
Header file for the DeclDiag functor.
Compile time check for dense matrix types.This type trait tests whether or not the given template par...
Definition: IsDenseMatrix.h:78
bool isAligned() const noexcept
Returns whether the operands of the expression are properly aligned in memory.
Definition: TDMatSMatMultExpr.h:438
Header file for the RowExprTrait class template.
Header file for all forward declarations for expression class templates.
Header file for the IsDenseMatrix type trait.
DisableIf_< Or< IsComputation< MT >, IsTransExpr< MT >, IsDeclExpr< MT > >, ColumnExprTrait_< MT > > column(Matrix< MT, SO > &matrix, size_t index)
Creating a view on a specific column of the given matrix.
Definition: Column.h:128
Header file for the EnableIf class template.
Header file for the IsStrictlyLower type trait.
const ElementType ReturnType
Return type for expression template evaluations.
Definition: TDMatSMatMultExpr.h:264
#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:109
Compile time check for lower unitriangular matrices.This type trait tests whether or not the given te...
Definition: IsUniLower.h:86
Header file for the conjugate shim.
Compile time check for resizable data types.This type trait tests whether the given data type is a re...
Definition: IsResizable.h:75
Evaluation of the expression type of a transpose dense matrix/sparse vector multiplication.Via this type trait it is possible to evaluate the resulting expression type of a transpose dense matrix/sparse vector multiplication. Given the column-major dense matrix type MT and the non-transpose sparse vector type VT, the nested type Type corresponds to the resulting expression type. In case either MT is not a column-major dense matrix type or VT is not a non-transpose sparse vector type, the resulting data type Type is set to INVALID_TYPE.
Definition: TDMatSVecMultExprTrait.h:79
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:79
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:61
Header file for run time assertion macros.
TDMatSMatMultExpr(const MT1 &lhs, const MT2 &rhs) noexcept
Constructor for the TDMatSMatMultExpr class.
Definition: TDMatSMatMultExpr.h:295
Compile time check for column-major matrix types.This type trait tests whether or not the given templ...
Definition: IsColumnMajorMatrix.h:83
Utility type for generic codes.
Header file for the TDMatDeclLowExprTrait class template.
OppositeType_< ResultType > OppositeType
Result type with opposite storage order for expression template evaluations.
Definition: TDMatSMatMultExpr.h:261
typename If< T1, T2, T3 >::Type If_
Auxiliary alias declaration for the If class template.The If_ alias declaration provides a convenient...
Definition: If.h:160
IfTrue_< evaluateLeft, const RT1, CT1 > LT
Type for the assignment of the left-hand side dense matrix operand.
Definition: TDMatSMatMultExpr.h:274
Header file for the reset shim.
#define BLAZE_FUNCTION_TRACE
Function trace macro.This macro can be used to reliably trace function calls. In case function tracin...
Definition: FunctionTrace.h:93
Flag for Hermitian matrices.
Definition: TDMatSMatMultExpr.h:174
LeftOperand lhs_
Left-hand side dense matrix of the multiplication expression.
Definition: TDMatSMatMultExpr.h:455
Header file for the isDefault shim.
Compile time check for Hermitian matrices.This type trait tests whether or not the given template par...
Definition: IsHermitian.h:85
Base class for matrices.The Matrix class is a base class for all dense and sparse matrix classes with...
Definition: Forward.h:94
Constraint on the data type.
Constraints on the storage order of matrix types.
Generic wrapper for the declherm() function.
Definition: DeclHerm.h:58
Header file for the TDMatDeclSymExprTrait class template.
ResultType_< MT1 > RT1
Result type of the left-hand side dense matrix expression.
Definition: TDMatSMatMultExpr.h:152
If_< IsExpression< MT1 >, const MT1, const MT1 &> LeftOperand
Composite type of the left-hand side dense matrix expression.
Definition: TDMatSMatMultExpr.h:268
Header file for the Noop functor.
size_t columns() const noexcept
Returns the current number of columns of the matrix.
Definition: TDMatSMatMultExpr.h:384
typename TDMatDVecMultExprTrait< MT, VT >::Type TDMatDVecMultExprTrait_
Auxiliary alias declaration for the TDMatDVecMultExprTrait class template.The TDMatDVecMultExprTrait_...
Definition: TDMatDVecMultExprTrait.h:120
typename EnableIf< Condition, T >::Type EnableIf_
Auxiliary alias declaration for the EnableIf class template.The EnableIf_ alias declaration provides ...
Definition: EnableIf.h:223
typename T::OppositeType OppositeType_
Alias declaration for nested OppositeType type definitions.The OppositeType_ alias declaration provid...
Definition: Aliases.h:243
#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:84
Header file for the IsDenseVector type trait.
Generic wrapper for the declupp() function.
Definition: DeclUpp.h:58
Compile time check for strictly lower triangular matrices.This type trait tests whether or not the gi...
Definition: IsStrictlyLower.h:86
typename T::ConstIterator ConstIterator_
Alias declaration for nested ConstIterator type definitions.The ConstIterator_ alias declaration prov...
Definition: Aliases.h:103
Evaluation of the expression type of a dense vector/transpose dense matrix multiplication.Via this type trait it is possible to evaluate the resulting expression type of a dense vector/transpose dense matrix multiplication. Given the transpose dense vector type VT and the column-major dense matrix type MT, the nested type Type corresponds to the resulting expression type. In case either VT is not a transpose dense vector type or MT is not a column-major dense matrix type, the resulting data type Type is set to INVALID_TYPE.
Definition: TDVecTDMatMultExprTrait.h:79
TDMatSMatMultExpr< MT1, MT2, SF, HF, LF, UF > This
Type of this TDMatSMatMultExpr instance.
Definition: TDMatSMatMultExpr.h:258
Header file for the IsRowMajorMatrix type trait.
bool isAliased(const T *alias) const
Returns whether the expression is aliased with the given address alias.
Definition: TDMatSMatMultExpr.h:428
const DMatTransExpr< MT,!SO > trans(const DenseMatrix< MT, SO > &dm)
Calculation of the transpose of the given dense matrix.
Definition: DMatTransExpr.h:733
Header file for the IsComputation type trait class.
Header file for the IsBuiltin type trait.
Header file for the TDMatDVecMultExprTrait class template.
Evaluation of the expression type of a transpose dense matrix/dense vector multiplication.Via this type trait it is possible to evaluate the resulting expression type of a transpose dense matrix/dense vector multiplication. Given the column-major dense matrix type MT and the non-transpose dense vector type VT, the nested type Type corresponds to the resulting expression type. In case either MT is not a column-major dense matrix type or VT is not a non-transpose dense vector type, the resulting data type Type is set to INVALID_TYPE.
Definition: TDMatDVecMultExprTrait.h:79
Header file for the IntegralConstant class template.
Compile time evaluation of the number of columns of a matrix.The Columns type trait evaluates the num...
Definition: Columns.h:76
bool canSMPAssign() const noexcept
Returns whether the expression can be used in SMP assignments.
Definition: TDMatSMatMultExpr.h:448
ElementType_< RT1 > ET1
Element type of the left-hand side dense matrix expression.
Definition: TDMatSMatMultExpr.h:154
Generic wrapper for the decldiag() function.
Definition: DeclDiag.h:58
Compile time evaluation of the number of rows of a matrix.The Rows type trait evaluates the number of...
Definition: Rows.h:76
CompositeType_< MT1 > CT1
Composite type of the left-hand side dense matrix expression.
Definition: TDMatSMatMultExpr.h:156
Compile time check for sparse matrix types.This type trait tests whether or not the given template pa...
Definition: IsSparseMatrix.h:78
TransposeType_< ResultType > TransposeType
Transpose type for expression template evaluations.
Definition: TDMatSMatMultExpr.h:262
Header file for the DeclHerm functor.
bool isDefault(const DiagonalProxy< MT > &proxy)
Returns whether the represented element is in default state.
Definition: DiagonalProxy.h:573
typename T::TransposeType TransposeType_
Alias declaration for nested TransposeType type definitions.The TransposeType_ alias declaration prov...
Definition: Aliases.h:403
Header file for the IsUpper type trait.
Header file for the IsColumnVector type trait.
Constraint on the data type.
Generic wrapper for the declsym() function.
Definition: DeclSym.h:58
BLAZE_ALWAYS_INLINE bool isSquare(const Matrix< MT, SO > &matrix) noexcept
Checks if the given matrix is a square matrix.
Definition: Matrix.h:677
Header file for the IsResizable type trait.
const DMatDMatMultExpr< T1, T2, false, false, false, false > 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:7505
Header file for the thresholds for matrix/vector and matrix/matrix multiplications.
DisableIf_< IsDiagonal< MT >, const DMatDeclDiagExpr< MT, SO > > decldiag(const DenseMatrix< MT, SO > &dm)
Declares the given non-diagonal dense matrix expression dm as diagonal.
Definition: DMatDeclDiagExpr.h:841
DisableIf_< IsUpper< MT >, const DMatDeclUppExpr< MT, SO > > declupp(const DenseMatrix< MT, SO > &dm)
Declares the given non-upper dense matrix expression dm as upper.
Definition: DMatDeclUppExpr.h:842
Evaluation of the expression type type of a column operation.Via this type trait it is possible to ev...
Definition: ColumnExprTrait.h:78
#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
Header file for the Bool class template.
Header file for the TDVecTDMatMultExprTrait class template.
Header file for the DeclSym functor.
#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:61
Header file for the IsExpression type trait class.
Header file for the function trace functionality.
const ResultType CompositeType
Data type for composite expression templates.
Definition: TDMatSMatMultExpr.h:265