1
       2
       3
       4
       5
       6
       7
       8
       9
      10
      11
      12
      13
      14
      15
      16
      17
      18
      19
      20
      21
      22
      23
      24
      25
      26
      27
      28
      29
      30
      31
      32
      33
      34
      35
      36
      37
      38
      39
      40
      41
      42
      43
      44
      45
      46
<doc  47
      48
      49
      50
<doc  51
      52
      53
      54

      55
      56
<doc  57
      58
      59
      60

      61
      62
<doc  63
      64
      65
      66

      67
      68
<doc  69
      70
      71
      72

      73
      74
<doc  75
      76
      77
      78
      79

      80
      81
<doc  82
      83
      84
      85
      86

      87
      88
      89
<doc  90
      91
      92
      93
      94

      95
      96
<doc  97
      98
      99
     100
     101

     102
     103
     104
<doc 105
     106
     107
     108
     109

     110
     111
<doc 112
     113
     114
     115
     116

     117
     118
     119
<doc 120
     121
     122
     123
     124

     125
     126
<doc 127
     128
     129
     130
     131

     132
     133
     134
<doc 135
     136
     137
     138
     139

     140
     141
     142
     143
/*
 *   Copyright (c) 2007, Michael Lehn
 *
 *   All rights reserved.
 *
 *   Redistribution and use in source and binary forms, with or without
 *   modification, are permitted provided that the following conditions
 *   are met:
 *
 *   1) Redistributions of source code must retain the above copyright
 *      notice, this list of conditions and the following disclaimer.
 *   2) Redistributions in binary form must reproduce the above copyright
 *      notice, this list of conditions and the following disclaimer in
 *      the documentation and/or other materials provided with the
 *      distribution.
 *   3) Neither the name of the FLENS development group nor the names of
 *      its contributors may be used to endorse or promote products derived
 *      from this software without specific prior written permission.
 *
 *   THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
 *   "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
 *   LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
 *   A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
 *   OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
 *   SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
 *   LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
 *   DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
 *   THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
 *   (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
 *   OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
 */

#ifndef FLENS_BLAS_OPERATORS_OPMULT_H
#define FLENS_BLAS_OPERATORS_OPMULT_H 1

#include <flens/auxiliary/isconvertible.h>
#include <flens/auxiliary/restrictto.h>
#include <flens/matrixtypes/matrixtypes.h>
#include <flens/scalartypes/scalartypes.h>
#include <flens/vectortypes/vectortypes.h>
#include <flens/blas/operators/opconj.h>
#include <flens/blas/operators/opconjtrans.h>
#include <flens/blas/operators/optrans.h>

namespace flens {

struct OpMult {};

//-- vector-vector products ----------------------------------------------------
// x^T*y
template <typename VX, typename VY>
    typename Promotion<typename VX::Impl::ElementType,
                       typename VY::Impl::ElementType>::Type
    operator*(const Vector<VX> &x, const Vector<VY> &y);

// x^T*y
template <typename VX, typename VY>
    typename Promotion<typename VX::Impl::ElementType,
                       typename VY::Impl::ElementType>::Type
    operator*(const VectorClosureOpTrans<VX> &x, const Vector<VY> &y);

// x^H*y
template <typename VX, typename VY>
    typename Promotion<typename VX::Impl::ElementType,
                       typename VY::Impl::ElementType>::Type
    operator*(const VectorClosureOpConj<VX> &x, const Vector<VY> &y);

// x^H*y
template <typename VX, typename VY>
    typename Promotion<typename VX::Impl::ElementType,
                       typename VY::Impl::ElementType>::Type
    operator*(const VectorClosureOpConjTrans<VX> &x, const Vector<VY> &y);

// A = x*y^T
template <typename VX, typename VY>
    const MatrixClosure<OpMult,
                        typename VX::Impl,
                        VectorClosureOpTrans<VY> >
    operator*(const Vector<VX> &x, const VectorClosureOpTrans<VY> &y);

// A = x*y^H
template <typename VX, typename VY>
    const MatrixClosure<OpMult,
                        typename VX::Impl,
                        VectorClosureOpConjTrans<VY> >
    operator*(const Vector<VX> &x, const VectorClosureOpConjTrans<VY> &y);

//-- scalar-vector products ----------------------------------------------------
// alpha*x
template <typename ALPHA, typename V>
    const typename RestrictTo<!IsMatrix<ALPHA>::value
                           && !IsVector<ALPHA>::value,
          VectorClosure<OpMult, ScalarValue<ALPHA>, typename V::Impl> >::Type
    operator*(const ALPHA &alpha, const Vector<V> &x);

// x*alpha
template <typename ALPHA, typename V>
    const typename RestrictTo<!IsMatrix<ALPHA>::value
                           && !IsVector<ALPHA>::value,
          VectorClosure<OpMult, ScalarValue<ALPHA>, typename V::Impl> >::Type
    operator*(const Vector<V> &x, const ALPHA &alpha);

//-- scalar-matrix products ----------------------------------------------------
// alpha*A
template <typename ALPHA, typename M>
    const typename RestrictTo<!IsMatrix<ALPHA>::value
                           && !IsVector<ALPHA>::value,
          MatrixClosure<OpMult, ScalarValue<ALPHA>, typename M::Impl> >::Type
    operator*(const ALPHA &alpha, const Matrix<M> &A);

// A*alpha
template <typename ALPHA, typename M>
    const typename RestrictTo<!IsMatrix<ALPHA>::value
                           && !IsVector<ALPHA>::value,
          MatrixClosure<OpMult, ScalarValue<ALPHA>, typename M::Impl> >::Type
    operator*(const Matrix<M> &A, const ALPHA &alpha);

//-- matrix-vector products ----------------------------------------------------
// A*x
template <typename M, typename V>
    const VectorClosure<OpMult,
                        typename M::Impl,
                        typename V::Impl>
    operator*(const Matrix<M> &A, const Vector<V> &x);

// x*A
template <typename M, typename V>
    const VectorClosure<OpMult,
                        typename V::Impl,
                        typename M::Impl>
    operator*(const Vector<V> &x, const Matrix<M> &A);

//-- matrix-matrix products ----------------------------------------------------
// A*B
template <typename MA, typename MB>
    const MatrixClosure<OpMult,
                        typename MA::Impl,
                        typename MB::Impl>
    operator*(const Matrix<MA> &A, const Matrix<MB> &B);

// namespace flens

#endif // FLENS_BLAS_OPERATORS_OPMULT_H