comparison: src/direct_product.rs
src/direct_product.rs
- branch
- dev
- changeset 124
- 6aa955ad8122
- parent 121
- fc7d923ff6e7
- child 129
- d2994e34a5f5
equal
deleted
inserted
replaced
| 122:495448cca603 | 124:6aa955ad8122 |
|---|---|
| 509 ) -> <PairDecomposition<D, Q> as DecompositionMut<Pair<A, B>>>::ReferenceMut<'_> { | 509 ) -> <PairDecomposition<D, Q> as DecompositionMut<Pair<A, B>>>::ReferenceMut<'_> { |
| 510 Pair(self.0.ref_instance_mut(), self.1.ref_instance_mut()) | 510 Pair(self.0.ref_instance_mut(), self.1.ref_instance_mut()) |
| 511 } | 511 } |
| 512 } | 512 } |
| 513 | 513 |
| 514 impl<F, A, B, ExpA, ExpB, ExpJ> Norm<F, PairNorm<ExpA, ExpB, ExpJ>> for Pair<A, B> | 514 impl<F, A, B, ExpA, ExpB, ExpJ> Norm<PairNorm<ExpA, ExpB, ExpJ>, F> for Pair<A, B> |
| 515 where | 515 where |
| 516 F: Num, | 516 F: Num, |
| 517 ExpA: NormExponent, | 517 ExpA: NormExponent, |
| 518 ExpB: NormExponent, | 518 ExpB: NormExponent, |
| 519 ExpJ: NormExponent, | 519 ExpJ: NormExponent, |
| 520 A: Norm<F, ExpA>, | 520 A: Norm<ExpA, F>, |
| 521 B: Norm<F, ExpB>, | 521 B: Norm<ExpB, F>, |
| 522 Loc<F, 2>: Norm<F, ExpJ>, | 522 Loc<2, F>: Norm<ExpJ, F>, |
| 523 { | 523 { |
| 524 fn norm(&self, PairNorm(expa, expb, expj): PairNorm<ExpA, ExpB, ExpJ>) -> F { | 524 fn norm(&self, PairNorm(expa, expb, expj): PairNorm<ExpA, ExpB, ExpJ>) -> F { |
| 525 Loc([self.0.norm(expa), self.1.norm(expb)]).norm(expj) | 525 Loc([self.0.norm(expa), self.1.norm(expb)]).norm(expj) |
| 526 } | 526 } |
| 527 } | 527 } |
