Homec4science
Diffusion expolit (master) Browse

expolit/differentiation.hh
d2bfab12ac33master

Last Change
Raw File

differentiation.hh
View Options

/**
* @file
*
* @author Lucas Frérot <lucas.frerot@epfl.ch>
*
* @section LICENSE
*
* Copyright (©) 2018 EPFL (Ecole Polytechnique Fédérale de
* Lausanne) Laboratory (LSMS - Laboratoire de Simulation en Mécanique des
* Solides)
*
* Expolit 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.
*
* Tamaas 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 Tamaas. If not, see <http://www.gnu.org/licenses/>.
*
*/
#ifndef DIFFERENTIATION_HH
#define DIFFERENTIATION_HH
#include "exponential.hh"
#include "operations.hh"
#include "polynomial.hh"
#include "types.hh"
#include <algorithm>
#include <iostream>
namespace expolit {
template <typename T, UInt order, typename CT>
auto differentiate(const Polynomial<T, order, CT>& p) {
Polynomial<T, order - 1, CT> dp;
for (UInt i = 0; i < dp.terms; ++i)
dp.coeffs[i] = p.coeffs[i + 1] * static_cast<Real>(i + 1);
return dp;
}
template <typename T, typename CT>
auto differentiate(const Constant<T, CT>& p) {
return Constant<T, CT>({0});
}
template <typename T>
auto differentiate(const Exponential<T>& e) {
return differentiate(e.expression) * e;
}
template <typename T, typename U>
auto differentiate(const Product<T, U>& p) {
auto&& o = p.operands;
return differentiate(o.first) * o.second + o.first * differentiate(o.second);
}
template <typename T, typename U, typename CT>
auto differentiate(const Sum<Constant<T, CT>, U>& p) {
return differentiate(p.operands.second);
}
template <typename T, typename U, typename CT>
auto differentiate(const Product<Constant<T, CT>, U>& p) {
return p.operands.first * differentiate(p.operands.second);
}
} // namespace expolit
#endif
c4science · Help