Mercurial > repos > alg_tools / file diff

--- a/src/norms.rs	Tue Dec 31 08:48:50 2024 -0500
+++ b/src/norms.rs	Mon Dec 23 23:27:45 2024 -0500
@@ -6,7 +6,7 @@
 use std::marker::PhantomData;
 use crate::types::*;
 use crate::euclidean::*;
-use crate::mapping::{Mapping, Space, Instance};
+use crate::mapping::{Mapping, Space, Instance, ArithmeticTrue};
 
 //
 // Abstract norms
@@ -195,6 +195,7 @@
     Domain : Space + Norm<F, E>,
 {
     type Codomain = F;
+    type ArithmeticOptIn = ArithmeticTrue;
 
     #[inline]
     fn apply<I : Instance<Domain>>(&self, x : I) -> F {