eqiora.diff
Accepted implicit differentiation over exact Eqiora programs.
Module authority: bindings/python/python/eqiora/diff.py
Shipped stub: bindings/python/python/eqiora/diff.pyi
This module publishes 12 literal __all__ spellings. Member entries below are exact signatures under documented owning types; they do not imply member-level behavioral prose.
DerivativeImplementation
Section titled “DerivativeImplementation”Canonical re-export. This spelling resolves to eqiora.DerivativeImplementation.
Source of the derivative action used by an occurrence.
Authority: crates/eqiora-python/src/differentiation.rs::PyDerivativeImplementation
DifferentiableEvaluation
Section titled “DifferentiableEvaluation”Canonical re-export. This spelling resolves to eqiora.DifferentiableEvaluation.
Immutable accepted evaluation at one numerical parameter point.
Authority: crates/eqiora-python/src/differentiation.rs::PyDifferentiableEvaluation
DifferentiableJvp
Section titled “DifferentiableJvp”Canonical re-export. This spelling resolves to eqiora.DifferentiableJvp.
Accepted primary field and its forward tangent.
Authority: crates/eqiora-python/src/differentiation.rs::PyDifferentiableJvp
DifferentiablePrimal
Section titled “DifferentiablePrimal”Canonical re-export. This spelling resolves to eqiora.DifferentiablePrimal.
Accepted complete primary field from a primal evaluation.
Authority: crates/eqiora-python/src/differentiation.rs::PyDifferentiablePrimal
DifferentiableProgram
Section titled “DifferentiableProgram”Canonical re-export. This spelling resolves to eqiora.DifferentiableProgram.
Immutable program over one fixed input-coordinate set.
Authority: crates/eqiora-python/src/differentiation.rs::PyDifferentiableProgram
DifferentiableVjp
Section titled “DifferentiableVjp”Canonical re-export. This spelling resolves to eqiora.DifferentiableVjp.
Accepted primary field and its reverse input cotangent.
Authority: crates/eqiora-python/src/differentiation.rs::PyDifferentiableVjp
DifferentiationEvidence
Section titled “DifferentiationEvidence”Canonical re-export. This spelling resolves to eqiora.DifferentiationEvidence.
Typed in-memory provenance for one differentiation occurrence.
Authority: crates/eqiora-python/src/differentiation.rs::PyDifferentiationEvidence
DifferentiationMode
Section titled “DifferentiationMode”Canonical re-export. This spelling resolves to eqiora.DifferentiationMode.
Primal, JVP, or VJP occurrence kind.
Authority: crates/eqiora-python/src/differentiation.rs::PyDifferentiationMode
FieldRef
Section titled “FieldRef”Canonical re-export. This spelling resolves to eqiora.FieldRef.
Exact canonical field selected from one immutable model.
Authority: crates/eqiora-python/src/model.rs::PyModelFieldRef
LinearizationState
Section titled “LinearizationState”Canonical re-export. This spelling resolves to eqiora.LinearizationState.
Whether an accepted linearization was established or reused.
Authority: crates/eqiora-python/src/differentiation.rs::PyLinearizationState
ParameterRef
Section titled “ParameterRef”Canonical re-export. This spelling resolves to eqiora.ParameterRef.
Exact canonical parameter selected from one immutable model.
Authority: crates/eqiora-python/src/model.rs::PyModelParameterRef
compile
Section titled “compile”Compile a program over an ordered parameter-coordinate set.
Authority: bindings/python/python/eqiora/diff.py::compile
def compile(model: Model, realization: Realization, *, inputs: Sequence[ParameterRef], output: FieldRef) -> DifferentiableProgram: ...