diff -r 724413fc8d17 -r ec5a811eab09 src/nalgebra_support.rs
--- a/src/nalgebra_support.rs	Fri Sep 05 00:56:59 2025 -0500
+++ b/src/nalgebra_support.rs	Fri Sep 05 01:02:53 2025 -0500
@@ -294,7 +294,7 @@
     M: Dim,
     K: Dim,
     E: Scalar + Zero + One + Copy + ClosedMulAssign + ClosedAddAssign,
-    DefaultAllocator: Allocator<N, K> + Allocator<M, K> + Allocator<N, M>,
+    DefaultAllocator: Allocator<M, K> + Allocator<N, K>,
     ShapeConstraint: StridesOk<E, M, K> + StridesOk<E, N, K>,
 {
     type Codomain = OMatrix<E, N, K>;
@@ -312,7 +312,7 @@
     M: Dim,
     K: Dim,
     E: Scalar + Zero + One + Copy + ClosedMulAssign + ClosedAddAssign,
-    DefaultAllocator: Allocator<N, K> + Allocator<M, K> + Allocator<N, M>,
+    DefaultAllocator: Allocator<N, K> + Allocator<M, K>,
     ShapeConstraint: StridesOk<E, M, K> + StridesOk<E, N, K>,
 {
 }
@@ -325,7 +325,7 @@
     M: Dim,
     K: Dim,
     E: Scalar + Zero + One + Float,
-    DefaultAllocator: Allocator<N, K> + Allocator<M, K> + Allocator<N, M>,
+    DefaultAllocator: Allocator<N, K> + Allocator<M, K>,
     ShapeConstraint: StridesOk<E, M, K> + StridesOk<E, N, K>,
 {
     #[inline]
@@ -446,7 +446,7 @@
     M: Dim,
     K: Dim,
     E: Scalar + Zero + One + Copy + SimdComplexField,
-    DefaultAllocator: Allocator<N, K> + Allocator<M, K> + Allocator<N, M> + Allocator<M, N>,
+    DefaultAllocator: Allocator<N, K> + Allocator<M, K> + Allocator<M, N>,
     ShapeConstraint: StridesOk<E, N, K> + StridesOk<E, M, K>,
 {
     type AdjointCodomain = OMatrix<E, M, K>;
@@ -570,7 +570,6 @@
     M: Dim,
     S: Storage<E, M>,
     E: Float + Scalar + Zero + One + RealField,
-    DefaultAllocator: Allocator<M>,
 {
     #[inline]
     fn norm(&self, _: L1) -> E {
@@ -598,7 +597,6 @@
     N: Dim,
     S: Storage<E, M, N>,
     E: Float + Scalar + Zero + One + RealField,
-    DefaultAllocator: Allocator<M, N>,
 {
     #[inline]
     fn norm(&self, _: L2) -> E {
@@ -627,7 +625,6 @@
     N: Dim,
     S: Storage<E, M, N>,
     E: Float + Scalar + Zero + One + RealField,
-    DefaultAllocator: Allocator<M, N>,
 {
     #[inline]
     fn norm(&self, _: Linfinity) -> E {