use crate::{DualNum, DualNumFloat, DualStruct};
use num_traits::{Float, FloatConst, FromPrimitive, Inv, Num, One, Signed, Zero};
#[cfg(feature = "serde")]
use serde::{Deserialize, Serialize};
use std::fmt;
use std::iter::{Product, Sum};
use std::marker::PhantomData;
use std::ops::{
Add, AddAssign, Div, DivAssign, Mul, MulAssign, Neg, Rem, RemAssign, Sub, SubAssign,
};
#[derive(Copy, Clone, Debug)]
#[cfg_attr(feature = "serde", derive(Serialize, Deserialize))]
pub struct Dual<T: DualNum<F>, F> {
pub re: T,
pub eps: T,
#[cfg_attr(feature = "serde", serde(skip))]
f: PhantomData<F>,
}
#[cfg(feature = "ndarray")]
impl<T: DualNum<F>, F: DualNumFloat> ndarray::ScalarOperand for Dual<T, F> {}
pub type Dual32 = Dual<f32, f32>;
pub type Dual64 = Dual<f64, f64>;
impl<T: DualNum<F>, F> Dual<T, F> {
#[inline]
pub fn new(re: T, eps: T) -> Self {
Self {
re,
eps,
f: PhantomData,
}
}
}
impl<T: DualNum<F> + Zero, F> Dual<T, F> {
#[inline]
pub fn from_re(re: T) -> Self {
Self::new(re, T::zero())
}
}
impl<T: DualNum<F> + One, F> Dual<T, F> {
#[inline]
pub fn derivative(mut self) -> Self {
self.eps = T::one();
self
}
}
impl<T: DualNum<F>, F: Float> Dual<T, F> {
#[inline]
fn chain_rule(&self, f0: T, f1: T) -> Self {
Self::new(f0, self.eps.clone() * f1)
}
}
impl<T: DualNum<F>, F: Float> Mul<&Dual<T, F>> for &Dual<T, F> {
type Output = Dual<T, F>;
#[inline]
fn mul(self, other: &Dual<T, F>) -> Self::Output {
Dual::new(
self.re.clone() * other.re.clone(),
self.eps.clone() * other.re.clone() + other.eps.clone() * self.re.clone(),
)
}
}
impl<T: DualNum<F>, F: Float> Div<&Dual<T, F>> for &Dual<T, F> {
type Output = Dual<T, F>;
#[inline]
fn div(self, other: &Dual<T, F>) -> Dual<T, F> {
let inv = other.re.recip();
Dual::new(
self.re.clone() * inv.clone(),
(self.eps.clone() * other.re.clone() - other.eps.clone() * self.re.clone())
* inv.clone()
* inv,
)
}
}
impl<T: DualNum<F>, F> fmt::Display for Dual<T, F> {
fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
write!(f, "{} + {}ε", self.re, self.eps)
}
}
impl_first_derivatives!(Dual, [eps]);
impl_dual!(Dual, [eps]);
impl_nalgebra!(Dual, [eps]);