Mercurial > repos > alg_tools / changeset

--- a/src/linops.rs	Mon Sep 08 19:22:13 2025 -0500
+++ b/src/linops.rs	Tue Sep 09 08:24:27 2025 -0500
@@ -7,7 +7,7 @@
 use crate::euclidean::StaticEuclidean;
 use crate::instance::Instance;
 pub use crate::mapping::{ClosedSpace, Composition, DifferentiableImpl, Mapping, Space};
-use crate::norms::{HasDual, Linfinity, Norm, NormExponent, PairNorm, L1, L2};
+use crate::norms::{HasDual, Linfinity, NormExponent, PairNorm, L1, L2};
 use crate::types::*;
 use numeric_literals::replace_float_literals;
 use serde::Serialize;
@@ -128,7 +128,7 @@
 pub trait BoundedLinear<X, XExp, CodExp, F = f64>: Linear<X>
 where
     F: Num,
-    X: Space + Norm<XExp, F>,
+    X: Space,
     XExp: NormExponent,
     CodExp: NormExponent,
 {
@@ -251,7 +251,7 @@
 
 impl<F, X, E> BoundedLinear<X, E, E, F> for IdOp<X>
 where
-    X: Space + Clone + Norm<E, F>,
+    X: Space + Clone,
     F: Num,
     E: NormExponent,
 {
@@ -327,7 +327,7 @@
 impl<X, F, E1, E2> BoundedLinear<X, E1, E2, F> for SimpleZeroOp
 where
     F: Num,
-    X: VectorSpace<Field = F> + Norm<E1, F>,
+    X: VectorSpace<Field = F>,
     E1: NormExponent,
     E2: NormExponent,
 {
@@ -506,7 +506,7 @@
 
 impl<X, Y, OY, O, F, E1, E2> BoundedLinear<X, E1, E2, F> for ZeroOp<X, Y, OY, O, F>
 where
-    X: Space + Instance<X> + Norm<E1, F>,
+    X: Space + Instance<X>,
     Y: VectorSpace<Field = F>,
     Y::PrincipalV: Clone,
     F: Float,
@@ -605,8 +605,8 @@
 impl<F, S, T, X, Z, Xexp, Yexp, Zexp> BoundedLinear<X, Xexp, Yexp, F> for Composition<S, T, Zexp>
 where
     F: Num,
-    X: Space + Norm<Xexp, F>,
-    Z: Space + Norm<Zexp, F>,
+    X: Space,
+    Z: Space,
     Xexp: NormExponent,
     Yexp: NormExponent,
     Zexp: NormExponent,
@@ -1004,8 +1004,8 @@
             BoundedLinear<Pair<A, B>, PairNorm<ExpA, ExpB, $expj>, ExpR, F> for RowOp<S, T>
         where
             F: Float,
-            A: Space + Norm<ExpA, F>,
-            B: Space + Norm<ExpB, F>,
+            A: Space,
+            B: Space,
             S: BoundedLinear<A, ExpA, ExpR, F>,
             T: BoundedLinear<B, ExpB, ExpR, F>,
             S::Codomain: Add<T::Codomain>,
@@ -1031,7 +1031,7 @@
             for ColOp<S, T>
         where
             F: Float,
-            A: Space + Norm<ExpA, F>,
+            A: Space,
             S: BoundedLinear<A, ExpA, ExpS, F>,
             T: BoundedLinear<A, ExpA, ExpT, F>,
             ExpA: NormExponent,