35 #ifndef _BLAZE_MATH_EXPRESSIONS_SVECDVECCROSSEXPR_H_
36 #define _BLAZE_MATH_EXPRESSIONS_SVECDVECCROSSEXPR_H_
81 template<
typename VT1
83 class SVecDVecCrossExpr :
public DenseVector< SVecDVecCrossExpr<VT1,VT2>, false >
141 enum { vectorizable = 0 };
144 enum { smpAssignable = 0 };
173 else if( index == 1UL )
174 return lhs_[2UL] * rhs_[0UL] -
lhs_[0UL] * rhs_[2UL];
176 return lhs_[0UL] * rhs_[1UL] -
lhs_[1UL] * rhs_[0UL];
216 template<
typename T >
218 return (
lhs_.canAlias( alias ) ||
rhs_.canAlias( alias ) );
228 template<
typename T >
230 return (
lhs_.isAliased( alias ) ||
rhs_.isAliased( alias ) );
252 template<
typename VT >
263 (~lhs)[0] = x[1UL]*y[2UL] - x[2UL]*y[1UL];
264 (~lhs)[1] = x[2UL]*y[0UL] - x[0UL]*y[2UL];
265 (~lhs)[2] = x[0UL]*y[1UL] - x[1UL]*y[0UL];
282 template<
typename VT >
312 template<
typename VT >
323 (~lhs)[0] += x[1UL]*y[2UL] - x[2UL]*y[1UL];
324 (~lhs)[1] += x[2UL]*y[0UL] - x[0UL]*y[2UL];
325 (~lhs)[2] += x[0UL]*y[1UL] - x[1UL]*y[0UL];
346 template<
typename VT >
357 (~lhs)[0] -= x[1UL]*y[2UL] - x[2UL]*y[1UL];
358 (~lhs)[1] -= x[2UL]*y[0UL] - x[0UL]*y[2UL];
359 (~lhs)[2] -= x[0UL]*y[1UL] - x[1UL]*y[0UL];
380 template<
typename VT >
391 (~lhs)[0] *= x[1UL]*y[2UL] - x[2UL]*y[1UL];
392 (~lhs)[1] *= x[2UL]*y[0UL] - x[0UL]*y[2UL];
393 (~lhs)[2] *= x[0UL]*y[1UL] - x[1UL]*y[0UL];
449 template<
typename T1
451 inline const SVecDVecCrossExpr<T1,T2>
456 if( (~lhs).size() != 3UL || (~rhs).size() != 3UL )
457 throw std::invalid_argument(
"Invalid vector size for cross product" );
Compile time check whether the given type is a temporary vector or matrix type.This type trait class ...
Definition: IsTemporary.h:87
SVecDVecCrossExpr(const VT1 &lhs, const VT2 &rhs)
Constructor for the SVecDVecCrossExpr class.
Definition: SVecDVecCrossExpr.h:153
#define BLAZE_CONSTRAINT_MUST_BE_COLUMN_VECTOR_TYPE(T)
Constraint on the data type.In case the given data type T is not a column dense or sparse vector type...
Definition: TransposeFlag.h:159
Efficient implementation of a compressed matrix.The CompressedMatrix class template is the represent...
Definition: CompressedMatrix.h:199
RightOperand rhs_
Right-hand side dense vector of the cross product expression.
Definition: SVecDVecCrossExpr.h:237
VT2::ReturnType RN2
Return type of the right-hand side dense vector expression.
Definition: SVecDVecCrossExpr.h:92
Expression object for sparse vector-dense vector cross products.The SVecDVecCrossExpr class represent...
Definition: Forward.h:110
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
Header file for the DenseVector base class.
VT1::ReturnType RN1
Return type of the left-hand side sparse vector expression.
Definition: SVecDVecCrossExpr.h:91
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.
SubExprTrait< typename MultExprTrait< RN1, RN2 >::Type, typename MultExprTrait< RN1, RN2 >::Type >::Type ExprReturnType
Expression return type for the subscript operator.
Definition: SVecDVecCrossExpr.h:110
VT1::ResultType RT1
Result type of the left-hand side sparse vector expression.
Definition: SVecDVecCrossExpr.h:89
Constraint on the data type.
Base template for the CrossTrait class.
Definition: CrossTrait.h:110
Efficient implementation of a fixed-sized vector.The StaticVector class template is the representatio...
Definition: Forward.h:52
VT2::CompositeType CT2
Composite type of the right-hand side dense vector expression.
Definition: SVecDVecCrossExpr.h:94
Header file for the MultExprTrait class template.
VT2::ResultType RT2
Result type of the right-hand side dense vector expression.
Definition: SVecDVecCrossExpr.h:90
Compile time type selection.The SelectType class template selects one of the two given types T1 and T...
Definition: SelectType.h:59
const StaticVector< ET1, 3UL, false > LT
Composite type of the left-hand side sparse vector expression.
Definition: SVecDVecCrossExpr.h:133
Header file for the IsTemporary type trait class.
VT1::CompositeType CT1
Composite type of the left-hand side sparse vector expression.
Definition: SVecDVecCrossExpr.h:93
bool isAliased(const T *alias) const
Returns whether the expression is aliased with the given address alias.
Definition: SVecDVecCrossExpr.h:229
LeftOperand lhs_
Left-hand side sparse vector of the cross product expression.
Definition: SVecDVecCrossExpr.h:236
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
const DVecDVecCrossExpr< T1, T2 > operator%(const DenseVector< T1, false > &lhs, const DenseVector< T2, false > &rhs)
Operator for the cross product of two dense vectors ( ).
Definition: DVecDVecCrossExpr.h:449
Base class for N-dimensional dense vectors.The DenseVector class is a base class for all arbitrarily ...
Definition: DenseVector.h:70
#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
SelectType< IsComputation< VT2 >::value, const StaticVector< ET2, 3UL, false >, CT2 >::Type RT
Composite type of the right-hand side dense vector expression.
Definition: SVecDVecCrossExpr.h:136
Constraint on the data type.
#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
Constraint on the data type.
Evaluation of the return type of a subtraction expression.Via this type trait it is possible to evalu...
Definition: SubExprTrait.h:103
Type ElementType
Type of the sparse matrix elements.
Definition: CompressedMatrix.h:2406
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.
bool canAlias(const T *alias) const
Returns whether the expression can alias with the given address alias.
Definition: SVecDVecCrossExpr.h:217
const ResultType CompositeType
Data type for composite expression templates.
Definition: SVecDVecCrossExpr.h:124
Header file for the CrossExpr base class.
const SelectType< returnExpr, ExprReturnType, ElementType >::Type ReturnType
Return type for expression template evaluations.
Definition: SVecDVecCrossExpr.h:121
ResultType::ElementType ElementType
Resulting element type.
Definition: SVecDVecCrossExpr.h:118
Header file for all forward declarations for dense vectors and matrices.
SelectType< IsExpression< VT1 >::value, const VT1, const VT1 & >::Type LeftOperand
Composite type of the left-hand side sparse vector expression.
Definition: SVecDVecCrossExpr.h:127
const Type & ReturnType
Return type for expression template evaluations.
Definition: CompressedMatrix.h:2407
Header file for run time assertion macros.
Header file for the cross product trait.
ResultType::TransposeType TransposeType
Transpose type for expression template evaluations.
Definition: SVecDVecCrossExpr.h:117
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
VT1::ElementType ET1
Element type of the left-hand side sparse vector expression.
Definition: SVecDVecCrossExpr.h:95
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
SelectType< IsExpression< VT2 >::value, const VT2, const VT2 & >::Type RightOperand
Composite type of the right-hand side dense vector expression.
Definition: SVecDVecCrossExpr.h:130
ReturnType operator[](size_t index) const
Subscript operator for the direct access to the vector elements.
Definition: SVecDVecCrossExpr.h:168
#define BLAZE_CONSTRAINT_MUST_BE_DENSE_VECTOR_TYPE(T)
Constraint on the data type.In case the given data type T is not a dense, N-dimensional vector type...
Definition: DenseVector.h:79
CrossTrait< RT1, RT2 >::Type ResultType
Result type for expression template evaluations.
Definition: SVecDVecCrossExpr.h:116
Header file for the IsComputation type trait class.
size_t size() const
Returns the current size/dimension of the vector.
Definition: SVecDVecCrossExpr.h:185
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
Header file for basic type definitions.
Header file for the SubExprTrait class template.
SVecDVecCrossExpr< VT1, VT2 > This
Type of this SVecDVecCrossExpr instance.
Definition: SVecDVecCrossExpr.h:115
RightOperand rightOperand() const
Returns the right-hand side dense vector operand.
Definition: SVecDVecCrossExpr.h:205
Evaluation of the resulting expression type of a multiplication.Via this type trait it is possible to...
Definition: MultExprTrait.h:137
#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
LeftOperand leftOperand() const
Returns the left-hand side sparse vector operand.
Definition: SVecDVecCrossExpr.h:195
Header file for the IsExpression type trait class.
VT2::ElementType ET2
Element type of the right-hand side dense vector expression.
Definition: SVecDVecCrossExpr.h:96
Header file for the FunctionTrace class.