--- /dev/null
+/* -*- C++ -*- ------------------------------------------------------------
+
+Copyright (c) 2007 Jesse Anders and Demian Nave http://cmldev.net/
+
+The Configurable Math Library (CML) is distributed under the terms of the
+Boost Software License, v1.0 (see cml/LICENSE for details).
+
+ *-----------------------------------------------------------------------*/
+/** @file
+ * @brief Defines vector dot and outer products.
+ *
+ * @todo Figure out if the source or destination size type should trigger
+ * unrolling. May need a per-compiler compile-time option for this.
+ */
+
+#ifndef vector_products_h
+#define vector_products_h
+
+#include <cml/core/cml_assert.h>
+#include <cml/et/scalar_promotions.h>
+#include <cml/et/size_checking.h>
+#include <cml/vector/vector_unroller.h>
+#include <cml/vector/vector_expr.h>
+#include <cml/matrix/matrix_expr.h>
+
+/* This is used below to create a more meaningful compile-time error when
+ * dot() is not provided with vector or VectorExpr arguments:
+ */
+struct dot_expects_vector_args_error;
+
+/* This is used below to create a more meaningful compile-time error when
+ * perp_dot() is not provided with 2D vector or VectorExpr arguments:
+ */
+struct perp_dot_expects_vector_args_error;
+struct perp_dot_expects_2D_vector_args_error;
+
+/* This is used below to create a more meaningful compile-time error when
+ * outer() is not provided with vector or VectorExpr arguments:
+ */
+struct outer_expects_vector_args_error;
+
+/* This is used below to create a more meaningful compile-time error when
+ * cross() is not provided with 3D vector or VectorExpr arguments:
+ */
+struct cross_expects_vector_args_error;
+struct cross_expects_3D_vector_args_error;
+
+
+namespace cml {
+namespace detail {
+
+template<typename LeftT, typename RightT>
+struct DotPromote
+{
+ /* Shorthand: */
+ typedef et::ExprTraits<LeftT> left_traits;
+ typedef et::ExprTraits<RightT> right_traits;
+ typedef typename left_traits::value_type left_value;
+ typedef typename right_traits::value_type right_value;
+
+ /* Deduce the promoted scalar type: */
+ typedef et::OpMul<left_value, right_value> op_mul;
+ typedef typename et::OpAdd<
+ typename op_mul::value_type,
+ typename op_mul::value_type> op_add;
+ typedef typename op_add::value_type promoted_scalar;
+};
+
+template<typename LeftT, typename RightT>
+struct CrossPromote
+{
+ /* Shorthand: */
+ typedef et::ExprTraits<LeftT> left_traits;
+ typedef et::ExprTraits<RightT> right_traits;
+ typedef typename left_traits::result_type left_type;
+ typedef typename right_traits::result_type right_type;
+
+ /* Deduce the matrix result type: */
+ typedef typename et::VectorPromote<
+ left_type,right_type>::temporary_type promoted_vector;
+};
+
+template<typename LeftT, typename RightT>
+struct OuterPromote
+{
+ /* Shorthand: */
+ typedef et::ExprTraits<LeftT> left_traits;
+ typedef et::ExprTraits<RightT> right_traits;
+ typedef typename left_traits::result_type left_type;
+ typedef typename right_traits::result_type right_type;
+
+ /* Deduce the matrix result type: */
+ typedef typename et::MatrixPromote<
+ left_type,right_type>::temporary_type promoted_matrix;
+};
+
+/** Construct a dot unroller for fixed-size arrays.
+ *
+ * @note This should only be called for vectors.
+ *
+ * @sa cml::dot
+ */
+template<typename LeftT, typename RightT>
+inline typename DotPromote<LeftT,RightT>::promoted_scalar
+UnrollDot(const LeftT& left, const RightT& right, fixed_size_tag)
+{
+ /* Shorthand: */
+ typedef DotPromote<LeftT,RightT> dot_helper;
+
+ /* Compile-type vector size check: */
+ typedef typename et::GetCheckedSize<LeftT,RightT,fixed_size_tag>
+ ::check_type check_sizes;
+
+ /* Get the fixed array size using the helper: */
+ enum { Len = check_sizes::array_size };
+
+ /* Record the unroller type: */
+ typedef typename dot_helper::op_mul op_mul;
+ typedef typename dot_helper::op_add op_add;
+ typedef typename et::detail::VectorAccumulateUnroller<
+ op_add,op_mul,LeftT,RightT>::template
+ Eval<0, Len-1, (Len <= CML_VECTOR_DOT_UNROLL_LIMIT)> Unroller;
+ /* Note: Len is the array size, so Len-1 is the last element. */
+
+ /* Now, call the unroller: */
+ return Unroller()(left,right);
+}
+
+/** Use a loop to compute the dot product for dynamic arrays.
+ *
+ * @note This should only be called for vectors.
+ *
+ * @sa cml::dot
+ */
+template<typename LeftT, typename RightT>
+inline typename DotPromote<LeftT,RightT>::promoted_scalar
+UnrollDot(const LeftT& left, const RightT& right, dynamic_size_tag)
+{
+ /* Shorthand: */
+ typedef DotPromote<LeftT,RightT> dot_helper;
+ typedef et::ExprTraits<LeftT> left_traits;
+ typedef et::ExprTraits<RightT> right_traits;
+ typedef typename dot_helper::op_mul op_mul;
+ typedef typename dot_helper::op_add op_add;
+
+ /* Record the return type: */
+ typedef typename dot_helper::promoted_scalar sum_type;
+
+ /* Verify expression sizes: */
+ const size_t N = et::CheckedSize(left,right,dynamic_size_tag());
+
+ /* Initialize the sum. Left and right must be vector expressions, so
+ * it's okay to use array notation here:
+ */
+ sum_type sum(op_mul().apply(left[0],right[0]));
+ for(size_t i = 1; i < N; ++i) {
+ /* XXX This might not be optimized properly by some compilers.
+ * but to do anything else requires changing the requirements
+ * of a scalar operator, or requires defining a new class of scalar
+ * <op>= operators.
+ */
+ sum = op_add().apply(sum, op_mul().apply(left[i], right[i]));
+ /* Note: we don't need get(), since both arguments are required to
+ * be vector expressions.
+ */
+ }
+ return sum;
+}
+
+/** For cross(): compile-time check for a 3D vector. */
+template<typename VecT> inline void
+Require3D(const VecT&, fixed_size_tag) {
+ CML_STATIC_REQUIRE_M(
+ ((size_t)VecT::array_size == 3),
+ cross_expects_3D_vector_args_error);
+}
+
+/** For cross(): run-time check for a 3D vector. */
+template<typename VecT> inline void
+Require3D(const VecT& v, dynamic_size_tag) {
+ et::GetCheckedSize<VecT,VecT,dynamic_size_tag>()
+ .equal_or_fail(v.size(),size_t(3));
+}
+
+/** For perp_dot(): compile-time check for a 2D vector. */
+template<typename VecT> inline void
+Require2D(const VecT& v, fixed_size_tag) {
+ CML_STATIC_REQUIRE_M(
+ ((size_t)VecT::array_size == 2),
+ perp_dot_expects_2D_vector_args_error);
+}
+
+/** For perp_dot(): run-time check for a 2D vector. */
+template<typename VecT> inline void
+Require2D(const VecT& v, dynamic_size_tag) {
+ et::GetCheckedSize<VecT,VecT,dynamic_size_tag>()
+ .equal_or_fail(v.size(),size_t(2));
+}
+
+} // namespace detail
+
+
+/** Vector dot (inner) product implementation.
+ */
+template<typename LeftT, typename RightT>
+inline typename detail::DotPromote<LeftT,RightT>::promoted_scalar
+dot(const LeftT& left, const RightT& right)
+{
+ /* Shorthand: */
+ typedef detail::DotPromote<LeftT,RightT> dot_helper;
+ typedef et::ExprTraits<LeftT> left_traits;
+ typedef et::ExprTraits<RightT> right_traits;
+ typedef typename left_traits::result_type left_type;
+ typedef typename right_traits::result_type right_type;
+ typedef typename left_traits::size_tag left_size;
+ typedef typename right_traits::size_tag right_size;
+
+ /* dot() requires vector expressions: */
+ CML_STATIC_REQUIRE_M(
+ (et::VectorExpressions<LeftT,RightT>::is_true),
+ dot_expects_vector_args_error);
+ /* Note: parens are required here so that the preprocessor ignores the
+ * commas:
+ */
+
+ /* Figure out the unroller to use (fixed or dynamic): */
+ typedef typename et::VectorPromote<
+ left_type, right_type>::temporary_type promoted_vector;
+ typedef typename promoted_vector::size_tag size_tag;
+
+ /* Call unroller: */
+ return detail::UnrollDot(left,right,size_tag());
+}
+
+/** perp_dot()
+ */
+template<typename LeftT, typename RightT>
+inline typename detail::DotPromote<LeftT,RightT>::promoted_scalar
+perp_dot(const LeftT& left, const RightT& right)
+{
+ /* Shorthand: */
+ typedef et::ExprTraits<LeftT> left_traits;
+ typedef et::ExprTraits<RightT> right_traits;
+ typedef typename left_traits::result_tag left_result;
+ typedef typename right_traits::result_tag right_result;
+
+ /* perp_dot() requires vector expressions: */
+ CML_STATIC_REQUIRE_M(
+ (same_type<left_result, et::vector_result_tag>::is_true
+ && same_type<right_result, et::vector_result_tag>::is_true),
+ perp_dot_expects_vector_args_error);
+ /* Note: parens are required here so that the preprocessor ignores the
+ * commas.
+ */
+
+ /* Make sure arguments are 2D vectors: */
+ detail::Require2D(left, typename left_traits::size_tag());
+ detail::Require2D(right, typename right_traits::size_tag());
+
+ /* Get result type: */
+ typedef typename detail::DotPromote<
+ LeftT,RightT>::promoted_scalar result_type;
+
+ /* Compute and return: */
+ return result_type(left[0]*right[1]-left[1]*right[0]);
+}
+
+template<typename LeftT, typename RightT>
+inline typename detail::CrossPromote<LeftT,RightT>::promoted_vector
+cross(const LeftT& left, const RightT& right)
+{
+ /* Shorthand: */
+ typedef et::ExprTraits<LeftT> left_traits;
+ typedef et::ExprTraits<RightT> right_traits;
+ typedef typename left_traits::result_tag left_result;
+ typedef typename right_traits::result_tag right_result;
+
+ /* outer() requires vector expressions: */
+ CML_STATIC_REQUIRE_M(
+ (same_type<left_result, et::vector_result_tag>::is_true
+ && same_type<right_result, et::vector_result_tag>::is_true),
+ cross_expects_vector_args_error);
+ /* Note: parens are required here so that the preprocessor ignores the
+ * commas.
+ */
+
+ /* Make sure arguments are 3D vectors: */
+ detail::Require3D(left, typename left_traits::size_tag());
+ detail::Require3D(right, typename right_traits::size_tag());
+
+ /* Get result type: */
+ typedef typename detail::CrossPromote<
+ LeftT,RightT>::promoted_vector result_type;
+
+ /* Now, compute and return the cross product: */
+ result_type result(
+ left[1]*right[2] - left[2]*right[1],
+ left[2]*right[0] - left[0]*right[2],
+ left[0]*right[1] - left[1]*right[0]
+ );
+ return result;
+}
+
+/** Return the triple product of three 3D vectors.
+ *
+ * No checking is done here, as dot() and cross() will catch any size or
+ * type errors.
+ */
+
+template < class VecT_1, class VecT_2, class VecT_3 >
+typename detail::DotPromote<
+ VecT_1, typename detail::CrossPromote< VecT_2, VecT_3 >::promoted_vector
+>::promoted_scalar
+triple_product(const VecT_1& v1, const VecT_2& v2, const VecT_3& v3) {
+ return dot(v1,cross(v2,v3));
+}
+
+template<typename LeftT, typename RightT>
+inline typename detail::OuterPromote<LeftT,RightT>::promoted_matrix
+outer(const LeftT& left, const RightT& right)
+{
+ /* Shorthand: */
+ typedef et::ExprTraits<LeftT> left_traits;
+ typedef et::ExprTraits<RightT> right_traits;
+ typedef typename left_traits::result_tag left_result;
+ typedef typename right_traits::result_tag right_result;
+
+ /* outer() requires vector expressions: */
+ CML_STATIC_REQUIRE_M(
+ (same_type<left_result, et::vector_result_tag>::is_true
+ && same_type<right_result, et::vector_result_tag>::is_true),
+ dot_expects_vector_args_error);
+ /* Note: parens are required here so that the preprocessor ignores the
+ * commas.
+ */
+
+ /* Create a matrix with the right size (resize() is a no-op for
+ * fixed-size matrices):
+ */
+ typename detail::OuterPromote<LeftT,RightT>::promoted_matrix C;
+ cml::et::detail::Resize(C, left.size(), right.size());
+
+ /* Now, compute the outer product: */
+ for(size_t i = 0; i < left.size(); ++i) {
+ for(size_t j = 0; j < right.size(); ++j) {
+ C(i,j) = left[i]*right[j];
+ /* Note: both arguments are vectors, so array notation
+ * is okay here.
+ */
+ }
+ }
+
+ return C;
+}
+
+} // namespace cml
+
+#endif
+
+// -------------------------------------------------------------------------
+// vim:ft=cpp