Sacado_Fad_SFad_MP_Vector.hpp

Go to the documentation of this file.

// @HEADER
// ***********************************************************************
//
//                           Sacado Package
//                 Copyright (2006) Sandia Corporation
//
// Under the terms of Contract DE-AC04-94AL85000 with Sandia Corporation,
// the U.S. Government retains certain rights in this software.
//
// This library 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 2.1 of the
// License, or (at your option) any later version.
//
// This library 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 this library; if not, write to the Free Software
// Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301
// USA
// Questions? Contact David M. Gay (dmgay@sandia.gov) or Eric T. Phipps
// (etphipp@sandia.gov).
//
// ***********************************************************************
//
// The forward-mode AD classes in Sacado are a derivative work of the
// expression template classes in the Fad package by Nicolas Di Cesare.
// The following banner is included in the original Fad source code:
//
// ************ DO NOT REMOVE THIS BANNER ****************
//
//  Nicolas Di Cesare <Nicolas.Dicesare@ann.jussieu.fr>
//  http://www.ann.jussieu.fr/~dicesare
//
//            CEMRACS 98 : C++ courses,
//         templates : new C++ techniques
//            for scientific computing
//
//********************************************************
//
//  A short implementation ( not all operators and
//  functions are overloaded ) of 1st order Automatic
//  Differentiation in forward mode (FAD) using
//  EXPRESSION TEMPLATES.
//
//********************************************************
// @HEADER

#ifndef SACADO_FAD_SFAD_MP_VECTOR_HPP
#define SACADO_FAD_SFAD_MP_VECTOR_HPP

#include "Sacado_Fad_SFad.hpp"
#include "Sacado_Fad_ExprSpec_MP_Vector.hpp"

namespace Stokhos {
  template <typename Ord, typename Val, int Num, typename Dev>
  class StaticFixedStorage;
}

namespace Sacado {

  namespace MP {
    template <typename S> class Vector;
  }

  namespace Fad {

    template <typename Ord, typename Val, int VecNum, typename Dev, int Num>
    struct ExprSpec< SFadExprTag< Sacado::MP::Vector< Stokhos::StaticFixedStorage<Ord,Val,VecNum,Dev> >, Num > > {
      typedef ExprSpecMPVector type;
    };
    template <typename Ord, typename Val, int VecNum, typename Dev, int Num>
    struct ExprSpec< SFad< Sacado::MP::Vector< Stokhos::StaticFixedStorage<Ord,Val,VecNum,Dev> >, Num > > {
      typedef ExprSpecMPVector type;
    };

    template <typename Ord, typename Val, int VecNum, typename Dev, int Num>
    class Expr< SFadExprTag< Sacado::MP::Vector< Stokhos::StaticFixedStorage<Ord,Val,VecNum,Dev> >,Num >,ExprSpecMPVector > {

    public:

      typedef Sacado::MP::Vector< Stokhos::StaticFixedStorage<Ord,Val,VecNum,Dev> > T;

      typedef typename RemoveConst<T>::type value_type;

      typedef typename ScalarType<value_type>::type scalar_type;

      typedef SFad<value_type,Num> base_expr_type;

      typedef typename value_type::value_type val_type;


      KOKKOS_INLINE_FUNCTION
      Expr() : val_( T(0.)) {
        ss_array<T>::zero(dx_, Num); }


      template <typename S>
      KOKKOS_INLINE_FUNCTION
      Expr(const S & x, SACADO_ENABLE_VALUE_CTOR_DECL) :
        val_(x) {
        ss_array<T>::zero(dx_, Num);
      }


      KOKKOS_INLINE_FUNCTION
      Expr(const int sz, const T & x, const DerivInit zero_out = InitDerivArray)  : val_(x) {
#if defined(SACADO_DEBUG) && !defined(__CUDA_ARCH__ )
        if (sz != Num)
          throw "SFad::SFad() Error:  Supplied derivative dimension does not match compile time length.";
#endif
        if (zero_out == InitDerivArray)
          ss_array<T>::zero(dx_, Num);
      }


      KOKKOS_INLINE_FUNCTION
      Expr(const int sz, const int i, const T & x) :
        val_(x) {
#if defined(SACADO_DEBUG) && !defined(__CUDA_ARCH__ )
        if (sz != Num)
          throw "SFad::SFad() Error:  Supplied derivative dimension does not match compile time length.";
        if (i >= Num)
          throw "SFad::SFad() Error:  Invalid derivative index.";
#endif

        ss_array<T>::zero(dx_, Num);
        dx_[i]=1.;
      }

      KOKKOS_INLINE_FUNCTION
      Expr(const Expr& x) :
        val_(x.val()) {
        for (int i=0; i<Num; i++)
          dx_[i] = x.dx_[i];
      }

      template <typename S>
      KOKKOS_INLINE_FUNCTION
      Expr(const Expr<S>& x, SACADO_ENABLE_EXPR_CTOR_DECL) {
#if defined(SACADO_DEBUG) && !defined(__CUDA_ARCH__ )
        if (x.size() != Num)
          throw "SFad::SFad() Error:  Attempt to assign with incompatible sizes";
#endif

        for(int i=0; i<Num; ++i) {
          for (int j=0; j<VecNum; ++j)
            dx_[i].fastAccessCoeff(j) = x.fastAccessDx(i,j);
        }

        for (int j=0; j<VecNum; ++j)
          this->val(j) = x.val(j);
      }

      KOKKOS_INLINE_FUNCTION
      ~Expr() {}


      KOKKOS_INLINE_FUNCTION
      void diff(const int ith, const int n) {
#if defined(SACADO_DEBUG) && !defined(__CUDA_ARCH__ )
        if (n != Num)
          throw "SFad::diff() Error:  Supplied derivative dimension does not match compile time length.";
#endif

        ss_array<T>::zero(dx_, Num);
        dx_[ith] = T(1.);
      }


      KOKKOS_INLINE_FUNCTION
      void resize(int sz) {
#if defined(SACADO_DEBUG) && !defined(__CUDA_ARCH__ )
        if (sz != Num)
          throw "SFad::resize() Error:  Cannot resize fixed derivative array dimension";
#endif
      }


      KOKKOS_INLINE_FUNCTION
      void expand(int sz) { resize(sz); }

      KOKKOS_INLINE_FUNCTION
      void zero() { ss_array<T>::zero(dx_, Num); }

      KOKKOS_INLINE_FUNCTION
      void setUpdateValue(bool update_val) {  }

      KOKKOS_INLINE_FUNCTION
      bool updateValue() const { return true; }

      template <typename S>
      KOKKOS_INLINE_FUNCTION
      SACADO_ENABLE_EXPR_FUNC(bool) isEqualTo(const Expr<S>& x) const {
        typedef IsEqual<value_type> IE;
        if (x.size() != this->size()) return false;
        bool eq = IE::eval(x.val(), this->val());
        for (int i=0; i<this->size(); i++)
          eq = eq && IE::eval(x.dx(i), this->dx(i));
        return eq;
      }



      KOKKOS_INLINE_FUNCTION
      const T& val() const { return val_;}

      KOKKOS_INLINE_FUNCTION
      T& val() { return val_;}

      KOKKOS_INLINE_FUNCTION
      const val_type& val(int j) const { return val_.fastAccessCoeff(j);}

      KOKKOS_INLINE_FUNCTION
      val_type& val(int j) { return val_.fastAccessCoeff(j);}



      KOKKOS_INLINE_FUNCTION
      int size() const { return Num;}

      KOKKOS_INLINE_FUNCTION
      int availableSize() const { return Num; }

      KOKKOS_INLINE_FUNCTION
      bool hasFastAccess() const { return true; }

      KOKKOS_INLINE_FUNCTION
      bool isPassive() const { return false; }

      KOKKOS_INLINE_FUNCTION
      void setIsConstant(bool is_const) {}

      KOKKOS_INLINE_FUNCTION
      const T* dx() const { return &(dx_[0]);}

      KOKKOS_INLINE_FUNCTION
      const T& dx(int i) const { return dx_[i]; }

      KOKKOS_INLINE_FUNCTION
      T& fastAccessDx(int i) { return dx_[i];}

      KOKKOS_INLINE_FUNCTION
      const T& fastAccessDx(int i) const { return dx_[i];}

      KOKKOS_INLINE_FUNCTION
      const val_type& dx(int i, int j) const { return dx_[i].fastAccessCoeff(j); }

      KOKKOS_INLINE_FUNCTION
      val_type& fastAccessDx(int i, int j) { return dx_[i].fastAccessCoeff(j);}

      KOKKOS_INLINE_FUNCTION
      const val_type& fastAccessDx(int i, int j) const { return dx_[i].fastAccessCoeff(j);}



      template <typename S>
      KOKKOS_INLINE_FUNCTION
      SACADO_ENABLE_VALUE_FUNC(Expr&) operator=(const S& v) {
        val_ = v;
        ss_array<T>::zero(dx_, Num);
        return *this;
      }

      KOKKOS_INLINE_FUNCTION
      Expr& operator=(const Expr& x) {
        if (this != &x) {
          // Copy value
          val_ = x.val_;

          // Copy dx_
          for (int i=0; i<Num; i++)
            dx_[i] = x.dx_[i];
        }
        return *this;
      }

      template <typename S>
      KOKKOS_INLINE_FUNCTION
      SACADO_ENABLE_EXPR_FUNC(Expr&) operator=(const Expr<S>& x) {
#if defined(SACADO_DEBUG) && !defined(__CUDA_ARCH__ )
        if (x.size() != Num)
          throw "SFad::operator=() Error:  Attempt to assign with incompatible sizes";
#endif

       for(int i=0; i<Num; ++i) {
          for (int j=0; j<VecNum; ++j)
            dx_[i].fastAccessCoeff(j) = x.fastAccessDx(i,j);
        }

        for (int j=0; j<VecNum; ++j)
          this->val(j) = x.val(j);

        return *this;
      }



      template <typename S>
      KOKKOS_INLINE_FUNCTION
      SACADO_ENABLE_VALUE_FUNC(Expr&) operator += (const S& v) {
        this->val() += v;
        return *this;
      }

      template <typename S>
      KOKKOS_INLINE_FUNCTION
      SACADO_ENABLE_VALUE_FUNC(Expr&) operator -= (const S& v) {
        this->val() -= v;
        return *this;
      }

      template <typename S>
      KOKKOS_INLINE_FUNCTION
      SACADO_ENABLE_VALUE_FUNC(Expr&) operator *= (const S& v) {
        this->val() *= v;
        for (int i=0; i<Num; ++i)
          dx_[i] *= v;
        return *this;
      }

      template <typename S>
      KOKKOS_INLINE_FUNCTION
      SACADO_ENABLE_VALUE_FUNC(Expr&) operator /= (const S& v) {
        this->val() /= v;
        for (int i=0; i<Num; ++i)
          dx_[i] /= v;
        return *this;
      }

      template <typename S>
      KOKKOS_INLINE_FUNCTION
      SACADO_ENABLE_EXPR_FUNC(Expr&) operator += (const Expr<S>& x) {
#if defined(SACADO_DEBUG) && !defined(__CUDA_ARCH__ )
        if (x.size() != Num)
          throw "SFad::operator+=() Error:  Attempt to assign with incompatible sizes";
#endif

        for(int i=0; i<Num; ++i) {
          for (int j=0; j<VecNum; ++j)
            dx_[i].fastAccessCoeff(j) += x.fastAccessDx(i,j);
        }

        for (int j=0; j<VecNum; ++j)
          this->val(j) += x.val(j);

        return *this;
      }

      template <typename S>
      KOKKOS_INLINE_FUNCTION
      SACADO_ENABLE_EXPR_FUNC(Expr&) operator -= (const Expr<S>& x) {
#if defined(SACADO_DEBUG) && !defined(__CUDA_ARCH__ )
        if (x.size() != Num)
          throw "SFad::operator-=() Error:  Attempt to assign with incompatible sizes";
#endif

        for(int i=0; i<Num; ++i) {
          for (int j=0; j<VecNum; ++j)
            dx_[i].fastAccessCoeff(j) -= x.fastAccessDx(i,j);
        }

        for (int j=0; j<VecNum; ++j)
          this->val(j) -= x.val(j);

        return *this;
      }

      template <typename S>
      KOKKOS_INLINE_FUNCTION
      SACADO_ENABLE_EXPR_FUNC(Expr&) operator *= (const Expr<S>& x) {
        T xval;
        for (int j=0; j<VecNum; ++j)
          xval.fastAccessCoeff(j) = x.val(j);

#if defined(SACADO_DEBUG) && !defined(__CUDA_ARCH__ )
        if (x.size() != Num)
          throw "SFad::operator*=() Error:  Attempt to assign with incompatible sizes";
#endif

        for(int i=0; i<Num; ++i)
          for (int j=0; j<VecNum; ++j)
            dx_[i].fastAccessCoeff(j) = val_.fastAccessCoeff(j) * x.fastAccessDx(i,j) + dx_[i] * xval.fastAccessCoeff(j);

        val_ *= xval;

        return *this;
      }

      template <typename S>
      KOKKOS_INLINE_FUNCTION
      SACADO_ENABLE_EXPR_FUNC(Expr&) operator /= (const Expr<S>& x) {
        T xval;
        for (int j=0; j<VecNum; ++j)
          xval.fastAccessCoeff(j) = x.val(j);
        T xval2 = xval*xval;

#if defined(SACADO_DEBUG) && !defined(__CUDA_ARCH__ )
        if (x.size() != Num)
          throw "SFad::operator/=() Error:  Attempt to assign with incompatible sizes";
#endif

        for(int i=0; i<Num; ++i)
          for (int j=0; j<VecNum; ++j)
            dx_[i].fastAccessCoeff(j) = ( dx_[i].fastAccessCoeff(j)*xval.fastAccessCoeff(j) - val_.fastAccessCoeff(j)*x.fastAccessDx(i,j) )/ (xval2.fastAccessCoeff(j));

        val_ /= xval;

        return *this;
      }


    protected:

      T dx_[Num];

      T val_;

    }; // class Expr<SFadExprTag>

  } // namespace Fad

} // namespace Sacado

#include "Sacado_Fad_Ops_MP_Vector.hpp"

#endif // SACADO_FAD_SFAD_MP_VECTOR_HPP