Mercurial > repos > alg_tools / file diff

--- a/src/linops.rs	Wed Sep 03 09:16:03 2025 -0500
+++ b/src/linops.rs	Wed Sep 03 09:52:30 2025 -0500
@@ -919,10 +919,11 @@
 impl<Domain, F> Mapping<Domain> for Scaled<F>
 where
     F: Float,
-    Domain: Space + Mul<F>,
-    <Domain as Mul<F>>::Output: ClosedSpace,
+    Domain: Space,
+    Domain::OwnedSpace: Mul<F>,
+    <Domain::OwnedSpace as Mul<F>>::Output: ClosedSpace,
 {
-    type Codomain = <Domain as Mul<F>>::Output;
+    type Codomain = <Domain::OwnedSpace as Mul<F>>::Output;
 
     /// Compute the value of `self` at `x`.
     fn apply<I: Instance<Domain>>(&self, x: I) -> Self::Codomain {
@@ -933,7 +934,8 @@
 impl<Domain, F> Linear<Domain> for Scaled<F>
 where
     F: Float,
-    Domain: Space + Mul<F>,
-    <Domain as Mul<F>>::Output: ClosedSpace,
+    Domain: Space,
+    Domain::OwnedSpace: Mul<F>,
+    <Domain::OwnedSpace as Mul<F>>::Output: ClosedSpace,
 {
 }