From: Jean-Paul Pelteret <jppelteret@gmail.com>
Date: Fri, 3 Nov 2017 18:56:53 +0000 (+0100)
Subject: Implement ProductType for Adol-C numbers
X-Git-Tag: v9.0.0-rc1~803^2~1
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=b8d519875871194b09b8321a02aefb992c5f455b;p=dealii.git

Implement ProductType for Adol-C numbers
---

diff --git a/include/deal.II/differentiation/ad/adolc_product_types.h b/include/deal.II/differentiation/ad/adolc_product_types.h
new file mode 100644
index 0000000000..eb62f82dba
--- /dev/null
+++ b/include/deal.II/differentiation/ad/adolc_product_types.h
@@ -0,0 +1,282 @@
+// ---------------------------------------------------------------------
+//
+// Copyright (C) 2016 - 2017 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_ad_adolc_product_types_h
+#define dealii_differentiation_ad_adolc_product_types_h
+
+#include <deal.II/base/config.h>
+
+#ifdef DEAL_II_WITH_ADOLC
+
+#include <deal.II/base/template_constraints.h>
+
+DEAL_II_DISABLE_EXTRA_DIAGNOSTICS
+#include <adolc/adouble.h> // Taped double
+#include <adolc/adtl.h>    // Tapeless double
+DEAL_II_ENABLE_EXTRA_DIAGNOSTICS
+
+DEAL_II_NAMESPACE_OPEN
+
+
+/* -------------- Adol-C taped (Differentiation::AD::NumberTypes::adolc_taped) -------------- */
+
+
+namespace internal
+{
+
+  template <>
+  struct ProductTypeImpl<adouble,adouble>
+  {
+    typedef adouble type;
+  };
+
+  // Typedefs for "adub"s are all thats necessary to ensure that no temporary Adol-C types
+  // "adub" are created when a scalar product is performed.
+  // If this is not done, then intermediate tensors are filled with unconstructable types.
+  template <>
+  struct ProductTypeImpl<adub,adouble>
+  {
+    typedef adouble type;
+  };
+
+  template <>
+  struct ProductTypeImpl<adouble,adub>
+  {
+    typedef adouble type;
+  };
+
+  /* --- Double --- */
+
+  template <>
+  struct ProductTypeImpl<double,adouble>
+  {
+    typedef adouble type;
+  };
+
+  template <>
+  struct ProductTypeImpl<adouble,double>
+  {
+    typedef adouble type;
+  };
+
+  template <>
+  struct ProductTypeImpl<double,adub>
+  {
+    typedef adouble type;
+  };
+
+  template <>
+  struct ProductTypeImpl<adub,double>
+  {
+    typedef adouble type;
+  };
+
+  /* --- Float --- */
+
+  template <>
+  struct ProductTypeImpl<float,adouble>
+  {
+    typedef adouble type;
+  };
+
+  template <>
+  struct ProductTypeImpl<adouble,float>
+  {
+    typedef adouble type;
+  };
+
+  template <>
+  struct ProductTypeImpl<float,adub>
+  {
+    typedef adouble type;
+  };
+
+  template <>
+  struct ProductTypeImpl<adub,float>
+  {
+    typedef adouble type;
+  };
+
+  /* --- Complex double --- */
+
+  template <>
+  struct ProductTypeImpl<std::complex<double> ,std::complex<adouble> >
+  {
+    typedef std::complex<adouble> type;
+  };
+
+  template <>
+  struct ProductTypeImpl<std::complex<adouble>, std::complex<double> >
+  {
+    typedef std::complex<adouble> type;
+  };
+
+  template <>
+  struct ProductTypeImpl< std::complex<adouble>, std::complex<adouble> >
+  {
+    typedef std::complex<adouble> type;
+  };
+
+  template <>
+  struct ProductTypeImpl<std::complex<adub> ,std::complex<adouble> >
+  {
+    typedef std::complex<adouble> type;
+  };
+
+  template <>
+  struct ProductTypeImpl<std::complex<adouble>, std::complex<adub> >
+  {
+    typedef std::complex<adouble> type;
+  };
+
+  /* --- Complex float --- */
+
+  template <>
+  struct ProductTypeImpl<std::complex<float> ,std::complex<adouble> >
+  {
+    typedef std::complex<adouble> type;
+  };
+
+  template <>
+  struct ProductTypeImpl<std::complex<adouble>, std::complex<float> >
+  {
+    typedef std::complex<adouble> type;
+  };
+
+}
+
+template <>
+struct EnableIfScalar<adouble>
+{
+  typedef adouble type;
+};
+
+template <>
+struct EnableIfScalar<std::complex<adouble> >
+{
+  typedef std::complex<adouble> type;
+};
+
+
+template <>
+struct EnableIfScalar<adub>
+{
+  typedef adouble type;
+};
+
+
+template <>
+struct EnableIfScalar<std::complex<adub> >
+{
+  typedef std::complex<adouble> type;
+};
+
+
+/* -------------- Adol-C tapeless (Differentiation::AD::NumberTypes::adolc_tapeless) -------------- */
+
+
+namespace internal
+{
+
+  /* --- Double --- */
+
+  template <>
+  struct ProductTypeImpl<double,adtl::adouble>
+  {
+    typedef adtl::adouble type;
+  };
+
+  template <>
+  struct ProductTypeImpl<adtl::adouble,double>
+  {
+    typedef adtl::adouble type;
+  };
+
+  template <>
+  struct ProductTypeImpl<adtl::adouble,adtl::adouble>
+  {
+    typedef adtl::adouble type;
+  };
+
+  /* --- Float --- */
+
+  template <>
+  struct ProductTypeImpl<float,adtl::adouble>
+  {
+    typedef adtl::adouble type;
+  };
+
+  template <>
+  struct ProductTypeImpl<adtl::adouble,float>
+  {
+    typedef adtl::adouble type;
+  };
+
+  /* --- Complex double --- */
+
+  template <>
+  struct ProductTypeImpl<std::complex<double>,std::complex<adtl::adouble> >
+  {
+    typedef std::complex<adtl::adouble> type;
+  };
+
+  template <>
+  struct ProductTypeImpl<std::complex<adtl::adouble>,std::complex<double> >
+  {
+    typedef std::complex<adtl::adouble> type;
+  };
+
+  template <>
+  struct ProductTypeImpl<std::complex<adtl::adouble>,std::complex<adtl::adouble> >
+  {
+    typedef std::complex<adtl::adouble> type;
+  };
+
+  /* --- Complex float --- */
+
+  template <>
+  struct ProductTypeImpl<std::complex<float>,std::complex<adtl::adouble> >
+  {
+    typedef std::complex<adtl::adouble> type;
+  };
+
+  template <>
+  struct ProductTypeImpl<std::complex<adtl::adouble>,std::complex<float> >
+  {
+    typedef std::complex<adtl::adouble> type;
+  };
+
+}
+
+
+template <>
+struct EnableIfScalar<adtl::adouble>
+{
+  typedef adtl::adouble type;
+};
+
+
+template <>
+struct EnableIfScalar<std::complex<adtl::adouble> >
+{
+  typedef std::complex<adtl::adouble> type;
+};
+
+
+DEAL_II_NAMESPACE_CLOSE
+
+#endif // DEAL_II_WITH_ADOLC
+
+#endif