Package hydra

Interface Differentiation

public interface Differentiation

Source-to-source automatic differentiation for Float64 terms.

Method Summary

Static Methods

Modifier and Type	Method	Description
static Term	differentiateBinary(Name bfname, Term a, Term b, Term da, Term db)	Differentiate a binary primitive application given both arguments and their derivatives
static Term	differentiateFunction(Term term)	Differentiate a function term (Float64 -> Float64) with respect to its parameter
static Term	differentiateTerm(Name dx, Term term)	Differentiate a term with respect to a named variable
static Term	gradient(Name typeName, java.util.List<Name> vars, Term term)	Compute the gradient of a term as a record of partial derivatives
static Optional<Term>	primitiveDerivative(Name name)	Look up the derivative of a unary Float64 primitive

Method Detail

differentiateBinary

static Term differentiateBinary(Name bfname,
                                Term a,
                                Term b,
                                Term da,
                                Term db)

Differentiate a binary primitive application given both arguments and their derivatives

differentiateFunction

static Term differentiateFunction(Term term)

Differentiate a function term (Float64 -> Float64) with respect to its parameter

differentiateTerm

static Term differentiateTerm(Name dx,
                              Term term)

Differentiate a term with respect to a named variable

gradient

static Term gradient(Name typeName,
                     java.util.List<Name> vars,
                     Term term)

Compute the gradient of a term as a record of partial derivatives

primitiveDerivative

static Optional<Term> primitiveDerivative(Name name)

Look up the derivative of a unary Float64 primitive