dotproduct.hh

Go to the documentation of this file.

// -*- tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 2 -*-
// vi: set et ts=4 sw=2 sts=2:
#ifndef DUNE_DOTPRODUCT_HH
#define DUNE_DOTPRODUCT_HH
 
#include "ftraits.hh"
#include "typetraits.hh"
#include "promotiontraits.hh"
 
namespace Dune {
  template<class T>
  struct AlwaysVoid { typedef void type; };
 
  template<class T, class = void>
  struct IsVector : false_type {};
 
  template<class T>
  struct IsVector<T, typename AlwaysVoid<typename T::field_type>::type>
    : true_type {};
 
  template<class A, class B>
  inline typename enable_if<!IsVector<A>::value && !is_same<typename FieldTraits<A>::field_type,typename FieldTraits<A>::real_type> ::value,  typename PromotionTraits<A,B>::PromotedType>::type
  dot(const A & a, const B & b) {
    return conj(a)*b;
  }
 
  // fundamental type with A being a real type
  template<class A, class B>
  inline typename enable_if<!IsVector<A>::value && is_same<typename FieldTraits<A>::field_type,typename FieldTraits<A>::real_type>::value,  typename PromotionTraits<A,B>::PromotedType>::type
  dot(const A & a, const B & b) {
    return a*b;
  }
 
  // vectors
  template<typename A, typename B>
  //  inline typename enable_if<IsVector<A>::value, typename PromotionTraits<typename FieldTraits<A>::field_type, typename FieldTraits<B>::field_type >::PromotedType>::type
  inline typename enable_if<IsVector<A>::value, typename PromotionTraits<typename A::field_type, typename B::field_type >::PromotedType>::type
  dot(const A & a, const B & b) {
    return a.dot(b);
  }
  template<class A, class B>
  inline typename enable_if<!IsVector<A>::value && !is_same<typename FieldTraits<A>::field_type,typename FieldTraits<A>::real_type> ::value,  typename PromotionTraits<A,B>::PromotedType>::type
  dotT(const A & a, const B & b) {
    return a*b;
  }
 
  template<class A, class B>
  inline typename enable_if<IsVector<A>::value, typename PromotionTraits<typename A::field_type, typename B::field_type >::PromotedType>::type
  dotT(const A & a, const B & b) {
    return a*b;
  }
 
} // end namespace DUNE
 
#endif // DUNE_DOTPRODUCT_HH