sparsity_cast.cpp
1 /*
2  * This file is part of CasADi.
3  *
4  * CasADi -- A symbolic framework for dynamic optimization.
5  * Copyright (C) 2010-2023 Joel Andersson, Joris Gillis, Moritz Diehl,
6  * KU Leuven. All rights reserved.
7  * Copyright (C) 2011-2014 Greg Horn
8  *
9  * CasADi is free software; you can redistribute it and/or
10  * modify it under the terms of the GNU Lesser General Public
11  * License as published by the Free Software Foundation; either
12  * version 3 of the License, or (at your option) any later version.
13  *
14  * CasADi is distributed in the hope that it will be useful,
15  * but WITHOUT ANY WARRANTY; without even the implied warranty of
16  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
17  * Lesser General Public License for more details.
18  *
19  * You should have received a copy of the GNU Lesser General Public
20  * License along with CasADi; if not, write to the Free Software
21  * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
22  *
23  */
24 
25 
26 #include "sparsity_cast.hpp"
27 #include "casadi_misc.hpp"
28 #include "getnonzeros.hpp"
29 
30 namespace casadi {
31 
33  casadi_assert_dev(x.nnz()==sp.nnz());
34  set_dep(x);
35  set_sparsity(sp);
36  }
37 
38  int SparsityCast::eval(const double** arg, double** res, casadi_int* iw, double* w) const {
39  return eval_gen<double>(arg, res, iw, w);
40  }
41 
42  int SparsityCast::eval_sx(const SXElem** arg, SXElem** res, casadi_int* iw, SXElem* w) const {
43  return eval_gen<SXElem>(arg, res, iw, w);
44  }
45 
46  template<typename T>
47  int SparsityCast::eval_gen(const T** arg, T** res, casadi_int* iw, T* w) const {
48  if (arg[0]!=res[0]) std::copy(arg[0], arg[0]+nnz(), res[0]);
49  return 0;
50  }
51 
52  int SparsityCast::sp_forward(const bvec_t** arg, bvec_t** res, casadi_int* iw, bvec_t* w) const {
53  copy_fwd(arg[0], res[0], nnz());
54  return 0;
55  }
56 
57  int SparsityCast::sp_reverse(bvec_t** arg, bvec_t** res, casadi_int* iw, bvec_t* w) const {
58  copy_rev(arg[0], res[0], nnz());
59  return 0;
60  }
61 
62  std::string SparsityCast::disp(const std::vector<std::string>& arg) const {
63  if (sparsity().is_dense() && sparsity().is_column()) {
64  return "nonzeros(" + arg.at(0) + ")";
65  } else {
66  return "sparsity_cast(" + arg.at(0) + ")";
67  }
68  }
69 
70  void SparsityCast::eval_mx(const std::vector<MX>& arg, std::vector<MX>& res) const {
71  res[0] = sparsity_cast(arg[0], sparsity());
72  }
73 
74  void SparsityCast::ad_forward(const std::vector<std::vector<MX> >& fseed,
75  std::vector<std::vector<MX> >& fsens) const {
76  for (casadi_int d = 0; d<fsens.size(); ++d) {
77  casadi_assert_dev(fseed[d][0].sparsity().is_subset(dep().sparsity()));
78  Sparsity sp = fseed[d][0].sparsity().sparsity_cast_mod(dep().sparsity(), sparsity());
79  fsens[d][0] = sparsity_cast(fseed[d][0], sp);
80  }
81  }
82 
83  void SparsityCast::ad_reverse(const std::vector<std::vector<MX> >& aseed,
84  std::vector<std::vector<MX> >& asens) const {
85  for (casadi_int d=0; d<aseed.size(); ++d) {
86  MX seed = aseed[d][0];
87  if (!seed.sparsity().is_subset(sparsity())) seed = seed(sparsity());
89  asens[d][0] += sparsity_cast(seed, sp);
90  }
91  }
92 
94  const std::vector<casadi_int>& arg,
95  const std::vector<casadi_int>& res,
96  const std::vector<bool>& arg_is_ref,
97  std::vector<bool>& res_is_ref) const {
98  generate_copy(g, arg, res, arg_is_ref, res_is_ref, 0);
99  }
100 
102  if (sp.is_reshape(dep(0).sparsity())) {
103  return reshape(dep(0), sp);
104  } else {
105  return MXNode::get_reshape(sp);
106  }
107  }
108 
110  return sparsity_cast(dep(0), sp);
111  }
112 
113  MX SparsityCast::get_nzref(const Sparsity& sp, const std::vector<casadi_int>& nz) const {
114  return GetNonzeros::create(sp, dep(), nz);
115  }
116 
118  // For vectors, reshape is also a transpose
119  if (sparsity().is_vector()) {
120  return dep()->get_sparsity_cast(sparsity().T());
121  } else {
122  return MXNode::get_transpose();
123  }
124  }
125 
127  return dep()->is_valid_input();
128  }
129 
130  casadi_int SparsityCast::n_primitives() const {
131  return dep()->n_primitives();
132  }
133 
134  void SparsityCast::primitives(std::vector<MX>::iterator& it) const {
135  dep()->primitives(it);
136  }
137 
138  template<typename T>
140  typename std::vector<T>::iterator& it) const {
141  dep()->split_primitives(sparsity_cast(project(x, sparsity()), dep().sparsity()), it);
142  }
143 
144  void SparsityCast::split_primitives(const MX& x, std::vector<MX>::iterator& it) const {
145  split_primitives_gen<MX>(x, it);
146  }
147 
148  void SparsityCast::split_primitives(const SX& x, std::vector<SX>::iterator& it) const {
149  split_primitives_gen<SX>(x, it);
150  }
151 
152  void SparsityCast::split_primitives(const DM& x, std::vector<DM>::iterator& it) const {
153  split_primitives_gen<DM>(x, it);
154  }
155 
156  template<typename T>
157  T SparsityCast::join_primitives_gen(typename std::vector<T>::const_iterator& it) const {
158  return sparsity_cast(project(dep()->join_primitives(it), dep().sparsity()), sparsity());
159  }
160 
161  MX SparsityCast::join_primitives(std::vector<MX>::const_iterator& it) const {
162  return join_primitives_gen<MX>(it);
163  }
164 
165  SX SparsityCast::join_primitives(std::vector<SX>::const_iterator& it) const {
166  return join_primitives_gen<SX>(it);
167  }
168 
169  DM SparsityCast::join_primitives(std::vector<DM>::const_iterator& it) const {
170  return join_primitives_gen<DM>(it);
171  }
172 
174  return dep()->has_duplicates();
175  }
176 
178  dep()->reset_input();
179  }
180 
181 } // namespace casadi
Helper class for C code generation.
casadi_int nnz() const
Get the number of (structural) non-zero elements.
static MX create(const Sparsity &sp, const MX &x, const std::vector< casadi_int > &nz)
Definition: getnonzeros.cpp:32
virtual void reset_input() const
Reset the marker for an input expression.
Definition: mx_node.cpp:150
virtual casadi_int n_primitives() const
Get the number of symbolic primitives.
Definition: mx_node.cpp:142
virtual MX get_sparsity_cast(const Sparsity &sp) const
Sparsity cast.
Definition: mx_node.cpp:505
static void copy_fwd(const bvec_t *arg, bvec_t *res, casadi_int len)
Propagate sparsities forward through a copy operation.
Definition: mx_node.cpp:1241
virtual bool has_duplicates() const
Detect duplicate symbolic expressions.
Definition: mx_node.cpp:146
virtual bool is_valid_input() const
Check if valid function input.
Definition: mx_node.hpp:231
static void copy_rev(bvec_t *arg, bvec_t *res, casadi_int len)
Propagate sparsities backwards through a copy operation.
Definition: mx_node.cpp:1247
void generate_copy(CodeGenerator &g, const std::vector< casadi_int > &arg, const std::vector< casadi_int > &res, const std::vector< bool > &arg_is_ref, std::vector< bool > &res_is_ref, casadi_int i) const
Definition: mx_node.cpp:457
const Sparsity & sparsity() const
Get the sparsity.
Definition: mx_node.hpp:372
casadi_int nnz(casadi_int i=0) const
Definition: mx_node.hpp:389
const MX & dep(casadi_int ind=0) const
dependencies - functions that have to be evaluated before this one
Definition: mx_node.hpp:354
virtual MX get_reshape(const Sparsity &sp) const
Reshape.
Definition: mx_node.cpp:496
virtual void primitives(std::vector< MX >::iterator &it) const
Get symbolic primitives.
Definition: mx_node.cpp:154
void set_sparsity(const Sparsity &sparsity)
Set the sparsity.
Definition: mx_node.cpp:222
virtual MX get_transpose() const
Transpose.
Definition: mx_node.cpp:484
void set_dep(const MX &dep)
Set unary dependency.
Definition: mx_node.cpp:226
virtual void split_primitives(const MX &x, std::vector< MX >::iterator &it) const
Split up an expression along symbolic primitives.
Definition: mx_node.cpp:158
MX - Matrix expression.
Definition: mx.hpp:92
const Sparsity & sparsity() const
Get the sparsity pattern.
Definition: mx.cpp:592
Sparse matrix class. SX and DM are specializations.
Definition: matrix_decl.hpp:99
The basic scalar symbolic class of CasADi.
Definition: sx_elem.hpp:75
bool has_duplicates() const override
Detect duplicate symbolic expressions.
int sp_forward(const bvec_t **arg, bvec_t **res, casadi_int *iw, bvec_t *w) const override
Propagate sparsity forward.
void ad_forward(const std::vector< std::vector< MX > > &fseed, std::vector< std::vector< MX > > &fsens) const override
Calculate forward mode directional derivatives.
void primitives(std::vector< MX >::iterator &it) const override
Get symbolic primitives.
int eval(const double **arg, double **res, casadi_int *iw, double *w) const override
Evaluate the function numerically.
void split_primitives(const MX &x, std::vector< MX >::iterator &it) const override
Split up an expression along symbolic primitives.
void split_primitives_gen(const T &x, typename std::vector< T >::iterator &it) const
Split up an expression along primitives (template)
casadi_int n_primitives() const override
Get the number of symbolic primitives.
T join_primitives_gen(typename std::vector< T >::const_iterator &it) const
Join an expression along symbolic primitives (template)
MX get_transpose() const override
Transpose (if a dimension is one)
void ad_reverse(const std::vector< std::vector< MX > > &aseed, std::vector< std::vector< MX > > &asens) const override
Calculate reverse mode directional derivatives.
bool is_valid_input() const override
Check if valid function input.
int eval_gen(const T **arg, T **res, casadi_int *iw, T *w) const
Evaluate the function (template)
std::string disp(const std::vector< std::string > &arg) const override
Print expression.
void eval_mx(const std::vector< MX > &arg, std::vector< MX > &res) const override
Evaluate symbolically (MX)
SparsityCast(const MX &x, Sparsity sp)
Constructor.
MX get_reshape(const Sparsity &sp) const override
SparsityCast.
MX get_nzref(const Sparsity &sp, const std::vector< casadi_int > &nz) const override
Get the nonzeros of matrix.
int eval_sx(const SXElem **arg, SXElem **res, casadi_int *iw, SXElem *w) const override
Evaluate the function symbolically (SX)
void generate(CodeGenerator &g, const std::vector< casadi_int > &arg, const std::vector< casadi_int > &res, const std::vector< bool > &arg_is_ref, std::vector< bool > &res_is_ref) const override
Generate code for the operation.
MX join_primitives(std::vector< MX >::const_iterator &it) const override
Join an expression along symbolic primitives.
int sp_reverse(bvec_t **arg, bvec_t **res, casadi_int *iw, bvec_t *w) const override
Propagate sparsity backwards.
MX get_sparsity_cast(const Sparsity &sp) const override
SparsityCast.
void reset_input() const override
Reset the marker for an input expression.
General sparsity class.
Definition: sparsity.hpp:106
bool is_subset(const Sparsity &rhs) const
Is subset?
Definition: sparsity.cpp:426
bool is_reshape(const Sparsity &y) const
Check if the sparsity is a reshape of another.
Definition: sparsity.cpp:791
casadi_int nnz() const
Get the number of (structural) non-zeros.
Definition: sparsity.cpp:148
Sparsity sparsity_cast_mod(const Sparsity &X, const Sparsity &Y) const
Propagates subset according to sparsity cast.
Definition: sparsity.cpp:1844
The casadi namespace.
Definition: archiver.cpp:28
unsigned long long bvec_t