symengine_product_types.h

// ---------------------------------------------------------------------
//
// Copyright (C) 2019 by the deal.II authors
//
// This file is part of the deal.II library.
//
// The deal.II library is free software; you can use it, 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.
// The full text of the license can be found in the file LICENSE at
// the top level of the deal.II distribution.
//
// ---------------------------------------------------------------------
 
#ifndef dealii_differentiation_sd_symengine_product_types_h
#define dealii_differentiation_sd_symengine_product_types_h
 
#include <deal.II/base/config.h>
 
#ifdef DEAL_II_WITH_SYMENGINE
 
 
#  include <deal.II/base/template_constraints.h>
 
#  include <deal.II/differentiation/sd/symengine_number_types.h>
 
#  include <boost/type_traits.hpp>
 
#  include <type_traits>
 
 
DEAL_II_NAMESPACE_OPEN
 
 
template <>
struct EnableIfScalar<Differentiation::SD::Expression>
{
  typedef Differentiation::SD::Expression type;
};
 
 
namespace internal
{
  namespace SD
  {
    template <typename T, typename U, typename V = void>
    struct GeneralProductTypeImpl;
 
    template <typename T>
    struct GeneralProductTypeImpl<
      T,
      Differentiation::SD::Expression,
      typename std::enable_if<std::is_arithmetic<T>::value>::type>
    {
      typedef Differentiation::SD::Expression type;
    };
 
    template <typename T>
    struct GeneralProductTypeImpl<
      T,
      Differentiation::SD::Expression,
      typename std::enable_if<
        boost::is_complex<T>::value &&
        std::is_arithmetic<typename T::value_type>::value>::type>
    {
      typedef Differentiation::SD::Expression type;
    };
 
  } // namespace SD
 
 
  template <>
  struct ProductTypeImpl<Differentiation::SD::Expression,
                         Differentiation::SD::Expression>
  {
    typedef Differentiation::SD::Expression type;
  };
 
 
  template <typename T>
  struct ProductTypeImpl<T, Differentiation::SD::Expression>
  {
    typedef
      typename SD::GeneralProductTypeImpl<T,
                                          Differentiation::SD::Expression>::type
        type;
  };
 
  template <typename T>
  struct ProductTypeImpl<Differentiation::SD::Expression, T>
  {
    typedef
      typename SD::GeneralProductTypeImpl<T,
                                          Differentiation::SD::Expression>::type
        type;
  };
 
} // namespace internal
 
DEAL_II_NAMESPACE_CLOSE
 
#endif // DEAL_II_WITH_SYMENGINE
 
#endif