Mercurial > repos > alg_tools / file diff

--- a/src/direct_product.rs	Thu May 01 08:40:33 2025 -0500
+++ b/src/direct_product.rs	Thu May 01 13:06:58 2025 -0500
@@ -511,15 +511,15 @@
     }
 }
 
-impl<F, A, B, ExpA, ExpB, ExpJ> Norm<F, PairNorm<ExpA, ExpB, ExpJ>> for Pair<A, B>
+impl<F, A, B, ExpA, ExpB, ExpJ> Norm<PairNorm<ExpA, ExpB, ExpJ>, F> for Pair<A, B>
 where
     F: Num,
     ExpA: NormExponent,
     ExpB: NormExponent,
     ExpJ: NormExponent,
-    A: Norm<F, ExpA>,
-    B: Norm<F, ExpB>,
-    Loc<F, 2>: Norm<F, ExpJ>,
+    A: Norm<ExpA, F>,
+    B: Norm<ExpB, F>,
+    Loc<2, F>: Norm<ExpJ, F>,
 {
     fn norm(&self, PairNorm(expa, expb, expj): PairNorm<ExpA, ExpB, ExpJ>) -> F {
         Loc([self.0.norm(expa), self.1.norm(expb)]).norm(expj)