Chris@49: // Copyright (C) 2008-2012 NICTA (www.nicta.com.au)
Chris@49: // Copyright (C) 2008-2012 Conrad Sanderson
Chris@49: // Copyright (C) 2012 Ryan Curtin
Chris@49: // 
Chris@49: // This Source Code Form is subject to the terms of the Mozilla Public
Chris@49: // License, v. 2.0. If a copy of the MPL was not distributed with this
Chris@49: // file, You can obtain one at http://mozilla.org/MPL/2.0/.
Chris@49: 
Chris@49: 
Chris@49: 
Chris@49: //! \addtogroup operator_times
Chris@49: //! @{
Chris@49: 
Chris@49: 
Chris@49: 
Chris@49: //! Base * scalar
Chris@49: template<typename T1>
Chris@49: arma_inline
Chris@49: typename enable_if2< is_arma_type<T1>::value, const eOp<T1, eop_scalar_times> >::result
Chris@49: operator*
Chris@49: (const T1& X, const typename T1::elem_type k)
Chris@49:   {
Chris@49:   arma_extra_debug_sigprint();
Chris@49:   
Chris@49:   return eOp<T1, eop_scalar_times>(X,k);
Chris@49:   }
Chris@49: 
Chris@49: 
Chris@49: 
Chris@49: //! scalar * Base
Chris@49: template<typename T1>
Chris@49: arma_inline
Chris@49: typename enable_if2< is_arma_type<T1>::value, const eOp<T1, eop_scalar_times> >::result
Chris@49: operator*
Chris@49: (const typename T1::elem_type k, const T1& X)
Chris@49:   {
Chris@49:   arma_extra_debug_sigprint();
Chris@49:   
Chris@49:   return eOp<T1, eop_scalar_times>(X,k);  // NOTE: order is swapped
Chris@49:   }
Chris@49: 
Chris@49: 
Chris@49: 
Chris@49: //! non-complex Base * complex scalar
Chris@49: template<typename T1>
Chris@49: arma_inline
Chris@49: typename
Chris@49: enable_if2
Chris@49:   <
Chris@49:   (is_arma_type<T1>::value && is_complex<typename T1::elem_type>::value == false),
Chris@49:   const mtOp<typename std::complex<typename T1::pod_type>, T1, op_cx_scalar_times>
Chris@49:   >::result
Chris@49: operator*
Chris@49:   (
Chris@49:   const T1&                                  X,
Chris@49:   const std::complex<typename T1::pod_type>& k
Chris@49:   )
Chris@49:   {
Chris@49:   arma_extra_debug_sigprint();
Chris@49:   
Chris@49:   return mtOp<typename std::complex<typename T1::pod_type>, T1, op_cx_scalar_times>('j', X, k);
Chris@49:   }
Chris@49: 
Chris@49: 
Chris@49: 
Chris@49: //! complex scalar * non-complex Base
Chris@49: template<typename T1>
Chris@49: arma_inline
Chris@49: typename
Chris@49: enable_if2
Chris@49:   <
Chris@49:   (is_arma_type<T1>::value && is_complex<typename T1::elem_type>::value == false),
Chris@49:   const mtOp<typename std::complex<typename T1::pod_type>, T1, op_cx_scalar_times>
Chris@49:   >::result
Chris@49: operator*
Chris@49:   (
Chris@49:   const std::complex<typename T1::pod_type>& k,
Chris@49:   const T1&                                  X
Chris@49:   )
Chris@49:   {
Chris@49:   arma_extra_debug_sigprint();
Chris@49:   
Chris@49:   return mtOp<typename std::complex<typename T1::pod_type>, T1, op_cx_scalar_times>('j', X, k);
Chris@49:   }
Chris@49: 
Chris@49: 
Chris@49: 
Chris@49: //! scalar * trans(T1)
Chris@49: template<typename T1>
Chris@49: arma_inline
Chris@49: const Op<T1, op_htrans2>
Chris@49: operator*
Chris@49: (const typename T1::elem_type k, const Op<T1, op_htrans>& X)
Chris@49:   {
Chris@49:   arma_extra_debug_sigprint();
Chris@49:   
Chris@49:   return Op<T1, op_htrans2>(X.m, k);
Chris@49:   }
Chris@49: 
Chris@49: 
Chris@49: 
Chris@49: //! trans(T1) * scalar
Chris@49: template<typename T1>
Chris@49: arma_inline
Chris@49: const Op<T1, op_htrans2>
Chris@49: operator*
Chris@49: (const Op<T1, op_htrans>& X, const typename T1::elem_type k)
Chris@49:   {
Chris@49:   arma_extra_debug_sigprint();
Chris@49:   
Chris@49:   return Op<T1, op_htrans2>(X.m, k);
Chris@49:   }
Chris@49: 
Chris@49: 
Chris@49: 
Chris@49: //! Base * diagmat
Chris@49: template<typename T1, typename T2>
Chris@49: arma_inline
Chris@49: typename
Chris@49: enable_if2
Chris@49:   <
Chris@49:   (is_arma_type<T1>::value && is_same_type<typename T1::elem_type, typename T2::elem_type>::value),
Chris@49:   const Glue<T1, Op<T2, op_diagmat>, glue_times_diag>
Chris@49:   >::result
Chris@49: operator*
Chris@49: (const T1& X, const Op<T2, op_diagmat>& Y)
Chris@49:   {
Chris@49:   arma_extra_debug_sigprint();
Chris@49:   
Chris@49:   return Glue<T1, Op<T2, op_diagmat>, glue_times_diag>(X, Y);
Chris@49:   }
Chris@49: 
Chris@49: 
Chris@49: 
Chris@49: //! diagmat * Base
Chris@49: template<typename T1, typename T2>
Chris@49: arma_inline
Chris@49: typename
Chris@49: enable_if2
Chris@49:   <
Chris@49:   (is_arma_type<T2>::value && is_same_type<typename T1::elem_type, typename T2::elem_type>::value),
Chris@49:   const Glue<Op<T1, op_diagmat>, T2, glue_times_diag>
Chris@49:   >::result
Chris@49: operator*
Chris@49: (const Op<T1, op_diagmat>& X, const T2& Y)
Chris@49:   {
Chris@49:   arma_extra_debug_sigprint();
Chris@49:   
Chris@49:   return Glue<Op<T1, op_diagmat>, T2, glue_times_diag>(X, Y);
Chris@49:   }
Chris@49: 
Chris@49: 
Chris@49: 
Chris@49: //! diagmat * diagmat
Chris@49: template<typename T1, typename T2>
Chris@49: inline
Chris@49: Mat< typename promote_type<typename T1::elem_type, typename T2::elem_type>::result >
Chris@49: operator*
Chris@49: (const Op<T1, op_diagmat>& X, const Op<T2, op_diagmat>& Y)
Chris@49:   {
Chris@49:   arma_extra_debug_sigprint();
Chris@49:   
Chris@49:   typedef typename T1::elem_type eT1;
Chris@49:   typedef typename T2::elem_type eT2;
Chris@49:   
Chris@49:   typedef typename promote_type<eT1,eT2>::result out_eT;
Chris@49:   
Chris@49:   promote_type<eT1,eT2>::check();
Chris@49:   
Chris@49:   const diagmat_proxy<T1> A(X.m);
Chris@49:   const diagmat_proxy<T2> B(Y.m);
Chris@49:   
Chris@49:   arma_debug_assert_mul_size(A.n_elem, A.n_elem, B.n_elem, B.n_elem, "matrix multiplication");
Chris@49:   
Chris@49:   const uword N = A.n_elem;
Chris@49:   
Chris@49:   Mat<out_eT> out(N,N);
Chris@49:   
Chris@49:   out.zeros();
Chris@49:   
Chris@49:   for(uword i=0; i<N; ++i)
Chris@49:     {
Chris@49:     out.at(i,i) = upgrade_val<eT1,eT2>::apply( A[i] ) * upgrade_val<eT1,eT2>::apply( B[i] );
Chris@49:     }
Chris@49:   
Chris@49:   return out;
Chris@49:   }
Chris@49: 
Chris@49: 
Chris@49: 
Chris@49: //! multiplication of Base objects with same element type
Chris@49: template<typename T1, typename T2>
Chris@49: arma_inline
Chris@49: typename
Chris@49: enable_if2
Chris@49:   <
Chris@49:   is_arma_type<T1>::value && is_arma_type<T2>::value && is_same_type<typename T1::elem_type, typename T2::elem_type>::value,
Chris@49:   const Glue<T1, T2, glue_times>
Chris@49:   >::result
Chris@49: operator*
Chris@49: (const T1& X, const T2& Y)
Chris@49:   {
Chris@49:   arma_extra_debug_sigprint();
Chris@49:   
Chris@49:   return Glue<T1, T2, glue_times>(X, Y);
Chris@49:   }
Chris@49: 
Chris@49: 
Chris@49: 
Chris@49: //! multiplication of Base objects with different element types
Chris@49: template<typename T1, typename T2>
Chris@49: inline
Chris@49: typename
Chris@49: enable_if2
Chris@49:   <
Chris@49:   (is_arma_type<T1>::value && is_arma_type<T2>::value && (is_same_type<typename T1::elem_type, typename T2::elem_type>::value == false)),
Chris@49:   const mtGlue< typename promote_type<typename T1::elem_type, typename T2::elem_type>::result, T1, T2, glue_mixed_times >
Chris@49:   >::result
Chris@49: operator*
Chris@49:   (
Chris@49:   const T1& X,
Chris@49:   const T2& Y
Chris@49:   )
Chris@49:   {
Chris@49:   arma_extra_debug_sigprint();
Chris@49:   
Chris@49:   typedef typename T1::elem_type eT1;
Chris@49:   typedef typename T2::elem_type eT2;
Chris@49:   
Chris@49:   typedef typename promote_type<eT1,eT2>::result out_eT;
Chris@49:   
Chris@49:   promote_type<eT1,eT2>::check();
Chris@49:   
Chris@49:   return mtGlue<out_eT, T1, T2, glue_mixed_times>( X, Y );
Chris@49:   }
Chris@49: 
Chris@49: 
Chris@49: 
Chris@49: //! sparse multiplied by scalar
Chris@49: template<typename T1>
Chris@49: inline
Chris@49: typename
Chris@49: enable_if2
Chris@49:   <
Chris@49:   is_arma_sparse_type<T1>::value,
Chris@49:   SpOp<T1,spop_scalar_times>
Chris@49:   >::result
Chris@49: operator*
Chris@49:   (
Chris@49:   const T1& X,
Chris@49:   const typename T1::elem_type k
Chris@49:   )
Chris@49:   {
Chris@49:   arma_extra_debug_sigprint();
Chris@49:   
Chris@49:   return SpOp<T1,spop_scalar_times>(X, k);
Chris@49:   }
Chris@49: 
Chris@49: 
Chris@49: 
Chris@49: template<typename T1>
Chris@49: inline
Chris@49: typename
Chris@49: enable_if2
Chris@49:   <
Chris@49:   is_arma_sparse_type<T1>::value,
Chris@49:   SpOp<T1,spop_scalar_times>
Chris@49:   >::result
Chris@49: operator*
Chris@49:   (
Chris@49:   const typename T1::elem_type k,
Chris@49:   const T1& X
Chris@49:   )
Chris@49:   {
Chris@49:   arma_extra_debug_sigprint();
Chris@49:   
Chris@49:   return SpOp<T1,spop_scalar_times>(X, k);
Chris@49:   }
Chris@49: 
Chris@49: 
Chris@49: 
Chris@49: //! multiplication of two sparse objects
Chris@49: template<typename T1, typename T2>
Chris@49: inline
Chris@49: arma_hot
Chris@49: typename
Chris@49: enable_if2
Chris@49:   <
Chris@49:   (is_arma_sparse_type<T1>::value && is_arma_sparse_type<T2>::value && is_same_type<typename T1::elem_type, typename T2::elem_type>::value),
Chris@49:   const SpGlue<T1,T2,spglue_times>
Chris@49:   >::result
Chris@49: operator*
Chris@49:   (
Chris@49:   const T1& x,
Chris@49:   const T2& y
Chris@49:   )
Chris@49:   {
Chris@49:   arma_extra_debug_sigprint();
Chris@49: 
Chris@49:   return SpGlue<T1,T2,spglue_times>(x, y);
Chris@49:   }
Chris@49: 
Chris@49: 
Chris@49: 
Chris@49: //! convert "(sparse + sparse) * scalar" to specialised operation "scalar * (sparse + sparse)"
Chris@49: template<typename T1, typename T2>
Chris@49: inline
Chris@49: const SpGlue<T1,T2,spglue_plus2>
Chris@49: operator*
Chris@49:   (
Chris@49:   const SpGlue<T1,T2,spglue_plus>& X,
Chris@49:   const typename T1::elem_type k
Chris@49:   )
Chris@49:   {
Chris@49:   arma_extra_debug_sigprint();
Chris@49:   
Chris@49:   return SpGlue<T1,T2,spglue_plus2>(X.A, X.B, k);
Chris@49:   }
Chris@49: 
Chris@49: 
Chris@49: 
Chris@49: //! convert "scalar * (sparse + sparse)" to specialised operation 
Chris@49: template<typename T1, typename T2>
Chris@49: inline
Chris@49: const SpGlue<T1,T2,spglue_plus2>
Chris@49: operator*
Chris@49:   (
Chris@49:   const typename T1::elem_type k,
Chris@49:   const SpGlue<T1,T2,spglue_plus>& X
Chris@49:   )
Chris@49:   {
Chris@49:   arma_extra_debug_sigprint();
Chris@49:   
Chris@49:   return SpGlue<T1,T2,spglue_plus2>(X.A, X.B, k);
Chris@49:   }
Chris@49: 
Chris@49: 
Chris@49: 
Chris@49: //! convert "(sparse - sparse) * scalar" to specialised operation "scalar * (sparse - sparse)"
Chris@49: template<typename T1, typename T2>
Chris@49: inline
Chris@49: const SpGlue<T1,T2,spglue_minus2>
Chris@49: operator*
Chris@49:   (
Chris@49:   const SpGlue<T1,T2,spglue_minus>& X,
Chris@49:   const typename T1::elem_type k
Chris@49:   )
Chris@49:   {
Chris@49:   arma_extra_debug_sigprint();
Chris@49:   
Chris@49:   return SpGlue<T1,T2,spglue_minus2>(X.A, X.B, k);
Chris@49:   }
Chris@49: 
Chris@49: 
Chris@49: 
Chris@49: //! convert "scalar * (sparse - sparse)" to specialised operation 
Chris@49: template<typename T1, typename T2>
Chris@49: inline
Chris@49: const SpGlue<T1,T2,spglue_minus2>
Chris@49: operator*
Chris@49:   (
Chris@49:   const typename T1::elem_type k,
Chris@49:   const SpGlue<T1,T2,spglue_minus>& X
Chris@49:   )
Chris@49:   {
Chris@49:   arma_extra_debug_sigprint();
Chris@49:   
Chris@49:   return SpGlue<T1,T2,spglue_minus2>(X.A, X.B, k);
Chris@49:   }
Chris@49: 
Chris@49: 
Chris@49: 
Chris@49: //! convert "(sparse*sparse) * scalar" to specialised operation "scalar * (sparse*sparse)"
Chris@49: template<typename T1, typename T2>
Chris@49: inline
Chris@49: const SpGlue<T1,T2,spglue_times2>
Chris@49: operator*
Chris@49:   (
Chris@49:   const SpGlue<T1,T2,spglue_times>& X,
Chris@49:   const typename T1::elem_type k
Chris@49:   )
Chris@49:   {
Chris@49:   arma_extra_debug_sigprint();
Chris@49:   
Chris@49:   return SpGlue<T1,T2,spglue_times2>(X.A, X.B, k);
Chris@49:   }
Chris@49: 
Chris@49: 
Chris@49: 
Chris@49: //! convert "scalar * (sparse*sparse)" to specialised operation
Chris@49: template<typename T1, typename T2>
Chris@49: inline
Chris@49: const SpGlue<T1,T2,spglue_times2>
Chris@49: operator*
Chris@49:   (
Chris@49:   const typename T1::elem_type k,
Chris@49:   const SpGlue<T1,T2,spglue_times>& X
Chris@49:   )
Chris@49:   {
Chris@49:   arma_extra_debug_sigprint();
Chris@49:   
Chris@49:   return SpGlue<T1,T2,spglue_times2>(X.A, X.B, k);
Chris@49:   }
Chris@49: 
Chris@49: 
Chris@49: 
Chris@49: //! convert "(scalar*sparse) * sparse" to specialised operation "scalar * (sparse*sparse)"
Chris@49: template<typename T1, typename T2>
Chris@49: inline
Chris@49: typename
Chris@49: enable_if2
Chris@49:   <
Chris@49:   is_arma_sparse_type<T2>::value,
Chris@49:   const SpGlue<T1,T2,spglue_times2>
Chris@49:   >::result
Chris@49: operator*
Chris@49:   (
Chris@49:   const SpOp<T1,spop_scalar_times>& X,
Chris@49:   const T2& Y
Chris@49:   )
Chris@49:   {
Chris@49:   arma_extra_debug_sigprint();
Chris@49:   
Chris@49:   return SpGlue<T1,T2,spglue_times2>(X.m, Y, X.aux);
Chris@49:   }
Chris@49: 
Chris@49: 
Chris@49: 
Chris@49: //! convert "sparse * (scalar*sparse)" to specialised operation "scalar * (sparse*sparse)"
Chris@49: template<typename T1, typename T2>
Chris@49: inline
Chris@49: typename
Chris@49: enable_if2
Chris@49:   <
Chris@49:   is_arma_sparse_type<T1>::value,
Chris@49:   const SpGlue<T1,T2,spglue_times2>
Chris@49:   >::result
Chris@49: operator*
Chris@49:   (
Chris@49:   const T1& X,
Chris@49:   const SpOp<T2,spop_scalar_times>& Y
Chris@49:   )
Chris@49:   {
Chris@49:   arma_extra_debug_sigprint();
Chris@49:   
Chris@49:   return SpGlue<T1,T2,spglue_times2>(X, Y.m, Y.aux);
Chris@49:   }
Chris@49: 
Chris@49: 
Chris@49: 
Chris@49: //! multiplication of one sparse and one dense object
Chris@49: template<typename T1, typename T2>
Chris@49: inline
Chris@49: typename
Chris@49: enable_if2
Chris@49:   <
Chris@49:   (is_arma_sparse_type<T1>::value && is_arma_type<T2>::value && is_same_type<typename T1::elem_type, typename T2::elem_type>::value),
Chris@49:   Mat<typename T1::elem_type>
Chris@49:   >::result
Chris@49: operator*
Chris@49:   (
Chris@49:   const T1& x,
Chris@49:   const T2& y
Chris@49:   )
Chris@49:   {
Chris@49:   arma_extra_debug_sigprint();
Chris@49:   
Chris@49:   const SpProxy<T1> pa(x);
Chris@49:   const   Proxy<T2> pb(y);
Chris@49:   
Chris@49:   arma_debug_assert_mul_size(pa.get_n_rows(), pa.get_n_cols(), pb.get_n_rows(), pb.get_n_cols(), "matrix multiplication");
Chris@49:   
Chris@49:   Mat<typename T1::elem_type> result(pa.get_n_rows(), pb.get_n_cols());
Chris@49:   result.zeros();
Chris@49:   
Chris@49:   if( (pa.get_n_nonzero() > 0) && (pb.get_n_elem() > 0) )
Chris@49:     {
Chris@49:     typename SpProxy<T1>::const_iterator_type x_it     = pa.begin();
Chris@49:     typename SpProxy<T1>::const_iterator_type x_it_end = pa.end();
Chris@49:     
Chris@49:     const uword result_n_cols = result.n_cols;
Chris@49:       
Chris@49:     while(x_it != x_it_end)
Chris@49:       {
Chris@49:       for(uword col = 0; col < result_n_cols; ++col)
Chris@49:         {
Chris@49:         result.at(x_it.row(), col) += (*x_it) * pb.at(x_it.col(), col);
Chris@49:         }
Chris@49:       
Chris@49:       ++x_it;
Chris@49:       }
Chris@49:     }
Chris@49:   
Chris@49:   return result;
Chris@49:   }
Chris@49: 
Chris@49: 
Chris@49: 
Chris@49: //! multiplication of one dense and one sparse object
Chris@49: template<typename T1, typename T2>
Chris@49: inline
Chris@49: typename
Chris@49: enable_if2
Chris@49:   <
Chris@49:   (is_arma_type<T1>::value && is_arma_sparse_type<T2>::value && is_same_type<typename T1::elem_type, typename T2::elem_type>::value),
Chris@49:   Mat<typename T1::elem_type>
Chris@49:   >::result
Chris@49: operator*
Chris@49:   (
Chris@49:   const T1& x,
Chris@49:   const T2& y
Chris@49:   )
Chris@49:   {
Chris@49:   arma_extra_debug_sigprint();
Chris@49:   
Chris@49:   const   Proxy<T1> pa(x);
Chris@49:   const SpProxy<T2> pb(y);
Chris@49:   
Chris@49:   arma_debug_assert_mul_size(pa.get_n_rows(), pa.get_n_cols(), pb.get_n_rows(), pb.get_n_cols(), "matrix multiplication");
Chris@49:   
Chris@49:   Mat<typename T1::elem_type> result(pa.get_n_rows(), pb.get_n_cols());
Chris@49:   result.zeros();
Chris@49:   
Chris@49:   if( (pa.get_n_elem() > 0) && (pb.get_n_nonzero() > 0) )
Chris@49:     {
Chris@49:     typename SpProxy<T2>::const_iterator_type y_col_it     = pb.begin();
Chris@49:     typename SpProxy<T2>::const_iterator_type y_col_it_end = pb.end();
Chris@49:     
Chris@49:     const uword result_n_rows = result.n_rows;
Chris@49:     
Chris@49:     while(y_col_it != y_col_it_end)
Chris@49:       {
Chris@49:       for(uword row = 0; row < result_n_rows; ++row)
Chris@49:         {
Chris@49:         result.at(row, y_col_it.col()) += pa.at(row, y_col_it.row()) * (*y_col_it);
Chris@49:         }
Chris@49:       
Chris@49:       ++y_col_it;
Chris@49:       }
Chris@49:     }
Chris@49:   
Chris@49:   return result;
Chris@49:   }
Chris@49: 
Chris@49: 
Chris@49: 
Chris@49: //! @}