Luna-Flow/autodiff/dual does not have a README file
impl DivChecked for Dual[T]fn[T : DivChecked + Sub + Mul] div_checked(self : Dual[T], other : Dual[T], ctx : ArithmeticContext) -> Result[Dual[T], ArithmeticError]impl Exponential for Dual[T]fn[T : Exponential + Logarithmic + IntegralHomomorphism + Mul + NatHomomorphism] exp(self : Dual[T]) -> Dual[T]fn[T : Exponential + Logarithmic + IntegralHomomorphism + Mul + NatHomomorphism] exp2(self : Dual[T]) -> Dual[T]impl Logarithmic for Dual[T]fn[T : Logarithmic + IntegralHomomorphism + Mul + Div + NatHomomorphism] ln(self : Dual[T]) -> Dual[T]fn[T : Logarithmic + IntegralHomomorphism + Mul + Div + NatHomomorphism] log10(self : Dual[T]) -> Dual[T]fn[T : Logarithmic + IntegralHomomorphism + Mul + Div + NatHomomorphism] log2(self : Dual[T]) -> Dual[T]impl SqrtChecked for Dual[T]fn[T : SqrtChecked + DivChecked + IntegralHomomorphism + Mul + NatHomomorphism] sqrt_checked(self : Dual[T], ctx : ArithmeticContext) -> Result[Dual[T], ArithmeticError]impl Trigonometric for Dual[T]impl IntegralHomomorphism for Dual[T]impl NatHomomorphism for Dual[T]fn[T : Exponential + Logarithmic + IntegralHomomorphism + Mul + NatHomomorphism] Dual::exp2(self : Dual[T]) -> Dual[T]fn[T : Logarithmic + IntegralHomomorphism + Mul + Div + NatHomomorphism] Dual::log10(self : Dual[T]) -> Dual[T]fn[T : Logarithmic + IntegralHomomorphism + Mul + Div + NatHomomorphism] Dual::log2(self : Dual[T]) -> Dual[T]fn[T : Sqrt + IntegralHomomorphism + Mul + Div + NatHomomorphism] Dual::sqrt(self : Dual[T]) -> Dual[T]fn[T : SqrtChecked + DivChecked + IntegralHomomorphism + Mul + NatHomomorphism] Dual::sqrt_checked(self : Dual[T], ctx : ArithmeticContext) -> Result[Dual[T], ArithmeticError]Forward-mode automatic differentiation over Luna Flow algebraic and arithmetic structures.
Dependencies