diff -r c5f70e767511 -r f802ddbabcfc src/loc.rs
--- a/src/loc.rs	Tue Dec 31 08:48:50 2024 -0500
+++ b/src/loc.rs	Mon Dec 23 23:27:45 2024 -0500
@@ -12,7 +12,7 @@
 use crate::norms::*;
 use crate::linops::{AXPY, Mapping, Linear};
 use crate::instance::{Instance, BasicDecomposition};
-use crate::mapping::Space;
+use crate::mapping::{Space, ArithmeticFalse};
 use serde::ser::{Serialize, Serializer, SerializeSeq};
 
 
@@ -697,6 +697,7 @@
 
 impl<F : Float, const N : usize> Mapping<Loc<F, N>> for Loc<F, N> {
     type Codomain = F;
+    type ArithmeticOptIn = ArithmeticFalse;
 
     fn apply<I : Instance<Loc<F, N>>>(&self, x : I) -> Self::Codomain {
         x.eval(|x̃| self.dot(x̃))