diff -r b4a47e8e80d1 -r fd9dba51afd3 src/nalgebra_support.rs
--- a/src/nalgebra_support.rs	Wed Sep 03 09:52:30 2025 -0500
+++ b/src/nalgebra_support.rs	Wed Sep 03 10:08:28 2025 -0500
@@ -95,7 +95,7 @@
     DefaultAllocator: Allocator<N, M>,
     ShapeConstraint: StridesOk<E, N, M, SM> + StridesOk<E, N, M>,
 {
-    type OwnedSpace = OMatrix<E, N, M>;
+    type Principal = OMatrix<E, N, M>;
     type Decomp = MatrixDecomposition;
 }
 
@@ -270,10 +270,10 @@
     ShapeConstraint: StridesOk<E, M, N, S>,
 {
     type Field = E;
-    type Owned = OMatrix<E, M, N>;
+    type PrincipalV = OMatrix<E, M, N>;
 
     #[inline]
-    fn similar_origin(&self) -> Self::Owned {
+    fn similar_origin(&self) -> Self::PrincipalV {
         let (n, m) = self.shape_generic();
         OMatrix::zeros_generic(n, m)
     }
@@ -335,7 +335,7 @@
     ShapeConstraint: StridesOk<E, M, U1, SM>,
 {
     #[inline]
-    fn proj_ball(self, ρ: E, exp: Linfinity) -> <Self as Space>::OwnedSpace {
+    fn proj_ball(self, ρ: E, exp: Linfinity) -> <Self as Space>::Principal {
         let mut owned = self.into_owned();
         owned.proj_ball_mut(ρ, exp);
         owned
@@ -418,7 +418,7 @@
     DefaultAllocator: Allocator<M>,
     ShapeConstraint: StridesOk<E, M, U1, S>,
 {
-    type OwnedEuclidean = OVector<E, M>;
+    type PrincipalE = OVector<E, M>;
 
     #[inline]
     fn dot<I: Instance<Self>>(&self, other: I) -> E {