[][src]Struct easy_ml::differentiation::Trace

pub struct Trace<T: Primitive> {
    pub number: T,
    pub derivative: T,
}

A dual number which traces a real number and keeps track of its derivative. This is used to perform Forward Automatic Differentiation

Trace implements only first order differentiation. For example, given a function 3x2, you can use calculus to work out that its derivative with respect to x is 6x. You can also take the derivative of 6x with respect to x and work out that the second derivative is 6. By instead writing the function 3x2 in code using Trace types as your numbers you can compute the first order derivative for a given value of x by passing your function Trace { number: x, derivative: 1.0 }.

use easy_ml::differentiation::Trace;
let x = Trace { number: 3.2, derivative: 1.0 };
let dx = Trace::constant(3.0) * x * x;
assert_eq!(dx.derivative, 3.2 * 6.0);

Why the one for the starting derivative? Because δx/δx = 1, as with symbolic differentiation.

Acknowledgments

The wikipedia page on Automatic Differentiation provided a very useful overview and explanation for understanding Forward Mode Automatic Differentiation as well as the implementation rules.

Fields

number: T

The real number

derivative: T

The first order derivative of this number.

Implementations

impl<T: Numeric + Primitive> Trace<T>[src]

The main set of methods for using Trace types for Forward Differentiation.

The general steps are

  1. create one variable
  2. create as many constants as needed
  3. do operations on the variable and constants
  4. the outputs will have derivatives computed which can be accessed from the .derivative field, with each derivative being the output with respect to the input variable.
  5. if you need derivatives for a different input then do everything all over again or do them all in parallel

pub fn constant(c: T) -> Trace<T>[src]

Constants are lifted to Traces with a derivative of 0

Why zero for the starting derivative? Because for any constant C δC/δx = 0, as with symbolic differentiation.

pub fn variable(x: T) -> Trace<T>[src]

To lift a variable that you want to find the derivative of a function to, the Trace starts with a derivative of 1

Why the one for the starting derivative? Because δx/δx = 1, as with symbolic differentiation.

pub fn derivative(function: impl Fn(Trace<T>) -> Trace<T>, x: T) -> T[src]

Computes the derivative of a function with respect to its input x.

This is a shorthand for (function(Trace::variable(x))).derivative

In the more general case, if you provide a function with an input x and it returns N outputs y1 to yN then you have computed all the derivatives δyi/δx for i = 1 to N.

impl<T: Numeric + Primitive> Trace<T> where
    &'a T: NumericRef<T>, 
[src]

pub fn unary(&self, fx: impl Fn(T) -> T, dfx_dx: impl Fn(T) -> T) -> Trace<T>[src]

Creates a new Trace from a reference to an existing Trace by applying some unary function to it which operates on the type the Trace wraps.

To compute the new trace, the unary function of some input x to some output y is needed along with its derivative with respect to its input x.

For example, tanh is a commonly used activation function, but the Real trait does not include this operation and Trace has no operations for it specifically. However, you can use this function to compute the tanh of a Trace like so:

use easy_ml::differentiation::Trace;
let x = Trace::variable(0.7f32);
// the derivative of tanh(x) is sech(x) * sech(x) which is equivalent to
// 1 / (cosh(x) * cosh(x))
let y = x.unary(|x| x.tanh(), |x| 1.0 / (x.cosh() * x.cosh()));
assert_eq!(y.derivative, 1.0f32 / (0.7f32.cosh() * 0.7f32.cosh()));

pub fn binary(
    &self,
    rhs: &Trace<T>,
    fxy: impl Fn(T, T) -> T,
    dfxy_dx: impl Fn(T, T) -> T,
    dfxy_dy: impl Fn(T, T) -> T
) -> Trace<T>
[src]

Creates a new Trace from a reference to two existing Traces by applying some binary function to them which operates on two arguments of the type the Traces wrap.

To compute the new trace, the binary function of some inputs x and y to some output z is needed along with its derivative with respect to its first input x and its derivative with respect to its second input y.

For example, atan2 takes two arguments, but the Real trait does not include this operation and Trace has no operations for it specifically. However, you can use this function to compute the atan2 of two Traces like so:

use easy_ml::differentiation::Trace;
let x = Trace::variable(3.0f32);
let y = Trace::variable(3.0f32);
// the derivative of atan2 with respect to x is y/(x*x + y*y)
// https://www.wolframalpha.com/input/?i=d%28atan2%28x%2Cy%29%29%2Fdx
// the derivative of atan2 with respect to y is -x/(x*x + y*y)
// https://www.wolframalpha.com/input/?i=d%28atan2%28x%2Cy%29%29%2Fdy
let z = x.binary(&y,
    |x, y| x.atan2(y),
    |x, y| y/((x*x) + (y*y)),
    |x, y| -x/((x*x) + (y*y))
);

Trait Implementations

impl<T: Numeric + Primitive, '_, '_> Add<&'_ T> for &'_ Trace<T> where
    &'a T: NumericRef<T>, 
[src]

Addition for a trace and a constant of the same type with both referenced.

type Output = Trace<T>

The resulting type after applying the + operator.

impl<T: Numeric + Primitive, '_> Add<&'_ T> for Trace<T> where
    &'a T: NumericRef<T>, 
[src]

Operation for a trace and a constant of the same type with the right referenced.

type Output = Trace<T>

The resulting type after applying the + operator.

impl<T: Numeric + Primitive, '_> Add<&'_ Trace<T>> for Trace<T> where
    &'a T: NumericRef<T>, 
[src]

Operation for two traces of the same type with the right referenced.

type Output = Trace<T>

The resulting type after applying the + operator.

impl<'l, 'r, T: Numeric + Primitive> Add<&'r Trace<T>> for &'l Trace<T> where
    &'a T: NumericRef<T>, 
[src]

Addition for two traces of the same type with both referenced.

type Output = Trace<T>

The resulting type after applying the + operator.

impl<T: Numeric + Primitive> Add<T> for Trace<T> where
    &'a T: NumericRef<T>, 
[src]

Operation for a trace and a constant of the same type.

type Output = Trace<T>

The resulting type after applying the + operator.

impl<T: Numeric + Primitive, '_> Add<T> for &'_ Trace<T> where
    &'a T: NumericRef<T>, 
[src]

Operation for a trace and a constant of the same type with the left referenced.

type Output = Trace<T>

The resulting type after applying the + operator.

impl<T: Numeric + Primitive> Add<Trace<T>> for Trace<T> where
    &'a T: NumericRef<T>, 
[src]

Operation for two traces of the same type.

type Output = Trace<T>

The resulting type after applying the + operator.

impl<T: Numeric + Primitive, '_> Add<Trace<T>> for &'_ Trace<T> where
    &'a T: NumericRef<T>, 
[src]

Operation for two traces of the same type with the left referenced.

type Output = Trace<T>

The resulting type after applying the + operator.

impl<T: Clone + Primitive> Clone for Trace<T>[src]

Any trace of a Cloneable type implements clone

impl<T: Copy + Primitive> Copy for Trace<T>[src]

Any trace of a Copy type implements Copy

impl<T: Numeric + Real + Primitive, '_> Cos for &'_ Trace<T> where
    &'a T: NumericRef<T> + RealRef<T>, 
[src]

Cosine of a Trace by reference.

type Output = Trace<T>

impl<T: Numeric + Real + Primitive> Cos for Trace<T> where
    &'a T: NumericRef<T> + RealRef<T>, 
[src]

Operation for a trace by value.

type Output = Trace<T>

impl<T: Debug + Primitive> Debug for Trace<T>[src]

impl<T: Display + Primitive> Display for Trace<T>[src]

A trace is displayed by showing its number component.

impl<T: Numeric + Primitive, '_, '_> Div<&'_ T> for &'_ Trace<T> where
    &'a T: NumericRef<T>, 
[src]

Dvision for a trace and a constant of the same type with both referenced.

type Output = Trace<T>

The resulting type after applying the / operator.

impl<T: Numeric + Primitive, '_> Div<&'_ T> for Trace<T> where
    &'a T: NumericRef<T>, 
[src]

Operation for a trace and a constant of the same type with the right referenced.

type Output = Trace<T>

The resulting type after applying the / operator.

impl<T: Numeric + Primitive, '_> Div<&'_ Trace<T>> for Trace<T> where
    &'a T: NumericRef<T>, 
[src]

Operation for two traces of the same type with the right referenced.

type Output = Trace<T>

The resulting type after applying the / operator.

impl<'l, 'r, T: Numeric + Primitive> Div<&'r Trace<T>> for &'l Trace<T> where
    &'a T: NumericRef<T>, 
[src]

Division for two referenced traces of the same type.

type Output = Trace<T>

The resulting type after applying the / operator.

impl<T: Numeric + Primitive> Div<T> for Trace<T> where
    &'a T: NumericRef<T>, 
[src]

Operation for a trace and a constant of the same type.

type Output = Trace<T>

The resulting type after applying the / operator.

impl<T: Numeric + Primitive, '_> Div<T> for &'_ Trace<T> where
    &'a T: NumericRef<T>, 
[src]

Operation for a trace and a constant of the same type with the left referenced.

type Output = Trace<T>

The resulting type after applying the / operator.

impl<T: Numeric + Primitive> Div<Trace<T>> for Trace<T> where
    &'a T: NumericRef<T>, 
[src]

Operation for two traces of the same type.

type Output = Trace<T>

The resulting type after applying the / operator.

impl<T: Numeric + Primitive, '_> Div<Trace<T>> for &'_ Trace<T> where
    &'a T: NumericRef<T>, 
[src]

Operation for two traces of the same type with the left referenced.

type Output = Trace<T>

The resulting type after applying the / operator.

impl<T: Numeric + Real + Primitive, '_> Exp for &'_ Trace<T> where
    &'a T: NumericRef<T> + RealRef<T>, 
[src]

Exponential, ie ex of a Trace by reference.

type Output = Trace<T>

impl<T: Numeric + Real + Primitive> Exp for Trace<T> where
    &'a T: NumericRef<T> + RealRef<T>, 
[src]

Operation for a trace by value.

type Output = Trace<T>

impl<T: Numeric + Primitive> FromUsize for Trace<T>[src]

impl<T: Numeric + Real + Primitive, '_> Ln for &'_ Trace<T> where
    &'a T: NumericRef<T> + RealRef<T>, 
[src]

Natural logarithm, ie ln(x) of a Trace by reference.

type Output = Trace<T>

impl<T: Numeric + Real + Primitive> Ln for Trace<T> where
    &'a T: NumericRef<T> + RealRef<T>, 
[src]

Operation for a trace by value.

type Output = Trace<T>

impl<T: Numeric + Primitive, '_, '_> Mul<&'_ T> for &'_ Trace<T> where
    &'a T: NumericRef<T>, 
[src]

Multiplication for a trace and a constant of the same type with both referenced.

type Output = Trace<T>

The resulting type after applying the * operator.

impl<T: Numeric + Primitive, '_> Mul<&'_ T> for Trace<T> where
    &'a T: NumericRef<T>, 
[src]

Operation for a trace and a constant of the same type with the right referenced.

type Output = Trace<T>

The resulting type after applying the * operator.

impl<T: Numeric + Primitive, '_> Mul<&'_ Trace<T>> for Trace<T> where
    &'a T: NumericRef<T>, 
[src]

Operation for two traces of the same type with the right referenced.

type Output = Trace<T>

The resulting type after applying the * operator.

impl<'l, 'r, T: Numeric + Primitive> Mul<&'r Trace<T>> for &'l Trace<T> where
    &'a T: NumericRef<T>, 
[src]

Multiplication for two referenced traces of the same type.

type Output = Trace<T>

The resulting type after applying the * operator.

impl<T: Numeric + Primitive> Mul<T> for Trace<T> where
    &'a T: NumericRef<T>, 
[src]

Operation for a trace and a constant of the same type.

type Output = Trace<T>

The resulting type after applying the * operator.

impl<T: Numeric + Primitive, '_> Mul<T> for &'_ Trace<T> where
    &'a T: NumericRef<T>, 
[src]

Operation for a trace and a constant of the same type with the left referenced.

type Output = Trace<T>

The resulting type after applying the * operator.

impl<T: Numeric + Primitive> Mul<Trace<T>> for Trace<T> where
    &'a T: NumericRef<T>, 
[src]

Operation for two traces of the same type.

type Output = Trace<T>

The resulting type after applying the * operator.

impl<T: Numeric + Primitive, '_> Mul<Trace<T>> for &'_ Trace<T> where
    &'a T: NumericRef<T>, 
[src]

Operation for two traces of the same type with the left referenced.

type Output = Trace<T>

The resulting type after applying the * operator.

impl<T: Numeric + Primitive, '_> Neg for &'_ Trace<T> where
    &'a T: NumericRef<T>, 
[src]

Negation for a referenced Trace of some type.

type Output = Trace<T>

The resulting type after applying the - operator.

impl<T: Numeric + Primitive> Neg for Trace<T> where
    &'a T: NumericRef<T>, 
[src]

Negation for a Trace by value of some type.

type Output = Trace<T>

The resulting type after applying the - operator.

impl<T: PartialEq + Primitive> PartialEq<Trace<T>> for Trace<T>[src]

Any trace of a PartialEq type implements PartialEq

Note that as a Trace is intended to be substitutable with its type T only the number parts of the trace are compared. Hence the following is true

use easy_ml::differentiation::Trace;
assert_eq!(Trace { number: 0, derivative: 1 }, Trace { number: 0, derivative: 2 })

impl<T: PartialOrd + Primitive> PartialOrd<Trace<T>> for Trace<T>[src]

Any trace of a PartialOrd type implements PartialOrd

Note that as a Trace is intended to be substitutable with its type T only the number parts of the trace are compared. Hence the following is true

use easy_ml::differentiation::Trace;
assert!(Trace { number: 1, derivative: 1 } > Trace { number: 0, derivative: 2 })

impl<T: Numeric + Real + Primitive> Pi for Trace<T>[src]

impl<T: Numeric + Real + Primitive, '_, '_> Pow<&'_ T> for &'_ Trace<T> where
    &'a T: NumericRef<T> + RealRef<T>, 
[src]

Power of a trace to a constant of the same type with both referenced.

type Output = Trace<T>

impl<T: Numeric + Real + Primitive, '_> Pow<&'_ T> for Trace<T> where
    &'a T: NumericRef<T> + RealRef<T>, 
[src]

Operation for a trace and a constant of the same type with the right referenced.

type Output = Trace<T>

impl<T: Numeric + Real + Primitive, '_> Pow<&'_ Trace<T>> for Trace<T> where
    &'a T: NumericRef<T> + RealRef<T>, 
[src]

Operation for two traces of the same type with the right referenced.

type Output = Trace<T>

impl<T: Numeric + Real + Primitive, '_, '_> Pow<&'_ Trace<T>> for &'_ T where
    &'a T: NumericRef<T> + RealRef<T>, 
[src]

Power of a constant to a trace of the same type with both referenced.

type Output = Trace<T>

impl<T: Numeric + Real + Primitive, '_> Pow<&'_ Trace<T>> for T where
    &'a T: NumericRef<T> + RealRef<T>, 
[src]

Operation for a trace and a constant of the same type with the right referenced.

type Output = Trace<T>

impl<'l, 'r, T: Numeric + Real + Primitive> Pow<&'r Trace<T>> for &'l Trace<T> where
    &'a T: NumericRef<T> + RealRef<T>, 
[src]

Power of one Trace to another, ie self^rhs for two traces of the same type with both referenced.

type Output = Trace<T>

impl<T: Numeric + Real + Primitive> Pow<T> for Trace<T> where
    &'a T: NumericRef<T> + RealRef<T>, 
[src]

Operation for a trace and a constant of the same type.

type Output = Trace<T>

impl<T: Numeric + Real + Primitive, '_> Pow<T> for &'_ Trace<T> where
    &'a T: NumericRef<T> + RealRef<T>, 
[src]

Operation for a trace and a constant of the same type with the left referenced.

type Output = Trace<T>

impl<T: Numeric + Real + Primitive> Pow<Trace<T>> for Trace<T> where
    &'a T: NumericRef<T> + RealRef<T>, 
[src]

Operation for two traces of the same type.

type Output = Trace<T>

impl<T: Numeric + Real + Primitive, '_> Pow<Trace<T>> for &'_ Trace<T> where
    &'a T: NumericRef<T> + RealRef<T>, 
[src]

Operation for two traces of the same type with the left referenced.

type Output = Trace<T>

impl<T: Numeric + Real + Primitive> Pow<Trace<T>> for T where
    &'a T: NumericRef<T> + RealRef<T>, 
[src]

Operation for a trace and a constant of the same type.

type Output = Trace<T>

impl<T: Numeric + Real + Primitive, '_> Pow<Trace<T>> for &'_ T where
    &'a T: NumericRef<T> + RealRef<T>, 
[src]

Operation for a trace and a constant of the same type with the left referenced.

type Output = Trace<T>

impl<T: Numeric + Real + Primitive, '_> Sin for &'_ Trace<T> where
    &'a T: NumericRef<T> + RealRef<T>, 
[src]

Sine of a Trace by reference.

type Output = Trace<T>

impl<T: Numeric + Real + Primitive> Sin for Trace<T> where
    &'a T: NumericRef<T> + RealRef<T>, 
[src]

Operation for a trace by value.

type Output = Trace<T>

impl<T: Numeric + Real + Primitive, '_> Sqrt for &'_ Trace<T> where
    &'a T: NumericRef<T> + RealRef<T>, 
[src]

Square root of a Trace by reference.

type Output = Trace<T>

impl<T: Numeric + Real + Primitive> Sqrt for Trace<T> where
    &'a T: NumericRef<T> + RealRef<T>, 
[src]

Operation for a trace by value.

type Output = Trace<T>

impl<T: Numeric + Primitive, '_, '_> Sub<&'_ T> for &'_ Trace<T> where
    &'a T: NumericRef<T>, 
[src]

Subtraction for a trace and a constant of the same type with both referenced.

type Output = Trace<T>

The resulting type after applying the - operator.

impl<T: Numeric + Primitive, '_> Sub<&'_ T> for Trace<T> where
    &'a T: NumericRef<T>, 
[src]

Operation for a trace and a constant of the same type with the right referenced.

type Output = Trace<T>

The resulting type after applying the - operator.

impl<T: Numeric + Primitive, '_> Sub<&'_ Trace<T>> for Trace<T> where
    &'a T: NumericRef<T>, 
[src]

Operation for two traces of the same type with the right referenced.

type Output = Trace<T>

The resulting type after applying the - operator.

impl<'l, 'r, T: Numeric + Primitive> Sub<&'r Trace<T>> for &'l Trace<T> where
    &'a T: NumericRef<T>, 
[src]

Subtraction for two referenced traces of the same type.

type Output = Trace<T>

The resulting type after applying the - operator.

impl<T: Numeric + Primitive> Sub<T> for Trace<T> where
    &'a T: NumericRef<T>, 
[src]

Operation for a trace and a constant of the same type.

type Output = Trace<T>

The resulting type after applying the - operator.

impl<T: Numeric + Primitive, '_> Sub<T> for &'_ Trace<T> where
    &'a T: NumericRef<T>, 
[src]

Operation for a trace and a constant of the same type with the left referenced.

type Output = Trace<T>

The resulting type after applying the - operator.

impl<T: Numeric + Primitive> Sub<Trace<T>> for Trace<T> where
    &'a T: NumericRef<T>, 
[src]

Operation for two traces of the same type.

type Output = Trace<T>

The resulting type after applying the - operator.

impl<T: Numeric + Primitive, '_> Sub<Trace<T>> for &'_ Trace<T> where
    &'a T: NumericRef<T>, 
[src]

Operation for two traces of the same type with the left referenced.

type Output = Trace<T>

The resulting type after applying the - operator.

impl<T: Numeric + Primitive> Sum<Trace<T>> for Trace<T>[src]

Any trace of a Numeric type implements Sum, which is the same as adding a bunch of Trace types together.

impl<T: Numeric + Primitive> ZeroOne for Trace<T>[src]

Auto Trait Implementations

impl<T> RefUnwindSafe for Trace<T> where
    T: RefUnwindSafe

impl<T> Send for Trace<T> where
    T: Send

impl<T> Sync for Trace<T> where
    T: Sync

impl<T> Unpin for Trace<T> where
    T: Unpin

impl<T> UnwindSafe for Trace<T> where
    T: UnwindSafe

Blanket Implementations

impl<T> Any for T where
    T: 'static + ?Sized
[src]

impl<T> Borrow<T> for T where
    T: ?Sized
[src]

impl<T> BorrowMut<T> for T where
    T: ?Sized
[src]

impl<T> From<T> for T[src]

impl<T, U> Into<U> for T where
    U: From<T>, 
[src]

impl<T> Numeric for T where
    T: NumericByValue<T, T> + for<'a> NumericByValue<&'a T, T> + Clone + ZeroOne + FromUsize + Sum<T> + PartialOrd<T>, 
[src]

impl<T, Rhs, Output> NumericByValue<Rhs, Output> for T where
    T: Add<Rhs, Output = Output> + Sub<Rhs, Output = Output> + Mul<Rhs, Output = Output> + Div<Rhs, Output = Output> + Neg<Output = Output>, 
[src]

impl<RefT, T> NumericRef<T> for RefT where
    RefT: NumericByValue<T, T> + for<'a> NumericByValue<&'a T, T>, 
[src]

impl<'a, '_, T> Pow<&'_ Record<'a, T>> for T where
    T: Numeric + Real + Primitive,
    &'t T: for<'t> NumericRef<T>,
    &'t T: for<'t> RealRef<T>, 
[src]

type Output = Record<'a, T>

impl<'_, T> Pow<&'_ Trace<T>> for T where
    T: Numeric + Real + Primitive,
    &'a T: for<'a> NumericRef<T>,
    &'a T: for<'a> RealRef<T>, 
[src]

type Output = Trace<T>

impl<'_, T> Pow<&'_ Trace<T>> for T where
    T: Numeric + Real + Primitive,
    &'a T: for<'a> NumericRef<T>,
    &'a T: for<'a> RealRef<T>, 
[src]

type Output = Trace<T>

impl<'_, T> Pow<&'_ Trace<T>> for T where
    T: Numeric + Real + Primitive,
    &'a T: for<'a> NumericRef<T>,
    &'a T: for<'a> RealRef<T>, 
[src]

type Output = Trace<T>

impl<'_, T> Pow<&'_ Trace<T>> for T where
    T: Numeric + Real + Primitive,
    &'a T: for<'a> NumericRef<T>,
    &'a T: for<'a> RealRef<T>, 
[src]

type Output = Trace<T>

impl<'a, T> Pow<Record<'a, T>> for T where
    T: Numeric + Real + Primitive,
    &'t T: for<'t> NumericRef<T>,
    &'t T: for<'t> RealRef<T>, 
[src]

type Output = Record<'a, T>

impl<T> Pow<Trace<T>> for T where
    T: Numeric + Real + Primitive,
    &'a T: for<'a> NumericRef<T>,
    &'a T: for<'a> RealRef<T>, 
[src]

type Output = Trace<T>

impl<T> Pow<Trace<T>> for T where
    T: Numeric + Real + Primitive,
    &'a T: for<'a> NumericRef<T>,
    &'a T: for<'a> RealRef<T>, 
[src]

type Output = Trace<T>

impl<T> Pow<Trace<T>> for T where
    T: Numeric + Real + Primitive,
    &'a T: for<'a> NumericRef<T>,
    &'a T: for<'a> RealRef<T>, 
[src]

type Output = Trace<T>

impl<T> Pow<Trace<T>> for T where
    T: Numeric + Real + Primitive,
    &'a T: for<'a> NumericRef<T>,
    &'a T: for<'a> RealRef<T>, 
[src]

type Output = Trace<T>

impl<T> Real for T where
    T: RealByValue<T, T> + for<'a> RealByValue<&'a T, T> + Pi
[src]

impl<T, Rhs, Output> RealByValue<Rhs, Output> for T where
    T: Pow<Rhs, Output = Output> + Ln<Output = Output> + Sqrt<Output = Output> + Sin<Output = Output> + Cos<Output = Output> + Exp<Output = Output>, 
[src]

impl<RefT, T> RealRef<T> for RefT where
    RefT: RealByValue<T, T> + for<'a> RealByValue<&'a T, T>, 
[src]

impl<T> ToOwned for T where
    T: Clone
[src]

type Owned = T

The resulting type after obtaining ownership.

impl<T> ToString for T where
    T: Display + ?Sized
[src]

impl<T, U> TryFrom<U> for T where
    U: Into<T>, 
[src]

type Error = Infallible

The type returned in the event of a conversion error.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, 
[src]

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.