sx_elem.cpp

/*
 *    This file is part of CasADi.
 *
 *    CasADi -- A symbolic framework for dynamic optimization.
 *    Copyright (C) 2010-2023 Joel Andersson, Joris Gillis, Moritz Diehl,
 *                            KU Leuven. All rights reserved.
 *    Copyright (C) 2011-2014 Greg Horn
 *
 *    CasADi is free software; you can redistribute it and/or
 *    modify it under the terms of the GNU Lesser General Public
 *    License as published by the Free Software Foundation; either
 *    version 3 of the License, or (at your option) any later version.
 *
 *    CasADi is distributed in the hope that it will be useful,
 *    but WITHOUT ANY WARRANTY; without even the implied warranty of
 *    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
 *    Lesser General Public License for more details.
 *
 *    You should have received a copy of the GNU Lesser General Public
 *    License along with CasADi; if not, write to the Free Software
 *    Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA  02110-1301  USA
 *
 */
 
 
#include "sx_elem.hpp"
#include "sx.hpp"
#include <stack>
#include <cassert>
#include "calculus.hpp"
#include "constant_sx.hpp"
#include "symbolic_sx.hpp"
#include "unary_sx.hpp"
#include "binary_sx.hpp"
#include "call_sx.hpp"
#include "output_sx.hpp"
#include "global_options.hpp"
#include "sx_function.hpp"
 
namespace casadi {
 
 
 
  // Allocate storage for the caching
  CACHING_MAP<casadi_int, IntegerSX*> IntegerSX::cached_constants_;
  CACHING_MAP<double, RealtypeSX*> RealtypeSX::cached_constants_;
 
#ifdef CASADI_WITH_THREADSAFE_SYMBOLICS
  std::mutex IntegerSX::mutex_cached_constants;
  std::mutex RealtypeSX::mutex_cached_constants;
#endif //CASADI_WITH_THREADSAFE_SYMBOLICS
 
  SXElem::SXElem() {
    node = casadi_limits<SXElem>::nan.node;
    node->count++;
  }
 
  SXElem::SXElem(SXNode* node_, bool dummy) : node(node_) {
    node->count++;
  }
 
  SXElem SXElem::create(SXNode* node) {
    return SXElem(node, false);
  }
 
  SXElem::SXElem(const SXElem& scalar) {
    node = scalar.node;
    node->count++;
  }
 
  SXElem::SXElem(double val) {
    // Check for nan/inf first to avoid undefined behavior from static_cast<int>
    if (isnan(val)) {
      node = casadi_limits<SXElem>::nan.node;
    } else if (isinf(val)) {
      node = val > 0 ? casadi_limits<SXElem>::inf.node :
                       casadi_limits<SXElem>::minus_inf.node;
    } else {
      // Only ints fit here, not casadi_int
      int intval = static_cast<int>(val);
      if (val-static_cast<double>(intval) == 0) { // check if integer
        if (intval == 0)             node = casadi_limits<SXElem>::zero.node;
        else if (intval == 1)        node = casadi_limits<SXElem>::one.node;
        else if (intval == 2)        node = casadi_limits<SXElem>::two.node;
        else if (intval == -1)       node = casadi_limits<SXElem>::minus_one.node;
        else                        node = IntegerSX::create(intval);
      } else {
        node = RealtypeSX::create(val);
      }
    }
    node->count++;
  }
 
  SXElem SXElem::sym(const std::string& name) {
    return create(new SymbolicSX(name));
  }
 
  SXElem::~SXElem() {
    if (--node->count == 0) delete node;
  }
 
  SXElem& SXElem::operator=(const SXElem &scalar) {
    if (this == &scalar) return *this;
 
    // quick return if the old and new pointers point to the same object
    if (node == scalar.node) return *this;
 
    // decrease the counter and delete if this was the last pointer
    if (--node->count == 0) delete node;
 
    // save the new pointer
    node = scalar.node;
    node->count++;
    return *this;
  }
 
  void SXElem::assignIfDuplicate(const SXElem& scalar, casadi_int depth) {
    casadi_assert_dev(depth>=1);
    if (!is_equal(*this, scalar, 0) && is_equal(*this, scalar, depth)) {
      *this = scalar;
    }
  }
 
  SXNode* SXElem::assignNoDelete(const SXElem& scalar) {
    // Return value
    SXNode* ret = node;
 
    // quick return if the old and new pointers point to the same object
    if (node == scalar.node) return ret;
 
    // decrease the counter but do not delete if this was the last pointer
    --node->count;
 
    // save the new pointer
    node = scalar.node;
    node->count++;
 
    // Return a pointer to the old node
    return ret;
  }
 
  SXElem& SXElem::operator=(double scalar) {
    return *this = SXElem(scalar);
  }
 
  void SXElem::disp(std::ostream& stream, bool more) const {
    node->disp(stream, more);
  }
 
  SXElem SXElem::operator-() const {
    if (is_op(OP_NEG))
      return dep();
    else if (is_zero())
      return 0;
    else if (is_minus_one())
      return 1;
    else if (is_one())
      return -1;
    else
      return unary(OP_NEG, *this);
  }
 
  bool SXElem::__nonzero__() const {
    if (is_constant()) return !is_zero();
    casadi_error("Cannot compute the truth value of a CasADi SXElem symbolic expression.");
  }
 
  bool SXElem::is_doubled() const {
    return (is_op(OP_ADD) && is_equal(dep(0), dep(1), SXNode::eq_depth_)) ||
           (is_op(OP_TWICE));
  }
 
  SXElem SXElem::inv() const {
    return unary(OP_INV, *this);
  }
 
  SXNode* SXElem::get() const {
    return node;
  }
 
  const SXNode* SXElem::operator->() const {
    return node;
  }
 
  SXNode* SXElem::operator->() {
    return node;
  }
 
  SXElem SXElem::binary(casadi_int op, const SXElem& x, const SXElem& y,
      bool unique_x, bool unique_y) {
    // If-else-zero nodes are always simplified at top level to avoid NaN propagation
    if (y.op() == OP_IF_ELSE_ZERO) {
      if (op == OP_MUL) {
        // (Rule 1.) x * if_else_zero(c, y), simplified to if_else_zero(c, x * y)
        // Background: x is often a partial derivative and may evaluate to INF or NAN.
        // The simplification ensures that the zero seed corresponding to an inactive branch does
        // not give rise to any NaN contribution to the derivative due to NaN * 0 == NaN.
        return if_else_zero(y.dep(0), x * y.dep(1));
      } else if (op == OP_ADD && x.op() == OP_IF_ELSE_ZERO && is_equal(x.dep(0), y.dep(0))) {
        // (Rule 2.) if_else_zero(c, x) + if_else_zero(c, y) is simplified to if_else_zero(c, x + y)
        // Background: During the backward propagation, seeds are added together. Without this rule,
        // the addition node can prevent rule (1.) from working in subsequent steps.
        return if_else_zero(y.dep(0), x.dep(1) + y.dep(1));
      }
    } else if (x.op() == OP_IF_ELSE_ZERO && op == OP_MUL) {
      // Same as Rule 1. above, but with factors swapped. For symmetry.
      return if_else_zero(x.dep(0), x.dep(1) * y);
    }
    // Simplifications
    if (GlobalOptions::simplification_on_the_fly) {
      bool hit;
      SXElem ret = common_simp_binary(op, x, y, SXNode::eq_depth_,
                [](casadi_int op, const SXElem& a) { return unary(op, a);},
                [](casadi_int op, const SXElem& a, const SXElem& b) { return binary(op, a, b);},
                unique_x,
                unique_y,
                hit);
      if (hit) return ret;
      switch (op) {
        case OP_MUL:
          if (x.is_constant() && y.is_op(OP_TWICE))
            return (x*2)*y.dep(); // a*(2*x) -> (a*2)*x
          else if (y.is_constant() && x.is_op(OP_TWICE))
            return (2*y)*x.dep(); // (2*x)*b -> (2*b)*x
          break;
      }
 
    }
    return BinarySX::create(Operation(op), x, y);
  }
 
  std::vector<SXElem> SXElem::call(const Function& f, const std::vector<SXElem>& deps) {
    SXElem c = CallSX::create(f, deps);
    return OutputSX::split(c, f.nnz_out());
  }
 
  SXElem SXElem::unary(casadi_int op, const SXElem& x, bool unique) {
    // Simplifications
    if (GlobalOptions::simplification_on_the_fly) {
      switch (op) {
        case OP_NOT:
          if (x.is_op(OP_NOT))
            return x.dep(); // This looks problematic
          break;
        case OP_TWICE:
          if (x.is_op(OP_MUL) && x.dep(0).is_constant())
            return (2*x.dep(0))*x.dep(1); // (2*a)*x = (2*a)*x
          else if (x.is_op(OP_MUL) && x.dep(1).is_constant())
            return (2*x.dep(1))*x.dep(0); // x*(2*a) = (2*a)*x
          else if (x.is_op(OP_TWICE))
            return 4*x.dep(); // 2*(2*x) = 4*x
          break;
      }
      // Simplifications
      bool hit;
      SXElem ret = common_simp_unary(op, x, SXNode::eq_depth_,
                [](casadi_int op, const SXElem& a) { return unary(op, a);},
                unique,
                hit);
      if (hit) return ret;
    }
    return UnarySX::create(Operation(op), x);
  }
 
  bool SXElem::is_leaf() const {
    if (!node) return true;
    return is_constant() || is_symbolic();
  }
 
  bool SXElem::is_commutative() const {
    casadi_assert(n_dep(), "SX::is_commutative: must be binary");
    return operation_checker<CommChecker>(op());
  }
 
  bool SXElem::is_constant() const {
    return node->is_constant();
  }
 
  bool SXElem::is_call() const {
    return node->is_call();
  }
 
  bool SXElem::is_output() const {
    return node->is_output();
  }
 
  bool SXElem::has_output() const {
    return node->has_output();
  }
 
  Function SXElem::which_function() const {
    return node->which_function();
  }
 
  casadi_int SXElem::which_output() const {
    return node->which_output();
  }
 
  bool SXElem::is_integer() const {
    return node->is_integer();
  }
 
  bool SXElem::is_symbolic() const {
    return node->is_symbolic();
  }
 
  bool SXElem::is_zero() const {
    return node->is_zero();
  }
 
  bool SXElem::is_almost_zero(double tol) const {
    return node->is_almost_zero(tol);
  }
 
  bool SXElem::is_one() const {
    return node->is_one();
  }
 
  bool SXElem::is_minus_one() const {
    return node->is_minus_one();
  }
 
  bool SXElem::is_half() const {
    return node->is_half();
  }
 
  bool SXElem::is_value(double val) const {
    return node->is_value(val);
  }
 
  bool SXElem::is_nan() const {
    return node->is_nan();
  }
 
  bool SXElem::is_inf() const {
    return node->is_inf();
  }
 
  bool SXElem::is_minus_inf() const {
    return node->is_minus_inf();
  }
 
  const std::string& SXElem::name() const {
    return node->name();
  }
 
  casadi_int SXElem::op() const {
    return node->op();
  }
 
  bool SXElem::is_op(casadi_int op) const {
    return node->is_op(op);
  }
 
  bool SXElem::is_equal(const SXElem& x, const SXElem& y, casadi_int depth) {
    SXNode *x_node = x.get(), *y_node = y.get();
    if (x_node==y_node) {
      return true;
    } else if (depth>0) {
      return x_node->is_equal(y_node, depth);
    } else {
      return false;
    }
  }
 
  bool SXElem::is_nonnegative() const {
    if (is_constant()) {
      return static_cast<double>(*this)>=0;
    } else if (casadi_math<SXElem>::is_unary(node->op())) {
      return operation_checker<NonnegativeChecker>(node->op());
    } else {
      return false;
    }
  }
 
  SXElem::operator double() const {
    return node->to_double();
  }
 
  SXElem::operator casadi_int() const {
    return node->to_int();
  }
 
  SXElem SXElem::dep(casadi_int ch) const {
    casadi_assert_dev(ch >= 0 || ch < n_dep());
    return node->dep(ch);
  }
 
  casadi_int SXElem::n_dep() const {
    return node->n_dep();
  }
 
  SXElem SXElem::get_output(casadi_int oind) const {
    return node->get_output(oind);
  }
 
  casadi_int SXElem::__hash__() const {
    return reinterpret_cast<casadi_int>(node);
  }
 
  // node corresponding to a constant 0
  const SXElem casadi_limits<SXElem>::zero(ZeroSX::singleton(), false);
  // node corresponding to a constant 1
  const SXElem casadi_limits<SXElem>::one(OneSX::singleton(), false);
  // node corresponding to a constant 2
  const SXElem casadi_limits<SXElem>::two(IntegerSX::create(2), false);
  // node corresponding to a constant -1
  const SXElem casadi_limits<SXElem>::minus_one(MinusOneSX::singleton(), false);
  const SXElem casadi_limits<SXElem>::nan(NanSX::singleton(), false);
  const SXElem casadi_limits<SXElem>::inf(InfSX::singleton(), false);
  const SXElem casadi_limits<SXElem>::minus_inf(MinusInfSX::singleton(), false);
 
  bool casadi_limits<SXElem>::is_zero(const SXElem& val) {
    return val.is_zero();
  }
 
  bool casadi_limits<SXElem>::is_equal(const SXElem& x, const SXElem& y, casadi_int depth) {
    return SXElem::is_equal(x, y, depth);
  }
 
  bool casadi_limits<SXElem>::is_almost_zero(const SXElem& val, double tol) {
    return val.is_almost_zero(tol);
  }
 
  bool casadi_limits<SXElem>::is_one(const SXElem& val) {
    return val.is_one();
  }
 
  bool casadi_limits<SXElem>::is_minus_one(const SXElem& val) {
    return val.is_minus_one();
  }
 
  bool casadi_limits<SXElem>::is_half(const SXElem& val) {
    return val.is_half();
  }
 
  bool casadi_limits<SXElem>::is_value(const SXElem& val, double v) {
    return val.is_value(v);
  }
 
  bool casadi_limits<SXElem>::is_nonnegative(const SXElem& val) {
    return val.is_nonnegative();
  }
 
  bool casadi_limits<SXElem>::is_constant(const SXElem& val) {
    return val.is_constant();
  }
 
  bool casadi_limits<SXElem>::is_integer(const SXElem& val) {
    return val.is_integer();
  }
 
  bool casadi_limits<SXElem>::is_inf(const SXElem& val) {
    return val.is_inf();
  }
 
  bool casadi_limits<SXElem>::is_minus_inf(const SXElem& val) {
    return val.is_minus_inf();
  }
 
  bool casadi_limits<SXElem>::is_nan(const SXElem& val) {
    return val.is_nan();
  }
 
  SXElem::operator SX() const {
    return SX(Sparsity::scalar(), *this, false);
  }
 
  int SXElem::get_temp() const {
    return (*this)->temp;
  }
 
  void SXElem::set_temp(int t) const {
    (*this)->temp = t;
  }
 
  bool SXElem::marked() const {
    return (*this)->marked();
  }
 
  void SXElem::mark() const {
    (*this)->mark();
  }
 
  bool SXElem::is_regular() const {
    if (is_constant()) {
      return !(is_nan() || is_inf() || is_minus_inf());
    } else {
      casadi_error("Cannot check regularity for symbolic SXElem");
    }
  }
 
  void SXElem::serialize(SerializingStream& s) const {
    (*this)->serialize(s);
  }
 
  SXElem SXElem::deserialize(DeserializingStream& s) {
    return SXElem::create(SXNode::deserialize(s));
  }
 
#ifdef CASADI_WITH_THREADSAFE_SYMBOLICS
  std::mutex SXElem::mutex_temp;
#endif //CASADI_WITH_THREADSAFE_SYMBOLICS
 
} // namespace casadi
 
using namespace casadi;
namespace std {
  SXElem std::numeric_limits<SXElem>::infinity() throw() {
    return casadi::casadi_limits<SXElem>::inf;
  }
 
  SXElem std::numeric_limits<SXElem>::quiet_NaN() throw() {
    return casadi::casadi_limits<SXElem>::nan;
  }
 
  SXElem std::numeric_limits<SXElem>::min() throw() {
    return SXElem(std::numeric_limits<double>::min());
  }
 
  SXElem std::numeric_limits<SXElem>::max() throw() {
    return SXElem(std::numeric_limits<double>::max());
  }
 
  SXElem std::numeric_limits<SXElem>::epsilon() throw() {
    return SXElem(std::numeric_limits<double>::epsilon());
  }
 
  SXElem std::numeric_limits<SXElem>::round_error() throw() {
    return SXElem(std::numeric_limits<double>::round_error());
  }
 
} // namespace std