| Stan Math Library 2.11.0 reverse mode automatic differentiation

- Main Page
- Modules
- Namespaces
- Classes
- Files

- File List
- File Members

multiply.hpp
Go to the documentation of this file.
1 #ifndef STAN_MATH_REV_MAT_FUN_MULTIPLY_HPP
2 #define STAN_MATH_REV_MAT_FUN_MULTIPLY_HPP
3
4 #include <stan/math/rev/core.hpp>
5 #include <stan/math/rev/mat/fun/Eigen_NumTraits.hpp>
6 #include <stan/math/rev/mat/fun/typedefs.hpp>
7 #include <stan/math/prim/mat/fun/Eigen.hpp>
8 #include <stan/math/prim/mat/fun/typedefs.hpp>
9 #include <stan/math/prim/mat/err/check_multiplicable.hpp>
10 #include <stan/math/rev/mat/fun/to_var.hpp>
11 #include <stan/math/rev/mat/fun/dot_product.hpp>
12 #include <boost/utility/enable_if.hpp>
13 #include <boost/type_traits.hpp>
14 #include <boost/math/tools/promotion.hpp>
15 #include <stdexcept>
16
17 namespace stan {
18 namespace math {
19
26 template <typename T1, typename T2>
27 inline typename
28 boost::enable_if_c<
29 (boost::is_scalar<T1>::value || boost::is_same<T1, var>::value)
30 && (boost::is_scalar<T2>::value || boost::is_same<T2, var>::value),
31 typename boost::math::tools::promote_args<T1, T2>::type>::type
32 multiply(const T1& v, const T2& c) {
33 return v * c;
34 }
35
42 template<typename T1, typename T2, int R2, int C2>
43 inline Eigen::Matrix<var, R2, C2>
44 multiply(const T1& c, const Eigen::Matrix<T2, R2, C2>& m) {
45 // FIXME: pull out to eliminate overpromotion of one side
46 // move to matrix.hpp w. promotion?
47 return to_var(m) * to_var(c);
48 }
49
56 template<typename T1, int R1, int C1, typename T2>
57 inline Eigen::Matrix<var, R1, C1>
58 multiply(const Eigen::Matrix<T1, R1, C1>& m, const T2& c) {
59 return to_var(m) * to_var(c);
60 }
61
72 template<typename T1, int R1, int C1, typename T2, int R2, int C2>
73 inline typename
74 boost::enable_if_c< boost::is_same<T1, var>::value ||
75 boost::is_same<T2, var>::value,
76 Eigen::Matrix<var, R1, C2> >::type
77 multiply(const Eigen::Matrix<T1, R1, C1>& m1,
78 const Eigen::Matrix<T2, R2, C2>& m2) {
79 stan::math::check_multiplicable("multiply",
80 "m1", m1,
81 "m2", m2);
82 Eigen::Matrix<var, R1, C2> result(m1.rows(), m2.cols());
83 for (int i = 0; i < m1.rows(); i++) {
84 typename Eigen::Matrix<T1, R1, C1>::ConstRowXpr crow(m1.row(i));
85 for (int j = 0; j < m2.cols(); j++) {
86 typename Eigen::Matrix<T2, R2, C2>::ConstColXpr ccol(m2.col(j));
87 if (j == 0) {
88 if (i == 0) {
89 result(i, j) = var(new dot_product_vari<T1, T2>(crow, ccol));
90 } else {
91 dot_product_vari<T1, T2> *v2
92 = static_cast<dot_product_vari<T1, T2>*>(result(0, j).vi_);
93 result(i, j)
94 = var(new dot_product_vari<T1, T2>(crow, ccol, NULL, v2));
95 }
96 } else {
97 if (i == 0) {
98 dot_product_vari<T1, T2> *v1
99 = static_cast<dot_product_vari<T1, T2>*>(result(i, 0).vi_);
100 result(i, j)
101 = var(new dot_product_vari<T1, T2>(crow, ccol, v1, NULL));
102 } else /* if (i != 0 && j != 0) */ {
103 dot_product_vari<T1, T2> *v1
104 = static_cast<dot_product_vari<T1, T2>*>(result(i, 0).vi_);
105 dot_product_vari<T1, T2> *v2
106 = static_cast<dot_product_vari<T1, T2>*>(result(0, j).vi_);
107 result(i, j)
108 = var(new dot_product_vari<T1, T2>(crow, ccol, v1, v2));
109 }
110 }
111 }
112 }
113 return result;
114 }
115
125 template <typename T1, int C1, typename T2, int R2>
126 inline typename
127 boost::enable_if_c< boost::is_same<T1, var>::value ||
128 boost::is_same<T2, var>::value, var >::type
129 multiply(const Eigen::Matrix<T1, 1, C1>& rv,
130 const Eigen::Matrix<T2, R2, 1>& v) {
131 if (rv.size() != v.size())
132 throw std::domain_error("row vector and vector must be same length "
133 "in multiply");
134 return dot_product(rv, v);
135 }
136
137 }
138 }
139 #endif
core.hpp
check_multiplicable.hpp
Eigen_NumTraits.hpp
stan
Definition: log_sum_exp.hpp:8
stan::math::multiply
Eigen::Matrix< fvar< T >, R1, C1 > multiply(const Eigen::Matrix< fvar< T >, R1, C1 > &m, const fvar< T > &c)
Definition: multiply.hpp:21
to_var.hpp
stan::math::var
Independent (input) and dependent (output) variables for gradients.
Definition: var.hpp:31
typedefs.hpp
stan::math::check_multiplicable
bool check_multiplicable(const char *function, const char *name1, const T1 &y1, const char *name2, const T2 &y2)
Return true if the matrices can be multiplied.
Definition: check_multiplicable.hpp:33
stan::math::dot_product
fvar< T > dot_product(const Eigen::Matrix< fvar< T >, R1, C1 > &v1, const Eigen::Matrix< fvar< T >, R2, C2 > &v2)
Definition: dot_product.hpp:20
dot_product.hpp
stan::math::domain_error
void domain_error(const char *function, const char *name, const T &y, const char *msg1, const char *msg2)
Throw a domain error with a consistently formatted message.
Definition: domain_error.hpp:32
Eigen.hpp
stan::math::to_var
std::vector< var > to_var(const std::vector< double > &v)
Converts argument to an automatic differentiation variable.
Definition: to_var.hpp:20
typedefs.hpp

[ Stan Home Page ] © 2011–2016, Stan Development Team.