Mercurial > repos > alg_tools / file diff

--- a/src/norms.rs	Wed Sep 03 09:52:30 2025 -0500
+++ b/src/norms.rs	Wed Sep 03 10:08:28 2025 -0500
@@ -202,7 +202,7 @@
     F: Float,
     E: NormExponent,
     Domain: Space,
-    Domain::OwnedSpace: Norm<E, F>,
+    Domain::Principal: Norm<E, F>,
 {
     type Codomain = F;
 
@@ -232,18 +232,18 @@
 pub trait HasDual<F: Num = f64>: Normed<F> + VectorSpace<Field = F> {
     type DualSpace: Normed<F> + ClosedVectorSpace<Field = F>;
 
-    fn dual_origin(&self) -> <Self::DualSpace as VectorSpace>::Owned;
+    fn dual_origin(&self) -> <Self::DualSpace as VectorSpace>::PrincipalV;
 }
 
 /// Automatically implemented trait for reflexive spaces
 pub trait Reflexive<F: Num = f64>: HasDual<F>
 where
-    Self::DualSpace: HasDual<F, DualSpace = Self::OwnedSpace>,
+    Self::DualSpace: HasDual<F, DualSpace = Self::Principal>,
 {
 }
 
 impl<F: Num, X: HasDual<F>> Reflexive<F> for X where
-    X::DualSpace: HasDual<F, DualSpace = Self::OwnedSpace>
+    X::DualSpace: HasDual<F, DualSpace = Self::Principal>
 {
 }