35 #ifndef _BLAZE_MATH_EXPRESSIONS_SVECSVECMULTEXPR_H_
36 #define _BLAZE_MATH_EXPRESSIONS_SVECSVECMULTEXPR_H_
82 template<
typename VT1
85 class SVecSVecMultExpr :
public SparseVector< SVecSVecMultExpr<VT1,VT2,TF>, TF >
86 ,
private VecVecMultExpr
136 enum { smpAssignable = 0 };
178 return min(
lhs_.nonZeros(),
rhs_.nonZeros() );
208 template<
typename T >
210 return (
lhs_.canAlias( alias ) ||
rhs_.canAlias( alias ) );
220 template<
typename T >
222 return (
lhs_.isAliased( alias ) ||
rhs_.isAliased( alias ) );
244 template<
typename VT >
261 const LeftIterator lend( x.end() );
262 const RightIterator rend( y.end() );
264 LeftIterator l( x.begin() );
265 RightIterator r( y.begin() );
267 for( ; l!=lend; ++l ) {
268 while( r!=rend && r->index() < l->index() ) ++r;
270 if( l->index() == r->index() ) {
271 (~lhs)[l->index()] = l->value() * r->value();
291 template<
typename VT >
308 const LeftIterator lend( x.end() );
309 const RightIterator rend( y.end() );
311 LeftIterator l( x.begin() );
312 RightIterator r( y.begin() );
314 for( ; l!=lend; ++l ) {
315 while( r!=rend && r->index() < l->index() ) ++r;
317 if( l->index() == r->index() ) {
318 (~lhs).append( l->index(), l->value() * r->value() );
338 template<
typename VT >
355 const LeftIterator lend( x.end() );
356 const RightIterator rend( y.end() );
358 LeftIterator l( x.begin() );
359 RightIterator r( y.begin() );
361 for( ; l!=lend; ++l ) {
362 while( r!=rend && r->index() < l->index() ) ++r;
364 if( l->index() == r->index() ) {
365 (~lhs)[l->index()] += l->value() * r->value();
389 template<
typename VT >
406 const LeftIterator lend( x.end() );
407 const RightIterator rend( y.end() );
409 LeftIterator l( x.begin() );
410 RightIterator r( y.begin() );
412 for( ; l!=lend; ++l ) {
413 while( r!=rend && r->index() < l->index() ) ++r;
415 if( l->index() == r->index() ) {
416 (~lhs)[l->index()] -= l->value() * r->value();
440 template<
typename VT >
457 const LeftIterator lend( x.end() );
458 const RightIterator rend( y.end() );
460 LeftIterator l( x.begin() );
461 RightIterator r( y.begin() );
465 for( ; l!=lend; ++l ) {
466 while( r!=rend && r->index() < l->index() ) ++r;
468 if( l->index() == r->index() ) {
469 for( ; i<r->index(); ++i )
471 (~lhs)[l->index()] *= l->value() * r->value();
477 for( ; i<rhs.size(); ++i )
495 template<
typename VT >
513 VT tmp( rhs.size(), rhs.nonZeros() );
515 const Iterator1 end1( (~lhs).end() );
516 const Iterator2 end2( x.end() );
517 const Iterator3 end3( y.end() );
519 Iterator1 i1( (~lhs).begin() );
520 Iterator2 i2( x.begin() );
521 Iterator3 i3( y.begin() );
523 for( ; i1!=end1; ++i1 ) {
524 while( i2!=end2 && i2->index() < i1->index() ) ++i2;
525 if( i2==end2 )
break;
526 while( i3!=end3 && i3->index() < i1->index() ) ++i3;
527 if( i3==end3 )
break;
528 if( i1->index() == i2->index() && i1->index() == i3->index() ) {
529 tmp.append( i1->index(), i1->value() * i2->value() * i3->value() );
585 template<
typename T1
588 inline const SVecSVecMultExpr<T1,T2,TF>
593 if( (~lhs).size() != (~rhs).size() )
594 throw std::invalid_argument(
"Vector sizes do not match" );
611 template<
typename VT1,
typename VT2,
bool TF,
bool AF >
612 struct SubvectorExprTrait< SVecSVecMultExpr<VT1,VT2,TF>, AF >
616 typedef typename MultExprTrait< typename SubvectorExprTrait<const VT1,AF>::Type
617 ,
typename SubvectorExprTrait<const VT2,AF>::Type >::Type Type;
Header file for mathematical functions.
SelectType< IsExpression< VT2 >::value, const VT2, const VT2 & >::Type RightOperand
Composite type of the right-hand side sparse vector expression.
Definition: SVecSVecMultExpr.h:131
void reset(DynamicMatrix< Type, SO > &m)
Resetting the given dense matrix.
Definition: DynamicMatrix.h:4599
Compile time check whether the given type is a temporary vector or matrix type.This type trait class ...
Definition: IsTemporary.h:87
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:4329
MultTrait< RT1, RT2 >::Type ResultType
Result type for expression template evaluations.
Definition: SVecSVecMultExpr.h:117
Header file for the SparseVector base class.
VT1::TransposeType TT1
Transpose type of the left-hand side sparse vector expression.
Definition: SVecSVecMultExpr.h:97
Efficient implementation of a compressed matrix.The CompressedMatrix class template is the represent...
Definition: CompressedMatrix.h:199
SelectType< IsExpression< VT1 >::value, const VT1, const VT1 & >::Type LeftOperand
Composite type of the left-hand side sparse vector expression.
Definition: SVecSVecMultExpr.h:128
bool canAlias(const T *alias) const
Returns whether the expression can alias with the given address alias.
Definition: SVecSVecMultExpr.h:209
VT2::ResultType RT2
Result type of the right-hand side sparse vector expression.
Definition: SVecSVecMultExpr.h:92
const ResultType CompositeType
Data type for composite expression templates.
Definition: SVecSVecMultExpr.h:125
const This & CompositeType
Data type for composite expression templates.
Definition: CompressedMatrix.h:2408
Type ElementType
Type of the sparse matrix elements.
Definition: CompressedMatrix.h:251
VT1::ReturnType RN1
Return type of the left-hand side sparse vector expression.
Definition: SVecSVecMultExpr.h:93
const DMatSerialExpr< MT, SO > serial(const DenseMatrix< MT, SO > &dm)
Forces the serial evaluation of the given dense matrix expression dm.
Definition: DMatSerialExpr.h:690
Header file for the Computation base class.
size_t size() const
Returns the current size/dimension of the vector.
Definition: SVecSVecMultExpr.h:167
Constraint on the data type.
VT1::CompositeType CT1
Composite type of the left-hand side sparse vector expression.
Definition: SVecSVecMultExpr.h:95
Header file for the MultExprTrait class template.
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 IsTemporary type trait class.
Header file for the multiplication trait.
const Element * ConstIterator
Iterator over constant elements.
Definition: CompressedMatrix.h:2412
MultExprTrait< RN1, RN2 >::Type ExprReturnType
Expression return type for the subscript operator.
Definition: SVecSVecMultExpr.h:111
void assign(Matrix< MT1, SO1 > &lhs, const Matrix< MT2, SO2 > &rhs)
Default implementation of the assignment of a matrix to a matrix.
Definition: Matrix.h:271
Base class for N-dimensional dense vectors.The DenseVector class is a base class for all arbitrarily ...
Definition: DenseVector.h:70
VT2::ReturnType RN2
Return type of the right-hand side sparse vector expression.
Definition: SVecSVecMultExpr.h:94
#define BLAZE_CONSTRAINT_MUST_BE_SPARSE_VECTOR_TYPE(T)
Constraint on the data type.In case the given data type T is not a sparse, N-dimensional vector type...
Definition: SparseVector.h:79
Constraint on the data type.
CompressedMatrix< Type, false > TransposeType
Transpose type for expression template evaluations.
Definition: CompressedMatrix.h:2405
RightOperand rhs_
Right-hand side sparse vector of the multiplication expression.
Definition: SVecSVecMultExpr.h:229
LeftOperand leftOperand() const
Returns the left-hand side sparse vector operand.
Definition: SVecSVecMultExpr.h:187
Header file for the VecVecMultExpr base class.
void multAssign(Matrix< MT1, SO1 > &lhs, const Matrix< MT2, SO2 > &rhs)
Default implementation of the multiplication assignment of a matrix to a matrix.
Definition: Matrix.h:361
Header file for the SelectType class template.
Header file for all forward declarations for expression class templates.
Constraint on the data type.
Header file for the serial shim.
const Type & ReturnType
Return type for expression template evaluations.
Definition: CompressedMatrix.h:2407
Removal of reference modifiers.The RemoveCV type trait removes any reference modifiers from the given...
Definition: RemoveReference.h:69
VT1::ResultType RT1
Result type of the left-hand side sparse vector expression.
Definition: SVecSVecMultExpr.h:91
Expression object for sparse vector-sparse vector multiplications.The SVecSVecMultExpr class represen...
Definition: Forward.h:119
ReturnType operator[](size_t index) const
Subscript operator for the direct access to the vector elements.
Definition: SVecSVecMultExpr.h:156
Header file for run time assertion macros.
Base template for the MultTrait class.
Definition: MultTrait.h:141
void swap(DynamicMatrix< Type, SO > &a, DynamicMatrix< Type, SO > &b)
Swapping the contents of two matrices.
Definition: DynamicMatrix.h:4671
void addAssign(Matrix< MT1, SO1 > &lhs, const Matrix< MT2, SO2 > &rhs)
Default implementation of the addition assignment of a matrix to a matrix.
Definition: Matrix.h:301
ResultType::TransposeType TransposeType
Transpose type for expression template evaluations.
Definition: SVecSVecMultExpr.h:118
Header file for the reset shim.
void subAssign(Matrix< MT1, SO1 > &lhs, const Matrix< MT2, SO2 > &rhs)
Default implementation of the subtraction assignment of a matrix to matrix.
Definition: Matrix.h:331
size_t nonZeros() const
Returns the number of non-zero elements in the sparse vector.
Definition: SVecSVecMultExpr.h:177
VT2::CompositeType CT2
Composite type of the right-hand side sparse vector expression.
Definition: SVecSVecMultExpr.h:96
const SelectType< returnExpr, ExprReturnType, ElementType >::Type ReturnType
Return type for expression template evaluations.
Definition: SVecSVecMultExpr.h:122
Header file for the RemoveReference type trait.
LeftOperand lhs_
Left-hand side sparse vector of the multiplication expression.
Definition: SVecSVecMultExpr.h:228
SVecSVecMultExpr< VT1, VT2, TF > This
Type of this SVecSVecMultExpr instance.
Definition: SVecSVecMultExpr.h:116
Header file for the IsComputation type trait class.
RightOperand rightOperand() const
Returns the right-hand side sparse vector operand.
Definition: SVecSVecMultExpr.h:197
bool isAliased(const T *alias) const
Returns whether the expression is aliased with the given address alias.
Definition: SVecSVecMultExpr.h:221
Base class for sparse vectors.The SparseVector class is a base class for all arbitrarily sized (N-dim...
Definition: Forward.h:108
#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:2403
SVecSVecMultExpr(const VT1 &lhs, const VT2 &rhs)
Constructor for the SVecSVecMultExpr class.
Definition: SVecSVecMultExpr.h:142
Header file for basic type definitions.
Header file for the SubvectorExprTrait class template.
ResultType::ElementType ElementType
Resulting element type.
Definition: SVecSVecMultExpr.h:119
Evaluation of the resulting expression type of a multiplication.Via this type trait it is possible to...
Definition: MultExprTrait.h:137
#define BLAZE_CONSTRAINT_MUST_BE_VECTOR_WITH_TRANSPOSE_FLAG(T, TF)
Constraint on the data type.In case the given data type T is not a dense or sparse vector type and in...
Definition: TransposeFlag.h:238
#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
VT2::TransposeType TT2
Transpose type of the right-hand side sparse vector expression.
Definition: SVecSVecMultExpr.h:98
Header file for the IsExpression type trait class.
Header file for the FunctionTrace class.