norm.hpp
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 #ifndef CASADI_NORM_HPP
27 #define CASADI_NORM_HPP
28 
29 #include "mx_node.hpp"
30 
32 namespace casadi {
33 
40  class CASADI_EXPORT Norm : public MXNode {
41  public:
42 
46  explicit Norm(const MX& x);
47 
51  ~Norm() override {}
52 
53  protected:
57  explicit Norm(DeserializingStream& s) : MXNode(s) {}
58  };
59 
66  class CASADI_EXPORT NormF : public Norm {
67  public:
68 
72  explicit NormF(const MX& x) : Norm(x) {}
73 
77  ~NormF() override {}
78 
80  template<typename T>
81  int eval_gen(const T** arg, T** res, casadi_int* iw, T* w) const;
82 
84  int eval(const double** arg, double** res, casadi_int* iw, double* w) const override;
85 
87  int eval_sx(const SXElem** arg, SXElem** res, casadi_int* iw, SXElem* w) const override;
88 
92  void eval_mx(const std::vector<MX>& arg, std::vector<MX>& res) const override;
93 
97  void ad_forward(const std::vector<std::vector<MX> >& fseed,
98  std::vector<std::vector<MX> >& fsens) const override;
99 
103  void ad_reverse(const std::vector<std::vector<MX> >& aseed,
104  std::vector<std::vector<MX> >& asens) const override;
105 
109  void generate(CodeGenerator& g,
110  const std::vector<casadi_int>& arg,
111  const std::vector<casadi_int>& res,
112  const std::vector<bool>& arg_is_ref,
113  std::vector<bool>& res_is_ref) const override;
114 
118  std::string disp(const std::vector<std::string>& arg) const override;
119 
123  casadi_int op() const override { return OP_NORMF;}
124 
128  static MXNode* deserialize(DeserializingStream& s) { return new NormF(s); }
129 
130  protected:
134  explicit NormF(DeserializingStream& s) : Norm(s) {}
135  };
136 
143  class CASADI_EXPORT Norm2 : public Norm {
144  public:
145 
149  explicit Norm2(const MX& x): Norm(x) {}
150 
154  ~Norm2() override {}
155 
159  void eval_mx(const std::vector<MX>& arg, std::vector<MX>& res) const override;
160 
164  std::string disp(const std::vector<std::string>& arg) const override;
165 
169  casadi_int op() const override { return OP_NORM2;}
170 
174  static MXNode* deserialize(DeserializingStream& s) { return new Norm2(s); }
175 
176  protected:
180  explicit Norm2(DeserializingStream& s) : Norm(s) {}
181  };
182 
189  class CASADI_EXPORT Norm1 : public Norm {
190  public:
191 
195  explicit Norm1(const MX& x) : Norm(x) {}
196 
200  ~Norm1() override {}
201 
205  void ad_forward(const std::vector<std::vector<MX> >& fseed,
206  std::vector<std::vector<MX> >& fsens) const override;
207 
211  void ad_reverse(const std::vector<std::vector<MX> >& aseed,
212  std::vector<std::vector<MX> >& asens) const override;
213 
215  template<typename T>
216  int eval_gen(const T** arg, T** res, casadi_int* iw, T* w) const;
217 
219  int eval(const double** arg, double** res, casadi_int* iw, double* w) const override;
220 
222  int eval_sx(const SXElem** arg, SXElem** res, casadi_int* iw, SXElem* w) const override;
223 
227  void eval_mx(const std::vector<MX>& arg, std::vector<MX>& res) const override;
228 
232  void generate(CodeGenerator& g,
233  const std::vector<casadi_int>& arg,
234  const std::vector<casadi_int>& res,
235  const std::vector<bool>& arg_is_ref,
236  std::vector<bool>& res_is_ref) const override;
237 
241  std::string disp(const std::vector<std::string>& arg) const override;
242 
246  casadi_int op() const override { return OP_NORM1;}
247 
251  static MXNode* deserialize(DeserializingStream& s) { return new Norm1(s); }
252 
253  protected:
257  explicit Norm1(DeserializingStream& s) : Norm(s) {}
258  };
259 
266  class CASADI_EXPORT NormInf : public Norm {
267  public:
268 
272  explicit NormInf(const MX& x) : Norm(x) {}
273 
277  ~NormInf() override {}
278 
282  void ad_forward(const std::vector<std::vector<MX> >& fseed,
283  std::vector<std::vector<MX> >& fsens) const override;
284 
288  void ad_reverse(const std::vector<std::vector<MX> >& aseed,
289  std::vector<std::vector<MX> >& asens) const override;
290 
292  template<typename T>
293  int eval_gen(const T** arg, T** res, casadi_int* iw, T* w) const;
294 
296  int eval(const double** arg, double** res, casadi_int* iw, double* w) const override;
297 
299  int eval_sx(const SXElem** arg, SXElem** res, casadi_int* iw, SXElem* w) const override;
300 
304  void eval_mx(const std::vector<MX>& arg, std::vector<MX>& res) const override;
305 
309  void generate(CodeGenerator& g,
310  const std::vector<casadi_int>& arg,
311  const std::vector<casadi_int>& res,
312  const std::vector<bool>& arg_is_ref,
313  std::vector<bool>& res_is_ref) const override;
314 
318  std::string disp(const std::vector<std::string>& arg) const override;
319 
323  casadi_int op() const override { return OP_NORMINF;}
324 
328  static MXNode* deserialize(DeserializingStream& s) { return new NormInf(s); }
329 
330  protected:
334  explicit NormInf(DeserializingStream& s) : Norm(s) {}
335  };
336 
337 } // namespace casadi
338 
340 
341 #endif // CASADI_NORM_HPP
Helper class for C code generation.
Helper class for Serialization.
Node class for MX objects.
Definition: mx_node.hpp:51
MX - Matrix expression.
Definition: mx.hpp:92
1-norm
Definition: norm.hpp:189
~Norm1() override
Destructor.
Definition: norm.hpp:200
Norm1(const MX &x)
Constructor.
Definition: norm.hpp:195
static MXNode * deserialize(DeserializingStream &s)
Deserialize without type information.
Definition: norm.hpp:251
Norm1(DeserializingStream &s)
Deserializing constructor.
Definition: norm.hpp:257
casadi_int op() const override
Get the operation.
Definition: norm.hpp:246
Represents a 2-norm (spectral norm)
Definition: norm.hpp:143
casadi_int op() const override
Get the operation.
Definition: norm.hpp:169
Norm2(DeserializingStream &s)
Deserializing constructor.
Definition: norm.hpp:180
Norm2(const MX &x)
Constructor.
Definition: norm.hpp:149
~Norm2() override
Destructor.
Definition: norm.hpp:154
static MXNode * deserialize(DeserializingStream &s)
Deserialize without type information.
Definition: norm.hpp:174
Represents a Frobenius norm.
Definition: norm.hpp:66
casadi_int op() const override
Get the operation.
Definition: norm.hpp:123
~NormF() override
Destructor.
Definition: norm.hpp:77
NormF(const MX &x)
Constructor.
Definition: norm.hpp:72
static MXNode * deserialize(DeserializingStream &s)
Deserialize without type information.
Definition: norm.hpp:128
NormF(DeserializingStream &s)
Deserializing constructor.
Definition: norm.hpp:134
Represents an infinity-norm operation on a MX.
Definition: norm.hpp:266
~NormInf() override
Destructor.
Definition: norm.hpp:277
static MXNode * deserialize(DeserializingStream &s)
Deserialize without type information.
Definition: norm.hpp:328
NormInf(DeserializingStream &s)
Deserializing constructor.
Definition: norm.hpp:334
casadi_int op() const override
Get the operation.
Definition: norm.hpp:323
NormInf(const MX &x)
Constructor.
Definition: norm.hpp:272
Matrix and vector norms.
Definition: norm.hpp:40
Norm(DeserializingStream &s)
Deserializing constructor.
Definition: norm.hpp:57
~Norm() override
Destructor.
Definition: norm.hpp:51
The basic scalar symbolic class of CasADi.
Definition: sx_elem.hpp:75
The casadi namespace.
Definition: archiver.cpp:28
@ OP_NORM1
Definition: calculus.hpp:178
@ OP_NORM2
Definition: calculus.hpp:178
@ OP_NORMF
Definition: calculus.hpp:178
@ OP_NORMINF
Definition: calculus.hpp:178