--- a/src/operator_arithmetic.rs Tue Dec 31 08:48:50 2024 -0500 +++ b/src/operator_arithmetic.rs Mon Dec 23 23:27:45 2024 -0500 @@ -5,7 +5,7 @@ use serde::Serialize; use crate::types::*; use crate::instance::{Space, Instance}; -use crate::mapping::{Mapping, DifferentiableImpl, DifferentiableMapping}; +use crate::mapping::{Mapping, ArithmeticTrue, DifferentiableImpl, DifferentiableMapping}; /// A trait for encoding constant [`Float`] values pub trait Constant : Copy + Sync + Send + 'static + std::fmt::Debug + Into<Self::Type> { @@ -40,6 +40,7 @@ C : Constant<Type=F> { type Codomain = V; + type ArithmeticOptIn = ArithmeticTrue; #[inline] fn apply<I : Instance<D>>(&self, x : I) -> Self::Codomain {