package fadbadml

  1. Overview
  2. Docs

Interface to library FADBADml

Basic types

module type OpS = sig ... end

Type of a module of operators

module type OrderedOpS = sig ... end

Type of a module of operators over ordered elements

Basic operators

module OpFloat : sig ... end

Operators over float elements

module OrderedFloat : sig ... end

Operators over float elements, including comparison operators

Forward Automatic Differentiation (FAD)

module F (T : OpS) : sig ... end

Construct a FAD-like module from a module of operators

module OrderedF (T : OrderedOpS) : sig ... end

Construct a FAD-like module from a module of operators over ordered elements

Backward Automatic Differentiation (BAD)

module B (T : OpS) : sig ... end

Construct a BAD-like module from a module of operators

module OrderedB (T : OrderedOpS) : sig ... end

Construct a BAD-like module from a module of operators over ordered elements

Automatic Taylor Expansion (TAD)

module T (T : OpS) : sig ... end

Construct a TAD-like module from a module of operators

Low level implementation

module Fadiff : sig ... end
module Badiff : sig ... end

Backward Automatic Differentiation (BAD)

module Tadiff : sig ... end

Automatic Taylor Expansion