DerivCheck
Namespace: SymTensor
Functions and values
| Function or value | Description |
checkExpr (...)
Signature: device:IDevice -> maxDeviation:^T -> epsilon:^T -> varEnv:VarEnvT -> expr:ExprT -> unit
Type parameters: ^T |
Checks that symbolic and numeric derivatives of the given expression are close enough. The derivatives are evaluated at the location specified by the given VarEnv. |
checkExprTree (...)
Signature: device:IDevice -> maxDeviation:^T -> epsilon:^T -> varEnv:VarEnvT -> expr:ExprT -> unit
Type parameters: ^T |
Recursively checks that symbolic and numeric derivatives of all ops in the given expression are close enough. The derivatives are evaluated at the location specified by the given VarEnv. |
numDeriv f x
Signature: f:(Tensor<^T> -> Tensor<^T>) -> x:Tensor<^T> -> Tensor<^T>
Type parameters: ^T |
evaluates the Jacobian of f at x numerically |
numDerivEpsilon epsilon f x
Signature: epsilon:^T -> f:(Tensor<^T> -> Tensor<^T>) -> x:Tensor<^T> -> Tensor<^T>
Type parameters: ^T |
evaluates the Jacobian of f at x numerically with specified finite difference step |
