Struct Df64LinearizeRule 

pub struct Df64LinearizeRule;

Forward-mode rule for the contribution’s operations.

The total sum is linear, so its tangent output is the sum of the tangent inputs, and each conversion’s tangent passes through the same conversion.

Examples

use tenferro_ad::semantic_extension::{SemanticExtensionRuleSet, SemanticLinearizeRule};
use tenferro_df64_proof::ad::Df64LinearizeRule;

let rules = SemanticExtensionRuleSet::new()
    .with_linearize(std::sync::Arc::new(Df64LinearizeRule))
    .expect("one linearize rule per family");
assert!(rules.lookup_linearize("tenferro-df64-proof.df64_ops.v1").is_some());

Trait Implementations

impl Debug for Df64LinearizeRule

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl SemanticLinearizeRule for Df64LinearizeRule

fn family_id(&self) -> &'static str

Return the versioned extension family handled by this rule.

fn linearize( &self, request: SemanticLinearizeRequest<'_>, builder: &mut SemanticProgramBuilder, ) -> Result<SemanticLinearizeResult, SemanticAdError>

Emit ordered tangent outputs and residuals into builder.