pub trait Mul<Rhs = Self> {
type Output;
// Required method
fn mul(self, rhs: Rhs) -> Self::Output;
}Expand description
The multiplication operator *.
Note that Rhs is Self by default, but this is not mandatory.
§Examples
§Multipliable rational numbers
use std::ops::Mul;
// By the fundamental theorem of arithmetic, rational numbers in lowest
// terms are unique. So, by keeping `Rational`s in reduced form, we can
// derive `Eq` and `PartialEq`.
#[derive(Debug, Eq, PartialEq)]
struct Rational {
numerator: usize,
denominator: usize,
}
impl Rational {
fn new(numerator: usize, denominator: usize) -> Self {
if denominator == 0 {
panic!("Zero is an invalid denominator!");
}
// Reduce to lowest terms by dividing by the greatest common
// divisor.
let gcd = gcd(numerator, denominator);
Self {
numerator: numerator / gcd,
denominator: denominator / gcd,
}
}
}
impl Mul for Rational {
// The multiplication of rational numbers is a closed operation.
type Output = Self;
fn mul(self, rhs: Self) -> Self {
let numerator = self.numerator * rhs.numerator;
let denominator = self.denominator * rhs.denominator;
Self::new(numerator, denominator)
}
}
// Euclid's two-thousand-year-old algorithm for finding the greatest common
// divisor.
fn gcd(x: usize, y: usize) -> usize {
let mut x = x;
let mut y = y;
while y != 0 {
let t = y;
y = x % y;
x = t;
}
x
}
assert_eq!(Rational::new(1, 2), Rational::new(2, 4));
assert_eq!(Rational::new(2, 3) * Rational::new(3, 4),
Rational::new(1, 2));§Multiplying vectors by scalars as in linear algebra
use std::ops::Mul;
struct Scalar { value: usize }
#[derive(Debug, PartialEq)]
struct Vector { value: Vec<usize> }
impl Mul<Scalar> for Vector {
type Output = Self;
fn mul(self, rhs: Scalar) -> Self::Output {
Self { value: self.value.iter().map(|v| v * rhs.value).collect() }
}
}
let vector = Vector { value: vec![2, 4, 6] };
let scalar = Scalar { value: 3 };
assert_eq!(vector * scalar, Vector { value: vec![6, 12, 18] });Required Associated Types§
Required Methods§
Implementors§
1.74.0 · Source§impl Mul for Saturating<i8>
impl Mul for Saturating<i8>
type Output = Saturating<i8>
1.74.0 · Source§impl Mul for Saturating<i16>
impl Mul for Saturating<i16>
type Output = Saturating<i16>
1.74.0 · Source§impl Mul for Saturating<i32>
impl Mul for Saturating<i32>
type Output = Saturating<i32>
1.74.0 · Source§impl Mul for Saturating<i64>
impl Mul for Saturating<i64>
type Output = Saturating<i64>
1.74.0 · Source§impl Mul for Saturating<i128>
impl Mul for Saturating<i128>
type Output = Saturating<i128>
1.74.0 · Source§impl Mul for Saturating<isize>
impl Mul for Saturating<isize>
type Output = Saturating<isize>
1.74.0 · Source§impl Mul for Saturating<u8>
impl Mul for Saturating<u8>
type Output = Saturating<u8>
1.74.0 · Source§impl Mul for Saturating<u16>
impl Mul for Saturating<u16>
type Output = Saturating<u16>
1.74.0 · Source§impl Mul for Saturating<u32>
impl Mul for Saturating<u32>
type Output = Saturating<u32>
1.74.0 · Source§impl Mul for Saturating<u64>
impl Mul for Saturating<u64>
type Output = Saturating<u64>
1.74.0 · Source§impl Mul for Saturating<u128>
impl Mul for Saturating<u128>
type Output = Saturating<u128>
1.74.0 · Source§impl Mul for Saturating<usize>
impl Mul for Saturating<usize>
type Output = Saturating<usize>
1.74.0 · Source§impl Mul<&Saturating<i8>> for &Saturating<i8>
impl Mul<&Saturating<i8>> for &Saturating<i8>
1.74.0 · Source§impl Mul<&Saturating<i8>> for Saturating<i8>
impl Mul<&Saturating<i8>> for Saturating<i8>
1.74.0 · Source§impl Mul<&Saturating<i16>> for &Saturating<i16>
impl Mul<&Saturating<i16>> for &Saturating<i16>
1.74.0 · Source§impl Mul<&Saturating<i16>> for Saturating<i16>
impl Mul<&Saturating<i16>> for Saturating<i16>
1.74.0 · Source§impl Mul<&Saturating<i32>> for &Saturating<i32>
impl Mul<&Saturating<i32>> for &Saturating<i32>
1.74.0 · Source§impl Mul<&Saturating<i32>> for Saturating<i32>
impl Mul<&Saturating<i32>> for Saturating<i32>
1.74.0 · Source§impl Mul<&Saturating<i64>> for &Saturating<i64>
impl Mul<&Saturating<i64>> for &Saturating<i64>
1.74.0 · Source§impl Mul<&Saturating<i64>> for Saturating<i64>
impl Mul<&Saturating<i64>> for Saturating<i64>
1.74.0 · Source§impl Mul<&Saturating<i128>> for &Saturating<i128>
impl Mul<&Saturating<i128>> for &Saturating<i128>
1.74.0 · Source§impl Mul<&Saturating<i128>> for Saturating<i128>
impl Mul<&Saturating<i128>> for Saturating<i128>
1.74.0 · Source§impl Mul<&Saturating<isize>> for &Saturating<isize>
impl Mul<&Saturating<isize>> for &Saturating<isize>
1.74.0 · Source§impl Mul<&Saturating<isize>> for Saturating<isize>
impl Mul<&Saturating<isize>> for Saturating<isize>
1.74.0 · Source§impl Mul<&Saturating<u8>> for &Saturating<u8>
impl Mul<&Saturating<u8>> for &Saturating<u8>
1.74.0 · Source§impl Mul<&Saturating<u8>> for Saturating<u8>
impl Mul<&Saturating<u8>> for Saturating<u8>
1.74.0 · Source§impl Mul<&Saturating<u16>> for &Saturating<u16>
impl Mul<&Saturating<u16>> for &Saturating<u16>
1.74.0 · Source§impl Mul<&Saturating<u16>> for Saturating<u16>
impl Mul<&Saturating<u16>> for Saturating<u16>
1.74.0 · Source§impl Mul<&Saturating<u32>> for &Saturating<u32>
impl Mul<&Saturating<u32>> for &Saturating<u32>
1.74.0 · Source§impl Mul<&Saturating<u32>> for Saturating<u32>
impl Mul<&Saturating<u32>> for Saturating<u32>
1.74.0 · Source§impl Mul<&Saturating<u64>> for &Saturating<u64>
impl Mul<&Saturating<u64>> for &Saturating<u64>
1.74.0 · Source§impl Mul<&Saturating<u64>> for Saturating<u64>
impl Mul<&Saturating<u64>> for Saturating<u64>
1.74.0 · Source§impl Mul<&Saturating<u128>> for &Saturating<u128>
impl Mul<&Saturating<u128>> for &Saturating<u128>
1.74.0 · Source§impl Mul<&Saturating<u128>> for Saturating<u128>
impl Mul<&Saturating<u128>> for Saturating<u128>
1.74.0 · Source§impl Mul<&Saturating<usize>> for &Saturating<usize>
impl Mul<&Saturating<usize>> for &Saturating<usize>
1.74.0 · Source§impl Mul<&Saturating<usize>> for Saturating<usize>
impl Mul<&Saturating<usize>> for Saturating<usize>
1.74.0 · Source§impl<'a> Mul<Saturating<i8>> for &'a Saturating<i8>
impl<'a> Mul<Saturating<i8>> for &'a Saturating<i8>
1.74.0 · Source§impl<'a> Mul<Saturating<i16>> for &'a Saturating<i16>
impl<'a> Mul<Saturating<i16>> for &'a Saturating<i16>
1.74.0 · Source§impl<'a> Mul<Saturating<i32>> for &'a Saturating<i32>
impl<'a> Mul<Saturating<i32>> for &'a Saturating<i32>
1.74.0 · Source§impl<'a> Mul<Saturating<i64>> for &'a Saturating<i64>
impl<'a> Mul<Saturating<i64>> for &'a Saturating<i64>
1.74.0 · Source§impl<'a> Mul<Saturating<i128>> for &'a Saturating<i128>
impl<'a> Mul<Saturating<i128>> for &'a Saturating<i128>
1.74.0 · Source§impl<'a> Mul<Saturating<isize>> for &'a Saturating<isize>
impl<'a> Mul<Saturating<isize>> for &'a Saturating<isize>
1.74.0 · Source§impl<'a> Mul<Saturating<u8>> for &'a Saturating<u8>
impl<'a> Mul<Saturating<u8>> for &'a Saturating<u8>
1.74.0 · Source§impl<'a> Mul<Saturating<u16>> for &'a Saturating<u16>
impl<'a> Mul<Saturating<u16>> for &'a Saturating<u16>
1.74.0 · Source§impl<'a> Mul<Saturating<u32>> for &'a Saturating<u32>
impl<'a> Mul<Saturating<u32>> for &'a Saturating<u32>
1.74.0 · Source§impl<'a> Mul<Saturating<u64>> for &'a Saturating<u64>
impl<'a> Mul<Saturating<u64>> for &'a Saturating<u64>
1.74.0 · Source§impl<'a> Mul<Saturating<u128>> for &'a Saturating<u128>
impl<'a> Mul<Saturating<u128>> for &'a Saturating<u128>
1.74.0 · Source§impl<'a> Mul<Saturating<usize>> for &'a Saturating<usize>
impl<'a> Mul<Saturating<usize>> for &'a Saturating<usize>
Source§impl<'a, 'b, T> Mul<&'a Unit<DualQuaternion<T>>> for &'b Translation<T, 3>
impl<'a, 'b, T> Mul<&'a Unit<DualQuaternion<T>>> for &'b Translation<T, 3>
type Output = Unit<DualQuaternion<T>>
Source§impl<'a, 'b, T> Mul<&'b Unit<DualQuaternion<T>>> for &'a Unit<DualQuaternion<T>>
impl<'a, 'b, T> Mul<&'b Unit<DualQuaternion<T>>> for &'a Unit<DualQuaternion<T>>
type Output = Unit<DualQuaternion<T>>
Source§impl<'a, 'b, T> Mul<&'b Unit<DualQuaternion<T>>> for &'a Unit<Quaternion<T>>
impl<'a, 'b, T> Mul<&'b Unit<DualQuaternion<T>>> for &'a Unit<Quaternion<T>>
type Output = Unit<DualQuaternion<T>>
Source§impl<'a, 'b, T> Mul<&'b Unit<DualQuaternion<T>>> for &'a DualQuaternion<T>
impl<'a, 'b, T> Mul<&'b Unit<DualQuaternion<T>>> for &'a DualQuaternion<T>
type Output = DualQuaternion<T>
Source§impl<'a, 'b, T> Mul<&'b Unit<DualQuaternion<T>>> for &'a Isometry<T, Unit<Quaternion<T>>, 3>
impl<'a, 'b, T> Mul<&'b Unit<DualQuaternion<T>>> for &'a Isometry<T, Unit<Quaternion<T>>, 3>
type Output = Unit<DualQuaternion<T>>
Source§impl<'a, 'b, T> Mul<&'b Unit<Quaternion<T>>> for &'a Unit<DualQuaternion<T>>
impl<'a, 'b, T> Mul<&'b Unit<Quaternion<T>>> for &'a Unit<DualQuaternion<T>>
type Output = Unit<DualQuaternion<T>>
Source§impl<'a, 'b, T> Mul<&'b Unit<Quaternion<T>>> for &'a Unit<Quaternion<T>>
impl<'a, 'b, T> Mul<&'b Unit<Quaternion<T>>> for &'a Unit<Quaternion<T>>
type Output = Unit<Quaternion<T>>
Source§impl<'a, 'b, T> Mul<&'b Unit<Quaternion<T>>> for &'a Isometry<T, Unit<Quaternion<T>>, 3>
impl<'a, 'b, T> Mul<&'b Unit<Quaternion<T>>> for &'a Isometry<T, Unit<Quaternion<T>>, 3>
Source§impl<'a, 'b, T> Mul<&'b Unit<Quaternion<T>>> for &'a Rotation<T, 3>
impl<'a, 'b, T> Mul<&'b Unit<Quaternion<T>>> for &'a Rotation<T, 3>
type Output = Unit<Quaternion<T>>
Source§impl<'a, 'b, T> Mul<&'b Unit<Quaternion<T>>> for &'a Similarity<T, Unit<Quaternion<T>>, 3>
impl<'a, 'b, T> Mul<&'b Unit<Quaternion<T>>> for &'a Similarity<T, Unit<Quaternion<T>>, 3>
type Output = Similarity<T, Unit<Quaternion<T>>, 3>
Source§impl<'a, 'b, T> Mul<&'b Unit<Quaternion<T>>> for &'a Translation<T, 3>
impl<'a, 'b, T> Mul<&'b Unit<Quaternion<T>>> for &'a Translation<T, 3>
Source§impl<'a, 'b, T> Mul<&'b DualQuaternion<T>> for &'a Unit<DualQuaternion<T>>
impl<'a, 'b, T> Mul<&'b DualQuaternion<T>> for &'a Unit<DualQuaternion<T>>
type Output = DualQuaternion<T>
Source§impl<'a, 'b, T> Mul<&'b DualQuaternion<T>> for &'a DualQuaternion<T>
impl<'a, 'b, T> Mul<&'b DualQuaternion<T>> for &'a DualQuaternion<T>
type Output = DualQuaternion<T>
Source§impl<'a, 'b, T> Mul<&'b Isometry<T, Unit<Quaternion<T>>, 3>> for &'a Unit<DualQuaternion<T>>
impl<'a, 'b, T> Mul<&'b Isometry<T, Unit<Quaternion<T>>, 3>> for &'a Unit<DualQuaternion<T>>
type Output = Unit<DualQuaternion<T>>
Source§impl<'a, 'b, T> Mul<&'b Isometry<T, Unit<Quaternion<T>>, 3>> for &'a Unit<Quaternion<T>>
impl<'a, 'b, T> Mul<&'b Isometry<T, Unit<Quaternion<T>>, 3>> for &'a Unit<Quaternion<T>>
Source§impl<'a, 'b, T> Mul<&'b Quaternion<T>> for &'a Quaternion<T>
impl<'a, 'b, T> Mul<&'b Quaternion<T>> for &'a Quaternion<T>
type Output = Quaternion<T>
Source§impl<'a, 'b, T> Mul<&'b Rotation<T, 3>> for &'a Unit<Quaternion<T>>
impl<'a, 'b, T> Mul<&'b Rotation<T, 3>> for &'a Unit<Quaternion<T>>
type Output = Unit<Quaternion<T>>
Source§impl<'a, 'b, T> Mul<&'b Similarity<T, Unit<Quaternion<T>>, 3>> for &'a Unit<Quaternion<T>>
impl<'a, 'b, T> Mul<&'b Similarity<T, Unit<Quaternion<T>>, 3>> for &'a Unit<Quaternion<T>>
type Output = Similarity<T, Unit<Quaternion<T>>, 3>
Source§impl<'a, 'b, T> Mul<&'b Translation<T, 3>> for &'a Unit<DualQuaternion<T>>
impl<'a, 'b, T> Mul<&'b Translation<T, 3>> for &'a Unit<DualQuaternion<T>>
type Output = Unit<DualQuaternion<T>>
Source§impl<'a, 'b, T> Mul<&'b Translation<T, 3>> for &'a Unit<Quaternion<T>>
impl<'a, 'b, T> Mul<&'b Translation<T, 3>> for &'a Unit<Quaternion<T>>
Source§impl<'a, 'b, T, C> Mul<&'b Unit<Quaternion<T>>> for &'a Transform<T, C, 3>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign + RealField,
C: TCategoryMul<TAffine>,
impl<'a, 'b, T, C> Mul<&'b Unit<Quaternion<T>>> for &'a Transform<T, C, 3>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign + RealField,
C: TCategoryMul<TAffine>,
type Output = Transform<T, <C as TCategoryMul<TAffine>>::Representative, 3>
Source§impl<'a, 'b, T, C> Mul<&'b Unit<Complex<T>>> for &'a Transform<T, C, 2>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign + RealField,
C: TCategoryMul<TAffine>,
impl<'a, 'b, T, C> Mul<&'b Unit<Complex<T>>> for &'a Transform<T, C, 2>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign + RealField,
C: TCategoryMul<TAffine>,
type Output = Transform<T, <C as TCategoryMul<TAffine>>::Representative, 2>
Source§impl<'a, 'b, T, C> Mul<&'b Transform<T, C, 2>> for &'a Unit<Complex<T>>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign + RealField,
C: TCategoryMul<TAffine>,
impl<'a, 'b, T, C> Mul<&'b Transform<T, C, 2>> for &'a Unit<Complex<T>>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign + RealField,
C: TCategoryMul<TAffine>,
type Output = Transform<T, <C as TCategoryMul<TAffine>>::Representative, 2>
Source§impl<'a, 'b, T, C> Mul<&'b Transform<T, C, 3>> for &'a Unit<Quaternion<T>>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign + RealField,
C: TCategoryMul<TAffine>,
impl<'a, 'b, T, C> Mul<&'b Transform<T, C, 3>> for &'a Unit<Quaternion<T>>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign + RealField,
C: TCategoryMul<TAffine>,
type Output = Transform<T, <C as TCategoryMul<TAffine>>::Representative, 3>
Source§impl<'a, 'b, T, C, R, const D: usize> Mul<&'b Isometry<T, R, D>> for &'a Transform<T, C, D>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign + RealField,
Const<D>: DimNameAdd<Const<1>>,
C: TCategoryMul<TAffine>,
R: SubsetOf<Matrix<T, <Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output, <DefaultAllocator as Allocator<<Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output>>::Buffer<T>>>,
DefaultAllocator: Allocator<<Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output>,
impl<'a, 'b, T, C, R, const D: usize> Mul<&'b Isometry<T, R, D>> for &'a Transform<T, C, D>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign + RealField,
Const<D>: DimNameAdd<Const<1>>,
C: TCategoryMul<TAffine>,
R: SubsetOf<Matrix<T, <Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output, <DefaultAllocator as Allocator<<Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output>>::Buffer<T>>>,
DefaultAllocator: Allocator<<Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output>,
type Output = Transform<T, <C as TCategoryMul<TAffine>>::Representative, D>
Source§impl<'a, 'b, T, C, R, const D: usize> Mul<&'b Similarity<T, R, D>> for &'a Transform<T, C, D>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign + RealField,
Const<D>: DimNameAdd<Const<1>>,
C: TCategoryMul<TAffine>,
R: SubsetOf<Matrix<T, <Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output, <DefaultAllocator as Allocator<<Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output>>::Buffer<T>>>,
DefaultAllocator: Allocator<<Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output>,
impl<'a, 'b, T, C, R, const D: usize> Mul<&'b Similarity<T, R, D>> for &'a Transform<T, C, D>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign + RealField,
Const<D>: DimNameAdd<Const<1>>,
C: TCategoryMul<TAffine>,
R: SubsetOf<Matrix<T, <Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output, <DefaultAllocator as Allocator<<Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output>>::Buffer<T>>>,
DefaultAllocator: Allocator<<Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output>,
type Output = Transform<T, <C as TCategoryMul<TAffine>>::Representative, D>
Source§impl<'a, 'b, T, C, R, const D: usize> Mul<&'b Transform<T, C, D>> for &'a Isometry<T, R, D>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign + RealField,
Const<D>: DimNameAdd<Const<1>>,
C: TCategoryMul<TAffine>,
R: SubsetOf<Matrix<T, <Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output, <DefaultAllocator as Allocator<<Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output>>::Buffer<T>>>,
DefaultAllocator: Allocator<<Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output>,
impl<'a, 'b, T, C, R, const D: usize> Mul<&'b Transform<T, C, D>> for &'a Isometry<T, R, D>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign + RealField,
Const<D>: DimNameAdd<Const<1>>,
C: TCategoryMul<TAffine>,
R: SubsetOf<Matrix<T, <Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output, <DefaultAllocator as Allocator<<Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output>>::Buffer<T>>>,
DefaultAllocator: Allocator<<Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output>,
type Output = Transform<T, <C as TCategoryMul<TAffine>>::Representative, D>
Source§impl<'a, 'b, T, C, R, const D: usize> Mul<&'b Transform<T, C, D>> for &'a Similarity<T, R, D>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign + RealField,
Const<D>: DimNameAdd<Const<1>>,
C: TCategoryMul<TAffine>,
R: SubsetOf<Matrix<T, <Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output, <DefaultAllocator as Allocator<<Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output>>::Buffer<T>>>,
DefaultAllocator: Allocator<<Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output>,
impl<'a, 'b, T, C, R, const D: usize> Mul<&'b Transform<T, C, D>> for &'a Similarity<T, R, D>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign + RealField,
Const<D>: DimNameAdd<Const<1>>,
C: TCategoryMul<TAffine>,
R: SubsetOf<Matrix<T, <Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output, <DefaultAllocator as Allocator<<Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output>>::Buffer<T>>>,
DefaultAllocator: Allocator<<Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output>,
type Output = Transform<T, <C as TCategoryMul<TAffine>>::Representative, D>
Source§impl<'a, 'b, T, C, const D: usize> Mul<&'b Matrix<T, Const<D>, Const<1>, ArrayStorage<T, D, 1>>> for &'a Transform<T, C, D>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign + RealField,
Const<D>: DimNameAdd<Const<1>>,
C: TCategory,
DefaultAllocator: Allocator<<Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output>,
impl<'a, 'b, T, C, const D: usize> Mul<&'b Matrix<T, Const<D>, Const<1>, ArrayStorage<T, D, 1>>> for &'a Transform<T, C, D>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign + RealField,
Const<D>: DimNameAdd<Const<1>>,
C: TCategory,
DefaultAllocator: Allocator<<Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output>,
Source§impl<'a, 'b, T, C, const D: usize> Mul<&'b OPoint<T, Const<D>>> for &'a Transform<T, C, D>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign + RealField,
Const<D>: DimNameAdd<Const<1>>,
C: TCategory,
DefaultAllocator: Allocator<<Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output>,
impl<'a, 'b, T, C, const D: usize> Mul<&'b OPoint<T, Const<D>>> for &'a Transform<T, C, D>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign + RealField,
Const<D>: DimNameAdd<Const<1>>,
C: TCategory,
DefaultAllocator: Allocator<<Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output>,
Source§impl<'a, 'b, T, C, const D: usize> Mul<&'b Rotation<T, D>> for &'a Transform<T, C, D>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign + RealField,
Const<D>: DimNameAdd<Const<1>>,
C: TCategoryMul<TAffine>,
DefaultAllocator: Allocator<<Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output>,
impl<'a, 'b, T, C, const D: usize> Mul<&'b Rotation<T, D>> for &'a Transform<T, C, D>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign + RealField,
Const<D>: DimNameAdd<Const<1>>,
C: TCategoryMul<TAffine>,
DefaultAllocator: Allocator<<Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output>,
type Output = Transform<T, <C as TCategoryMul<TAffine>>::Representative, D>
Source§impl<'a, 'b, T, C, const D: usize> Mul<&'b Transform<T, C, D>> for &'a Rotation<T, D>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign + RealField,
Const<D>: DimNameAdd<Const<1>>,
C: TCategoryMul<TAffine>,
DefaultAllocator: Allocator<<Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output>,
impl<'a, 'b, T, C, const D: usize> Mul<&'b Transform<T, C, D>> for &'a Rotation<T, D>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign + RealField,
Const<D>: DimNameAdd<Const<1>>,
C: TCategoryMul<TAffine>,
DefaultAllocator: Allocator<<Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output>,
type Output = Transform<T, <C as TCategoryMul<TAffine>>::Representative, D>
Source§impl<'a, 'b, T, C, const D: usize> Mul<&'b Transform<T, C, D>> for &'a Translation<T, D>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign + RealField,
Const<D>: DimNameAdd<Const<1>>,
C: TCategoryMul<TAffine>,
DefaultAllocator: Allocator<<Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output>,
impl<'a, 'b, T, C, const D: usize> Mul<&'b Transform<T, C, D>> for &'a Translation<T, D>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign + RealField,
Const<D>: DimNameAdd<Const<1>>,
C: TCategoryMul<TAffine>,
DefaultAllocator: Allocator<<Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output>,
type Output = Transform<T, <C as TCategoryMul<TAffine>>::Representative, D>
Source§impl<'a, 'b, T, C, const D: usize> Mul<&'b Translation<T, D>> for &'a Transform<T, C, D>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign + RealField,
Const<D>: DimNameAdd<Const<1>>,
C: TCategoryMul<TAffine>,
DefaultAllocator: Allocator<<Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output>,
impl<'a, 'b, T, C, const D: usize> Mul<&'b Translation<T, D>> for &'a Transform<T, C, D>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign + RealField,
Const<D>: DimNameAdd<Const<1>>,
C: TCategoryMul<TAffine>,
DefaultAllocator: Allocator<<Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output>,
type Output = Transform<T, <C as TCategoryMul<TAffine>>::Representative, D>
Source§impl<'a, 'b, T, CA, CB, const D: usize> Mul<&'b Transform<T, CB, D>> for &'a Transform<T, CA, D>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign + RealField,
Const<D>: DimNameAdd<Const<1>>,
CA: TCategoryMul<CB>,
CB: TCategory,
DefaultAllocator: Allocator<<Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output>,
impl<'a, 'b, T, CA, CB, const D: usize> Mul<&'b Transform<T, CB, D>> for &'a Transform<T, CA, D>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign + RealField,
Const<D>: DimNameAdd<Const<1>>,
CA: TCategoryMul<CB>,
CB: TCategory,
DefaultAllocator: Allocator<<Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output>,
type Output = Transform<T, <CA as TCategoryMul<CB>>::Representative, D>
Source§impl<'a, 'b, T, R1, C1, R2, C2, SA, SB> Mul<&'b Matrix<T, R2, C2, SB>> for &'a Matrix<T, R1, C1, SA>where
R1: Dim,
C1: Dim,
R2: Dim,
C2: Dim,
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign,
SA: Storage<T, R1, C1>,
SB: Storage<T, R2, C2>,
DefaultAllocator: Allocator<R1, C2>,
ShapeConstraint: AreMultipliable<R1, C1, R2, C2>,
impl<'a, 'b, T, R1, C1, R2, C2, SA, SB> Mul<&'b Matrix<T, R2, C2, SB>> for &'a Matrix<T, R1, C1, SA>where
R1: Dim,
C1: Dim,
R2: Dim,
C2: Dim,
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign,
SA: Storage<T, R1, C1>,
SB: Storage<T, R2, C2>,
DefaultAllocator: Allocator<R1, C2>,
ShapeConstraint: AreMultipliable<R1, C1, R2, C2>,
Source§impl<'a, 'b, T, R1, C1, SA, const D2: usize> Mul<&'b Rotation<T, D2>> for &'a Matrix<T, R1, C1, SA>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign,
R1: Dim,
C1: Dim,
SA: Storage<T, R1, C1>,
DefaultAllocator: Allocator<R1, Const<D2>>,
ShapeConstraint: AreMultipliable<R1, C1, Const<D2>, Const<D2>>,
impl<'a, 'b, T, R1, C1, SA, const D2: usize> Mul<&'b Rotation<T, D2>> for &'a Matrix<T, R1, C1, SA>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign,
R1: Dim,
C1: Dim,
SA: Storage<T, R1, C1>,
DefaultAllocator: Allocator<R1, Const<D2>>,
ShapeConstraint: AreMultipliable<R1, C1, Const<D2>, Const<D2>>,
Source§impl<'a, 'b, T, R2, C2, SB, const D1: usize> Mul<&'b Matrix<T, R2, C2, SB>> for &'a Rotation<T, D1>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign,
R2: Dim,
C2: Dim,
SB: Storage<T, R2, C2>,
DefaultAllocator: Allocator<Const<D1>, C2>,
ShapeConstraint: AreMultipliable<Const<D1>, Const<D1>, R2, C2>,
impl<'a, 'b, T, R2, C2, SB, const D1: usize> Mul<&'b Matrix<T, R2, C2, SB>> for &'a Rotation<T, D1>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign,
R2: Dim,
C2: Dim,
SB: Storage<T, R2, C2>,
DefaultAllocator: Allocator<Const<D1>, C2>,
ShapeConstraint: AreMultipliable<Const<D1>, Const<D1>, R2, C2>,
Source§impl<'a, 'b, T, R, const D: usize> Mul<&'b Matrix<T, Const<D>, Const<1>, ArrayStorage<T, D, 1>>> for &'a Isometry<T, R, D>
impl<'a, 'b, T, R, const D: usize> Mul<&'b Matrix<T, Const<D>, Const<1>, ArrayStorage<T, D, 1>>> for &'a Isometry<T, R, D>
Source§impl<'a, 'b, T, R, const D: usize> Mul<&'b Matrix<T, Const<D>, Const<1>, ArrayStorage<T, D, 1>>> for &'a Similarity<T, R, D>
impl<'a, 'b, T, R, const D: usize> Mul<&'b Matrix<T, Const<D>, Const<1>, ArrayStorage<T, D, 1>>> for &'a Similarity<T, R, D>
Source§impl<'a, 'b, T, R, const D: usize> Mul<&'b Unit<Matrix<T, Const<D>, Const<1>, ArrayStorage<T, D, 1>>>> for &'a Isometry<T, R, D>
impl<'a, 'b, T, R, const D: usize> Mul<&'b Unit<Matrix<T, Const<D>, Const<1>, ArrayStorage<T, D, 1>>>> for &'a Isometry<T, R, D>
Source§impl<'a, 'b, T, R, const D: usize> Mul<&'b Isometry<T, R, D>> for &'a Similarity<T, R, D>
impl<'a, 'b, T, R, const D: usize> Mul<&'b Isometry<T, R, D>> for &'a Similarity<T, R, D>
type Output = Similarity<T, R, D>
Source§impl<'a, 'b, T, R, const D: usize> Mul<&'b Similarity<T, R, D>> for &'a Isometry<T, R, D>
impl<'a, 'b, T, R, const D: usize> Mul<&'b Similarity<T, R, D>> for &'a Isometry<T, R, D>
type Output = Similarity<T, R, D>
Source§impl<'a, 'b, T, R, const D: usize> Mul<&'b Similarity<T, R, D>> for &'a Similarity<T, R, D>
impl<'a, 'b, T, R, const D: usize> Mul<&'b Similarity<T, R, D>> for &'a Similarity<T, R, D>
type Output = Similarity<T, R, D>
Source§impl<'a, 'b, T, R, const D: usize> Mul<&'b Similarity<T, R, D>> for &'a Translation<T, D>
impl<'a, 'b, T, R, const D: usize> Mul<&'b Similarity<T, R, D>> for &'a Translation<T, D>
type Output = Similarity<T, R, D>
Source§impl<'a, 'b, T, R, const D: usize> Mul<&'b Translation<T, D>> for &'a Similarity<T, R, D>
impl<'a, 'b, T, R, const D: usize> Mul<&'b Translation<T, D>> for &'a Similarity<T, R, D>
type Output = Similarity<T, R, D>
Source§impl<'a, 'b, T, S, const D: usize> Mul<&'b Unit<Matrix<T, Const<D>, Const<1>, S>>> for &'a Rotation<T, D>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign,
S: Storage<T, Const<D>>,
ShapeConstraint: AreMultipliable<Const<D>, Const<D>, Const<D>, Const<1>>,
impl<'a, 'b, T, S, const D: usize> Mul<&'b Unit<Matrix<T, Const<D>, Const<1>, S>>> for &'a Rotation<T, D>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign,
S: Storage<T, Const<D>>,
ShapeConstraint: AreMultipliable<Const<D>, Const<D>, Const<D>, Const<1>>,
Source§impl<'a, 'b, T, SA, const D2: usize, const R1: usize, const C1: usize> Mul<&'b OPoint<T, Const<D2>>> for &'a Matrix<T, Const<R1>, Const<C1>, SA>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign,
SA: Storage<T, Const<R1>, Const<C1>>,
ShapeConstraint: AreMultipliable<Const<R1>, Const<C1>, Const<D2>, Const<1>>,
impl<'a, 'b, T, SA, const D2: usize, const R1: usize, const C1: usize> Mul<&'b OPoint<T, Const<D2>>> for &'a Matrix<T, Const<R1>, Const<C1>, SA>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign,
SA: Storage<T, Const<R1>, Const<C1>>,
ShapeConstraint: AreMultipliable<Const<R1>, Const<C1>, Const<D2>, Const<1>>,
Source§impl<'a, 'b, T, SB> Mul<&'b Matrix<T, Const<3>, Const<1>, SB>> for &'a Unit<DualQuaternion<T>>
impl<'a, 'b, T, SB> Mul<&'b Matrix<T, Const<3>, Const<1>, SB>> for &'a Unit<DualQuaternion<T>>
Source§impl<'a, 'b, T, SB> Mul<&'b Unit<Matrix<T, Const<3>, Const<1>, SB>>> for &'a Unit<DualQuaternion<T>>
impl<'a, 'b, T, SB> Mul<&'b Unit<Matrix<T, Const<3>, Const<1>, SB>>> for &'a Unit<DualQuaternion<T>>
Source§impl<'a, 'b, T, SB> Mul<&'b Unit<Matrix<T, Const<3>, Const<1>, SB>>> for &'a Unit<Quaternion<T>>
impl<'a, 'b, T, SB> Mul<&'b Unit<Matrix<T, Const<3>, Const<1>, SB>>> for &'a Unit<Quaternion<T>>
Source§impl<'a, 'b, T, const D: usize> Mul<&'b Matrix<T, Const<D>, Const<1>, ArrayStorage<T, D, 1>>> for &'a Scale<T, D>where
T: Scalar + ClosedMulAssign,
ShapeConstraint: SameNumberOfRows<Const<D>, Const<D>, Representative = Const<D>> + SameNumberOfColumns<Const<1>, Const<1>, Representative = Const<1>>,
impl<'a, 'b, T, const D: usize> Mul<&'b Matrix<T, Const<D>, Const<1>, ArrayStorage<T, D, 1>>> for &'a Scale<T, D>where
T: Scalar + ClosedMulAssign,
ShapeConstraint: SameNumberOfRows<Const<D>, Const<D>, Representative = Const<D>> + SameNumberOfColumns<Const<1>, Const<1>, Representative = Const<1>>,
Source§impl<'a, 'b, T, const D: usize> Mul<&'b Isometry<T, Rotation<T, D>, D>> for &'a Rotation<T, D>
impl<'a, 'b, T, const D: usize> Mul<&'b Isometry<T, Rotation<T, D>, D>> for &'a Rotation<T, D>
Source§impl<'a, 'b, T, const D: usize> Mul<&'b OPoint<T, Const<D>>> for &'a Rotation<T, D>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign,
ShapeConstraint: AreMultipliable<Const<D>, Const<D>, Const<D>, Const<1>>,
impl<'a, 'b, T, const D: usize> Mul<&'b OPoint<T, Const<D>>> for &'a Rotation<T, D>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign,
ShapeConstraint: AreMultipliable<Const<D>, Const<D>, Const<D>, Const<1>>,
Source§impl<'a, 'b, T, const D: usize> Mul<&'b OPoint<T, Const<D>>> for &'a Scale<T, D>where
T: Scalar + ClosedMulAssign,
ShapeConstraint: SameNumberOfRows<Const<D>, Const<D>, Representative = Const<D>> + SameNumberOfColumns<Const<1>, Const<1>, Representative = Const<1>>,
impl<'a, 'b, T, const D: usize> Mul<&'b OPoint<T, Const<D>>> for &'a Scale<T, D>where
T: Scalar + ClosedMulAssign,
ShapeConstraint: SameNumberOfRows<Const<D>, Const<D>, Representative = Const<D>> + SameNumberOfColumns<Const<1>, Const<1>, Representative = Const<1>>,
Source§impl<'a, 'b, T, const D: usize> Mul<&'b OPoint<T, Const<D>>> for &'a Translation<T, D>where
T: Scalar + ClosedAddAssign,
ShapeConstraint: SameNumberOfRows<Const<D>, Const<D>, Representative = Const<D>> + SameNumberOfColumns<Const<1>, Const<1>, Representative = Const<1>>,
impl<'a, 'b, T, const D: usize> Mul<&'b OPoint<T, Const<D>>> for &'a Translation<T, D>where
T: Scalar + ClosedAddAssign,
ShapeConstraint: SameNumberOfRows<Const<D>, Const<D>, Representative = Const<D>> + SameNumberOfColumns<Const<1>, Const<1>, Representative = Const<1>>,
Source§impl<'a, 'b, T, const D: usize> Mul<&'b Rotation<T, D>> for &'a Isometry<T, Rotation<T, D>, D>
impl<'a, 'b, T, const D: usize> Mul<&'b Rotation<T, D>> for &'a Isometry<T, Rotation<T, D>, D>
Source§impl<'a, 'b, T, const D: usize> Mul<&'b Rotation<T, D>> for &'a Similarity<T, Rotation<T, D>, D>
impl<'a, 'b, T, const D: usize> Mul<&'b Rotation<T, D>> for &'a Similarity<T, Rotation<T, D>, D>
type Output = Similarity<T, Rotation<T, D>, D>
Source§impl<'a, 'b, T, const D: usize> Mul<&'b Scale<T, D>> for &'a Scale<T, D>where
T: Scalar + ClosedMulAssign,
ShapeConstraint: SameNumberOfRows<Const<D>, Const<D>, Representative = Const<D>> + SameNumberOfColumns<Const<1>, Const<1>, Representative = Const<1>>,
impl<'a, 'b, T, const D: usize> Mul<&'b Scale<T, D>> for &'a Scale<T, D>where
T: Scalar + ClosedMulAssign,
ShapeConstraint: SameNumberOfRows<Const<D>, Const<D>, Representative = Const<D>> + SameNumberOfColumns<Const<1>, Const<1>, Representative = Const<1>>,
Source§impl<'a, 'b, T, const D: usize> Mul<&'b Similarity<T, Rotation<T, D>, D>> for &'a Rotation<T, D>
impl<'a, 'b, T, const D: usize> Mul<&'b Similarity<T, Rotation<T, D>, D>> for &'a Rotation<T, D>
type Output = Similarity<T, Rotation<T, D>, D>
Source§impl<'a, 'b, T, const D: usize> Mul<&'b Translation<T, D>> for &'a Translation<T, D>where
T: Scalar + ClosedAddAssign,
ShapeConstraint: SameNumberOfRows<Const<D>, Const<D>, Representative = Const<D>> + SameNumberOfColumns<Const<1>, Const<1>, Representative = Const<1>>,
impl<'a, 'b, T, const D: usize> Mul<&'b Translation<T, D>> for &'a Translation<T, D>where
T: Scalar + ClosedAddAssign,
ShapeConstraint: SameNumberOfRows<Const<D>, Const<D>, Representative = Const<D>> + SameNumberOfColumns<Const<1>, Const<1>, Representative = Const<1>>,
type Output = Translation<T, D>
Source§impl<'a, T> Mul<Unit<DualQuaternion<T>>> for &'a Unit<DualQuaternion<T>>
impl<'a, T> Mul<Unit<DualQuaternion<T>>> for &'a Unit<DualQuaternion<T>>
type Output = Unit<DualQuaternion<T>>
Source§impl<'a, T> Mul<Unit<DualQuaternion<T>>> for &'a Unit<Quaternion<T>>
impl<'a, T> Mul<Unit<DualQuaternion<T>>> for &'a Unit<Quaternion<T>>
type Output = Unit<DualQuaternion<T>>
Source§impl<'a, T> Mul<Unit<DualQuaternion<T>>> for &'a DualQuaternion<T>
impl<'a, T> Mul<Unit<DualQuaternion<T>>> for &'a DualQuaternion<T>
type Output = DualQuaternion<T>
Source§impl<'a, T> Mul<Unit<DualQuaternion<T>>> for &'a Isometry<T, Unit<Quaternion<T>>, 3>
impl<'a, T> Mul<Unit<DualQuaternion<T>>> for &'a Isometry<T, Unit<Quaternion<T>>, 3>
type Output = Unit<DualQuaternion<T>>
Source§impl<'a, T> Mul<Unit<DualQuaternion<T>>> for &'a Translation<T, 3>
impl<'a, T> Mul<Unit<DualQuaternion<T>>> for &'a Translation<T, 3>
type Output = Unit<DualQuaternion<T>>
Source§impl<'a, T> Mul<Unit<Quaternion<T>>> for &'a Unit<DualQuaternion<T>>
impl<'a, T> Mul<Unit<Quaternion<T>>> for &'a Unit<DualQuaternion<T>>
type Output = Unit<DualQuaternion<T>>
Source§impl<'a, T> Mul<Unit<Quaternion<T>>> for &'a Unit<Quaternion<T>>
impl<'a, T> Mul<Unit<Quaternion<T>>> for &'a Unit<Quaternion<T>>
type Output = Unit<Quaternion<T>>
Source§impl<'a, T> Mul<Unit<Quaternion<T>>> for &'a Isometry<T, Unit<Quaternion<T>>, 3>
impl<'a, T> Mul<Unit<Quaternion<T>>> for &'a Isometry<T, Unit<Quaternion<T>>, 3>
Source§impl<'a, T> Mul<Unit<Quaternion<T>>> for &'a Rotation<T, 3>
impl<'a, T> Mul<Unit<Quaternion<T>>> for &'a Rotation<T, 3>
type Output = Unit<Quaternion<T>>
Source§impl<'a, T> Mul<Unit<Quaternion<T>>> for &'a Similarity<T, Unit<Quaternion<T>>, 3>
impl<'a, T> Mul<Unit<Quaternion<T>>> for &'a Similarity<T, Unit<Quaternion<T>>, 3>
type Output = Similarity<T, Unit<Quaternion<T>>, 3>
Source§impl<'a, T> Mul<Unit<Quaternion<T>>> for &'a Translation<T, 3>
impl<'a, T> Mul<Unit<Quaternion<T>>> for &'a Translation<T, 3>
Source§impl<'a, T> Mul<DualQuaternion<T>> for &'a Unit<DualQuaternion<T>>
impl<'a, T> Mul<DualQuaternion<T>> for &'a Unit<DualQuaternion<T>>
type Output = DualQuaternion<T>
Source§impl<'a, T> Mul<DualQuaternion<T>> for &'a DualQuaternion<T>
impl<'a, T> Mul<DualQuaternion<T>> for &'a DualQuaternion<T>
type Output = DualQuaternion<T>
Source§impl<'a, T> Mul<Isometry<T, Unit<Quaternion<T>>, 3>> for &'a Unit<DualQuaternion<T>>
impl<'a, T> Mul<Isometry<T, Unit<Quaternion<T>>, 3>> for &'a Unit<DualQuaternion<T>>
type Output = Unit<DualQuaternion<T>>
Source§impl<'a, T> Mul<Isometry<T, Unit<Quaternion<T>>, 3>> for &'a Unit<Quaternion<T>>
impl<'a, T> Mul<Isometry<T, Unit<Quaternion<T>>, 3>> for &'a Unit<Quaternion<T>>
Source§impl<'a, T> Mul<Quaternion<T>> for &'a Quaternion<T>
impl<'a, T> Mul<Quaternion<T>> for &'a Quaternion<T>
type Output = Quaternion<T>
Source§impl<'a, T> Mul<Rotation<T, 3>> for &'a Unit<Quaternion<T>>
impl<'a, T> Mul<Rotation<T, 3>> for &'a Unit<Quaternion<T>>
type Output = Unit<Quaternion<T>>
Source§impl<'a, T> Mul<Similarity<T, Unit<Quaternion<T>>, 3>> for &'a Unit<Quaternion<T>>
impl<'a, T> Mul<Similarity<T, Unit<Quaternion<T>>, 3>> for &'a Unit<Quaternion<T>>
type Output = Similarity<T, Unit<Quaternion<T>>, 3>
Source§impl<'a, T> Mul<Translation<T, 3>> for &'a Unit<DualQuaternion<T>>
impl<'a, T> Mul<Translation<T, 3>> for &'a Unit<DualQuaternion<T>>
type Output = Unit<DualQuaternion<T>>
Source§impl<'a, T> Mul<Translation<T, 3>> for &'a Unit<Quaternion<T>>
impl<'a, T> Mul<Translation<T, 3>> for &'a Unit<Quaternion<T>>
Source§impl<'a, T> Mul<T> for &'a DualQuaternion<T>
impl<'a, T> Mul<T> for &'a DualQuaternion<T>
type Output = DualQuaternion<T>
Source§impl<'a, T> Mul<T> for &'a Quaternion<T>
impl<'a, T> Mul<T> for &'a Quaternion<T>
type Output = Quaternion<T>
Source§impl<'a, T, C> Mul<Unit<Quaternion<T>>> for &'a Transform<T, C, 3>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign + RealField,
C: TCategoryMul<TAffine>,
impl<'a, T, C> Mul<Unit<Quaternion<T>>> for &'a Transform<T, C, 3>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign + RealField,
C: TCategoryMul<TAffine>,
type Output = Transform<T, <C as TCategoryMul<TAffine>>::Representative, 3>
Source§impl<'a, T, C> Mul<Unit<Complex<T>>> for &'a Transform<T, C, 2>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign + RealField,
C: TCategoryMul<TAffine>,
impl<'a, T, C> Mul<Unit<Complex<T>>> for &'a Transform<T, C, 2>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign + RealField,
C: TCategoryMul<TAffine>,
type Output = Transform<T, <C as TCategoryMul<TAffine>>::Representative, 2>
Source§impl<'a, T, C> Mul<Transform<T, C, 2>> for &'a Unit<Complex<T>>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign + RealField,
C: TCategoryMul<TAffine>,
impl<'a, T, C> Mul<Transform<T, C, 2>> for &'a Unit<Complex<T>>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign + RealField,
C: TCategoryMul<TAffine>,
type Output = Transform<T, <C as TCategoryMul<TAffine>>::Representative, 2>
Source§impl<'a, T, C> Mul<Transform<T, C, 3>> for &'a Unit<Quaternion<T>>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign + RealField,
C: TCategoryMul<TAffine>,
impl<'a, T, C> Mul<Transform<T, C, 3>> for &'a Unit<Quaternion<T>>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign + RealField,
C: TCategoryMul<TAffine>,
type Output = Transform<T, <C as TCategoryMul<TAffine>>::Representative, 3>
Source§impl<'a, T, C, R, const D: usize> Mul<Isometry<T, R, D>> for &'a Transform<T, C, D>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign + RealField,
Const<D>: DimNameAdd<Const<1>>,
C: TCategoryMul<TAffine>,
R: SubsetOf<Matrix<T, <Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output, <DefaultAllocator as Allocator<<Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output>>::Buffer<T>>>,
DefaultAllocator: Allocator<<Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output>,
impl<'a, T, C, R, const D: usize> Mul<Isometry<T, R, D>> for &'a Transform<T, C, D>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign + RealField,
Const<D>: DimNameAdd<Const<1>>,
C: TCategoryMul<TAffine>,
R: SubsetOf<Matrix<T, <Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output, <DefaultAllocator as Allocator<<Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output>>::Buffer<T>>>,
DefaultAllocator: Allocator<<Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output>,
type Output = Transform<T, <C as TCategoryMul<TAffine>>::Representative, D>
Source§impl<'a, T, C, R, const D: usize> Mul<Similarity<T, R, D>> for &'a Transform<T, C, D>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign + RealField,
Const<D>: DimNameAdd<Const<1>>,
C: TCategoryMul<TAffine>,
R: SubsetOf<Matrix<T, <Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output, <DefaultAllocator as Allocator<<Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output>>::Buffer<T>>>,
DefaultAllocator: Allocator<<Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output>,
impl<'a, T, C, R, const D: usize> Mul<Similarity<T, R, D>> for &'a Transform<T, C, D>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign + RealField,
Const<D>: DimNameAdd<Const<1>>,
C: TCategoryMul<TAffine>,
R: SubsetOf<Matrix<T, <Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output, <DefaultAllocator as Allocator<<Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output>>::Buffer<T>>>,
DefaultAllocator: Allocator<<Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output>,
type Output = Transform<T, <C as TCategoryMul<TAffine>>::Representative, D>
Source§impl<'a, T, C, R, const D: usize> Mul<Transform<T, C, D>> for &'a Isometry<T, R, D>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign + RealField,
Const<D>: DimNameAdd<Const<1>>,
C: TCategoryMul<TAffine>,
R: SubsetOf<Matrix<T, <Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output, <DefaultAllocator as Allocator<<Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output>>::Buffer<T>>>,
DefaultAllocator: Allocator<<Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output>,
impl<'a, T, C, R, const D: usize> Mul<Transform<T, C, D>> for &'a Isometry<T, R, D>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign + RealField,
Const<D>: DimNameAdd<Const<1>>,
C: TCategoryMul<TAffine>,
R: SubsetOf<Matrix<T, <Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output, <DefaultAllocator as Allocator<<Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output>>::Buffer<T>>>,
DefaultAllocator: Allocator<<Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output>,
type Output = Transform<T, <C as TCategoryMul<TAffine>>::Representative, D>
Source§impl<'a, T, C, R, const D: usize> Mul<Transform<T, C, D>> for &'a Similarity<T, R, D>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign + RealField,
Const<D>: DimNameAdd<Const<1>>,
C: TCategoryMul<TAffine>,
R: SubsetOf<Matrix<T, <Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output, <DefaultAllocator as Allocator<<Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output>>::Buffer<T>>>,
DefaultAllocator: Allocator<<Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output>,
impl<'a, T, C, R, const D: usize> Mul<Transform<T, C, D>> for &'a Similarity<T, R, D>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign + RealField,
Const<D>: DimNameAdd<Const<1>>,
C: TCategoryMul<TAffine>,
R: SubsetOf<Matrix<T, <Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output, <DefaultAllocator as Allocator<<Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output>>::Buffer<T>>>,
DefaultAllocator: Allocator<<Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output>,
type Output = Transform<T, <C as TCategoryMul<TAffine>>::Representative, D>
Source§impl<'a, T, C, const D: usize> Mul<Matrix<T, Const<D>, Const<1>, ArrayStorage<T, D, 1>>> for &'a Transform<T, C, D>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign + RealField,
Const<D>: DimNameAdd<Const<1>>,
C: TCategory,
DefaultAllocator: Allocator<<Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output>,
impl<'a, T, C, const D: usize> Mul<Matrix<T, Const<D>, Const<1>, ArrayStorage<T, D, 1>>> for &'a Transform<T, C, D>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign + RealField,
Const<D>: DimNameAdd<Const<1>>,
C: TCategory,
DefaultAllocator: Allocator<<Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output>,
Source§impl<'a, T, C, const D: usize> Mul<OPoint<T, Const<D>>> for &'a Transform<T, C, D>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign + RealField,
Const<D>: DimNameAdd<Const<1>>,
C: TCategory,
DefaultAllocator: Allocator<<Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output>,
impl<'a, T, C, const D: usize> Mul<OPoint<T, Const<D>>> for &'a Transform<T, C, D>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign + RealField,
Const<D>: DimNameAdd<Const<1>>,
C: TCategory,
DefaultAllocator: Allocator<<Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output>,
Source§impl<'a, T, C, const D: usize> Mul<Rotation<T, D>> for &'a Transform<T, C, D>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign + RealField,
Const<D>: DimNameAdd<Const<1>>,
C: TCategoryMul<TAffine>,
DefaultAllocator: Allocator<<Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output>,
impl<'a, T, C, const D: usize> Mul<Rotation<T, D>> for &'a Transform<T, C, D>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign + RealField,
Const<D>: DimNameAdd<Const<1>>,
C: TCategoryMul<TAffine>,
DefaultAllocator: Allocator<<Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output>,
type Output = Transform<T, <C as TCategoryMul<TAffine>>::Representative, D>
Source§impl<'a, T, C, const D: usize> Mul<Transform<T, C, D>> for &'a Rotation<T, D>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign + RealField,
Const<D>: DimNameAdd<Const<1>>,
C: TCategoryMul<TAffine>,
DefaultAllocator: Allocator<<Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output>,
impl<'a, T, C, const D: usize> Mul<Transform<T, C, D>> for &'a Rotation<T, D>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign + RealField,
Const<D>: DimNameAdd<Const<1>>,
C: TCategoryMul<TAffine>,
DefaultAllocator: Allocator<<Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output>,
type Output = Transform<T, <C as TCategoryMul<TAffine>>::Representative, D>
Source§impl<'a, T, C, const D: usize> Mul<Transform<T, C, D>> for &'a Translation<T, D>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign + RealField,
Const<D>: DimNameAdd<Const<1>>,
C: TCategoryMul<TAffine>,
DefaultAllocator: Allocator<<Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output>,
impl<'a, T, C, const D: usize> Mul<Transform<T, C, D>> for &'a Translation<T, D>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign + RealField,
Const<D>: DimNameAdd<Const<1>>,
C: TCategoryMul<TAffine>,
DefaultAllocator: Allocator<<Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output>,
type Output = Transform<T, <C as TCategoryMul<TAffine>>::Representative, D>
Source§impl<'a, T, C, const D: usize> Mul<Translation<T, D>> for &'a Transform<T, C, D>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign + RealField,
Const<D>: DimNameAdd<Const<1>>,
C: TCategoryMul<TAffine>,
DefaultAllocator: Allocator<<Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output>,
impl<'a, T, C, const D: usize> Mul<Translation<T, D>> for &'a Transform<T, C, D>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign + RealField,
Const<D>: DimNameAdd<Const<1>>,
C: TCategoryMul<TAffine>,
DefaultAllocator: Allocator<<Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output>,
type Output = Transform<T, <C as TCategoryMul<TAffine>>::Representative, D>
Source§impl<'a, T, CA, CB, const D: usize> Mul<Transform<T, CB, D>> for &'a Transform<T, CA, D>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign + RealField,
Const<D>: DimNameAdd<Const<1>>,
CA: TCategoryMul<CB>,
CB: TCategory,
DefaultAllocator: Allocator<<Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output>,
impl<'a, T, CA, CB, const D: usize> Mul<Transform<T, CB, D>> for &'a Transform<T, CA, D>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign + RealField,
Const<D>: DimNameAdd<Const<1>>,
CA: TCategoryMul<CB>,
CB: TCategory,
DefaultAllocator: Allocator<<Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output>,
type Output = Transform<T, <CA as TCategoryMul<CB>>::Representative, D>
Source§impl<'a, T, R1, C1, R2, C2, SA, SB> Mul<Matrix<T, R2, C2, SB>> for &'a Matrix<T, R1, C1, SA>where
R1: Dim,
C1: Dim,
R2: Dim,
C2: Dim,
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign,
SB: Storage<T, R2, C2>,
SA: Storage<T, R1, C1>,
DefaultAllocator: Allocator<R1, C2>,
ShapeConstraint: AreMultipliable<R1, C1, R2, C2>,
impl<'a, T, R1, C1, R2, C2, SA, SB> Mul<Matrix<T, R2, C2, SB>> for &'a Matrix<T, R1, C1, SA>where
R1: Dim,
C1: Dim,
R2: Dim,
C2: Dim,
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign,
SB: Storage<T, R2, C2>,
SA: Storage<T, R1, C1>,
DefaultAllocator: Allocator<R1, C2>,
ShapeConstraint: AreMultipliable<R1, C1, R2, C2>,
Source§impl<'a, T, R1, C1, SA, const D2: usize> Mul<Rotation<T, D2>> for &'a Matrix<T, R1, C1, SA>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign,
R1: Dim,
C1: Dim,
SA: Storage<T, R1, C1>,
DefaultAllocator: Allocator<R1, Const<D2>>,
ShapeConstraint: AreMultipliable<R1, C1, Const<D2>, Const<D2>>,
impl<'a, T, R1, C1, SA, const D2: usize> Mul<Rotation<T, D2>> for &'a Matrix<T, R1, C1, SA>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign,
R1: Dim,
C1: Dim,
SA: Storage<T, R1, C1>,
DefaultAllocator: Allocator<R1, Const<D2>>,
ShapeConstraint: AreMultipliable<R1, C1, Const<D2>, Const<D2>>,
Source§impl<'a, T, R2, C2, SB, const D1: usize> Mul<Matrix<T, R2, C2, SB>> for &'a Rotation<T, D1>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign,
R2: Dim,
C2: Dim,
SB: Storage<T, R2, C2>,
DefaultAllocator: Allocator<Const<D1>, C2>,
ShapeConstraint: AreMultipliable<Const<D1>, Const<D1>, R2, C2>,
impl<'a, T, R2, C2, SB, const D1: usize> Mul<Matrix<T, R2, C2, SB>> for &'a Rotation<T, D1>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign,
R2: Dim,
C2: Dim,
SB: Storage<T, R2, C2>,
DefaultAllocator: Allocator<Const<D1>, C2>,
ShapeConstraint: AreMultipliable<Const<D1>, Const<D1>, R2, C2>,
Source§impl<'a, T, R, C, S> Mul<T> for &'a Matrix<T, R, C, S>where
R: Dim,
C: Dim,
T: Scalar + ClosedMulAssign,
S: Storage<T, R, C>,
DefaultAllocator: Allocator<R, C>,
impl<'a, T, R, C, S> Mul<T> for &'a Matrix<T, R, C, S>where
R: Dim,
C: Dim,
T: Scalar + ClosedMulAssign,
S: Storage<T, R, C>,
DefaultAllocator: Allocator<R, C>,
Source§impl<'a, T, R, const D: usize> Mul<Matrix<T, Const<D>, Const<1>, ArrayStorage<T, D, 1>>> for &'a Isometry<T, R, D>
impl<'a, T, R, const D: usize> Mul<Matrix<T, Const<D>, Const<1>, ArrayStorage<T, D, 1>>> for &'a Isometry<T, R, D>
Source§impl<'a, T, R, const D: usize> Mul<Matrix<T, Const<D>, Const<1>, ArrayStorage<T, D, 1>>> for &'a Similarity<T, R, D>
impl<'a, T, R, const D: usize> Mul<Matrix<T, Const<D>, Const<1>, ArrayStorage<T, D, 1>>> for &'a Similarity<T, R, D>
Source§impl<'a, T, R, const D: usize> Mul<Unit<Matrix<T, Const<D>, Const<1>, ArrayStorage<T, D, 1>>>> for &'a Isometry<T, R, D>
impl<'a, T, R, const D: usize> Mul<Unit<Matrix<T, Const<D>, Const<1>, ArrayStorage<T, D, 1>>>> for &'a Isometry<T, R, D>
Source§impl<'a, T, R, const D: usize> Mul<Isometry<T, R, D>> for &'a Similarity<T, R, D>
impl<'a, T, R, const D: usize> Mul<Isometry<T, R, D>> for &'a Similarity<T, R, D>
type Output = Similarity<T, R, D>
Source§impl<'a, T, R, const D: usize> Mul<Similarity<T, R, D>> for &'a Isometry<T, R, D>
impl<'a, T, R, const D: usize> Mul<Similarity<T, R, D>> for &'a Isometry<T, R, D>
type Output = Similarity<T, R, D>
Source§impl<'a, T, R, const D: usize> Mul<Similarity<T, R, D>> for &'a Similarity<T, R, D>
impl<'a, T, R, const D: usize> Mul<Similarity<T, R, D>> for &'a Similarity<T, R, D>
type Output = Similarity<T, R, D>
Source§impl<'a, T, R, const D: usize> Mul<Similarity<T, R, D>> for &'a Translation<T, D>
impl<'a, T, R, const D: usize> Mul<Similarity<T, R, D>> for &'a Translation<T, D>
type Output = Similarity<T, R, D>
Source§impl<'a, T, R, const D: usize> Mul<Translation<T, D>> for &'a Similarity<T, R, D>
impl<'a, T, R, const D: usize> Mul<Translation<T, D>> for &'a Similarity<T, R, D>
type Output = Similarity<T, R, D>
Source§impl<'a, T, S, const D: usize> Mul<Unit<Matrix<T, Const<D>, Const<1>, S>>> for &'a Rotation<T, D>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign,
S: Storage<T, Const<D>>,
ShapeConstraint: AreMultipliable<Const<D>, Const<D>, Const<D>, Const<1>>,
impl<'a, T, S, const D: usize> Mul<Unit<Matrix<T, Const<D>, Const<1>, S>>> for &'a Rotation<T, D>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign,
S: Storage<T, Const<D>>,
ShapeConstraint: AreMultipliable<Const<D>, Const<D>, Const<D>, Const<1>>,
Source§impl<'a, T, SA, const D2: usize, const R1: usize, const C1: usize> Mul<OPoint<T, Const<D2>>> for &'a Matrix<T, Const<R1>, Const<C1>, SA>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign,
SA: Storage<T, Const<R1>, Const<C1>>,
ShapeConstraint: AreMultipliable<Const<R1>, Const<C1>, Const<D2>, Const<1>>,
impl<'a, T, SA, const D2: usize, const R1: usize, const C1: usize> Mul<OPoint<T, Const<D2>>> for &'a Matrix<T, Const<R1>, Const<C1>, SA>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign,
SA: Storage<T, Const<R1>, Const<C1>>,
ShapeConstraint: AreMultipliable<Const<R1>, Const<C1>, Const<D2>, Const<1>>,
Source§impl<'a, T, const D: usize> Mul<Matrix<T, Const<D>, Const<1>, ArrayStorage<T, D, 1>>> for &'a Scale<T, D>where
T: Scalar + ClosedMulAssign,
ShapeConstraint: SameNumberOfRows<Const<D>, Const<D>, Representative = Const<D>> + SameNumberOfColumns<Const<1>, Const<1>, Representative = Const<1>>,
impl<'a, T, const D: usize> Mul<Matrix<T, Const<D>, Const<1>, ArrayStorage<T, D, 1>>> for &'a Scale<T, D>where
T: Scalar + ClosedMulAssign,
ShapeConstraint: SameNumberOfRows<Const<D>, Const<D>, Representative = Const<D>> + SameNumberOfColumns<Const<1>, Const<1>, Representative = Const<1>>,
Source§impl<'a, T, const D: usize> Mul<OPoint<T, Const<D>>> for &'a Rotation<T, D>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign,
ShapeConstraint: AreMultipliable<Const<D>, Const<D>, Const<D>, Const<1>>,
impl<'a, T, const D: usize> Mul<OPoint<T, Const<D>>> for &'a Rotation<T, D>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign,
ShapeConstraint: AreMultipliable<Const<D>, Const<D>, Const<D>, Const<1>>,
Source§impl<'a, T, const D: usize> Mul<OPoint<T, Const<D>>> for &'a Scale<T, D>where
T: Scalar + ClosedMulAssign,
ShapeConstraint: SameNumberOfRows<Const<D>, Const<D>, Representative = Const<D>> + SameNumberOfColumns<Const<1>, Const<1>, Representative = Const<1>>,
impl<'a, T, const D: usize> Mul<OPoint<T, Const<D>>> for &'a Scale<T, D>where
T: Scalar + ClosedMulAssign,
ShapeConstraint: SameNumberOfRows<Const<D>, Const<D>, Representative = Const<D>> + SameNumberOfColumns<Const<1>, Const<1>, Representative = Const<1>>,
Source§impl<'a, T, const D: usize> Mul<OPoint<T, Const<D>>> for &'a Translation<T, D>where
T: Scalar + ClosedAddAssign,
ShapeConstraint: SameNumberOfRows<Const<D>, Const<D>, Representative = Const<D>> + SameNumberOfColumns<Const<1>, Const<1>, Representative = Const<1>>,
impl<'a, T, const D: usize> Mul<OPoint<T, Const<D>>> for &'a Translation<T, D>where
T: Scalar + ClosedAddAssign,
ShapeConstraint: SameNumberOfRows<Const<D>, Const<D>, Representative = Const<D>> + SameNumberOfColumns<Const<1>, Const<1>, Representative = Const<1>>,
Source§impl<'a, T, const D: usize> Mul<Rotation<T, D>> for &'a Similarity<T, Rotation<T, D>, D>
impl<'a, T, const D: usize> Mul<Rotation<T, D>> for &'a Similarity<T, Rotation<T, D>, D>
type Output = Similarity<T, Rotation<T, D>, D>
Source§impl<'a, T, const D: usize> Mul<Scale<T, D>> for &'a Scale<T, D>where
T: Scalar + ClosedMulAssign,
ShapeConstraint: SameNumberOfRows<Const<D>, Const<D>, Representative = Const<D>> + SameNumberOfColumns<Const<1>, Const<1>, Representative = Const<1>>,
impl<'a, T, const D: usize> Mul<Scale<T, D>> for &'a Scale<T, D>where
T: Scalar + ClosedMulAssign,
ShapeConstraint: SameNumberOfRows<Const<D>, Const<D>, Representative = Const<D>> + SameNumberOfColumns<Const<1>, Const<1>, Representative = Const<1>>,
Source§impl<'a, T, const D: usize> Mul<Similarity<T, Rotation<T, D>, D>> for &'a Rotation<T, D>
impl<'a, T, const D: usize> Mul<Similarity<T, Rotation<T, D>, D>> for &'a Rotation<T, D>
type Output = Similarity<T, Rotation<T, D>, D>
Source§impl<'a, T, const D: usize> Mul<Translation<T, D>> for &'a Translation<T, D>where
T: Scalar + ClosedAddAssign,
ShapeConstraint: SameNumberOfRows<Const<D>, Const<D>, Representative = Const<D>> + SameNumberOfColumns<Const<1>, Const<1>, Representative = Const<1>>,
impl<'a, T, const D: usize> Mul<Translation<T, D>> for &'a Translation<T, D>where
T: Scalar + ClosedAddAssign,
ShapeConstraint: SameNumberOfRows<Const<D>, Const<D>, Representative = Const<D>> + SameNumberOfColumns<Const<1>, Const<1>, Representative = Const<1>>,
type Output = Translation<T, D>
Source§impl<'a, T, const D: usize> Mul<T> for &'a Scale<T, D>where
T: Scalar + ClosedMulAssign,
ShapeConstraint: SameNumberOfRows<Const<D>, Const<D>, Representative = Const<D>> + SameNumberOfColumns<Const<1>, Const<1>, Representative = Const<1>>,
impl<'a, T, const D: usize> Mul<T> for &'a Scale<T, D>where
T: Scalar + ClosedMulAssign,
ShapeConstraint: SameNumberOfRows<Const<D>, Const<D>, Representative = Const<D>> + SameNumberOfColumns<Const<1>, Const<1>, Representative = Const<1>>,
Source§impl<'b, T> Mul<&'b Unit<DualQuaternion<T>>> for Unit<DualQuaternion<T>>
impl<'b, T> Mul<&'b Unit<DualQuaternion<T>>> for Unit<DualQuaternion<T>>
type Output = Unit<DualQuaternion<T>>
Source§impl<'b, T> Mul<&'b Unit<DualQuaternion<T>>> for Unit<Quaternion<T>>
impl<'b, T> Mul<&'b Unit<DualQuaternion<T>>> for Unit<Quaternion<T>>
type Output = Unit<DualQuaternion<T>>
Source§impl<'b, T> Mul<&'b Unit<DualQuaternion<T>>> for DualQuaternion<T>
impl<'b, T> Mul<&'b Unit<DualQuaternion<T>>> for DualQuaternion<T>
type Output = DualQuaternion<T>
Source§impl<'b, T> Mul<&'b Unit<DualQuaternion<T>>> for Isometry<T, Unit<Quaternion<T>>, 3>
impl<'b, T> Mul<&'b Unit<DualQuaternion<T>>> for Isometry<T, Unit<Quaternion<T>>, 3>
type Output = Unit<DualQuaternion<T>>
Source§impl<'b, T> Mul<&'b Unit<DualQuaternion<T>>> for Translation<T, 3>
impl<'b, T> Mul<&'b Unit<DualQuaternion<T>>> for Translation<T, 3>
type Output = Unit<DualQuaternion<T>>
Source§impl<'b, T> Mul<&'b Unit<Quaternion<T>>> for Unit<DualQuaternion<T>>
impl<'b, T> Mul<&'b Unit<Quaternion<T>>> for Unit<DualQuaternion<T>>
type Output = Unit<DualQuaternion<T>>
Source§impl<'b, T> Mul<&'b Unit<Quaternion<T>>> for Unit<Quaternion<T>>
impl<'b, T> Mul<&'b Unit<Quaternion<T>>> for Unit<Quaternion<T>>
type Output = Unit<Quaternion<T>>
Source§impl<'b, T> Mul<&'b Unit<Quaternion<T>>> for Isometry<T, Unit<Quaternion<T>>, 3>
impl<'b, T> Mul<&'b Unit<Quaternion<T>>> for Isometry<T, Unit<Quaternion<T>>, 3>
Source§impl<'b, T> Mul<&'b Unit<Quaternion<T>>> for Rotation<T, 3>
impl<'b, T> Mul<&'b Unit<Quaternion<T>>> for Rotation<T, 3>
type Output = Unit<Quaternion<T>>
Source§impl<'b, T> Mul<&'b Unit<Quaternion<T>>> for Similarity<T, Unit<Quaternion<T>>, 3>
impl<'b, T> Mul<&'b Unit<Quaternion<T>>> for Similarity<T, Unit<Quaternion<T>>, 3>
type Output = Similarity<T, Unit<Quaternion<T>>, 3>
Source§impl<'b, T> Mul<&'b Unit<Quaternion<T>>> for Translation<T, 3>
impl<'b, T> Mul<&'b Unit<Quaternion<T>>> for Translation<T, 3>
Source§impl<'b, T> Mul<&'b DualQuaternion<T>> for Unit<DualQuaternion<T>>
impl<'b, T> Mul<&'b DualQuaternion<T>> for Unit<DualQuaternion<T>>
type Output = DualQuaternion<T>
Source§impl<'b, T> Mul<&'b DualQuaternion<T>> for DualQuaternion<T>
impl<'b, T> Mul<&'b DualQuaternion<T>> for DualQuaternion<T>
type Output = DualQuaternion<T>
Source§impl<'b, T> Mul<&'b Isometry<T, Unit<Quaternion<T>>, 3>> for Unit<DualQuaternion<T>>
impl<'b, T> Mul<&'b Isometry<T, Unit<Quaternion<T>>, 3>> for Unit<DualQuaternion<T>>
type Output = Unit<DualQuaternion<T>>
Source§impl<'b, T> Mul<&'b Isometry<T, Unit<Quaternion<T>>, 3>> for Unit<Quaternion<T>>
impl<'b, T> Mul<&'b Isometry<T, Unit<Quaternion<T>>, 3>> for Unit<Quaternion<T>>
Source§impl<'b, T> Mul<&'b Quaternion<T>> for Quaternion<T>
impl<'b, T> Mul<&'b Quaternion<T>> for Quaternion<T>
type Output = Quaternion<T>
Source§impl<'b, T> Mul<&'b Rotation<T, 3>> for Unit<Quaternion<T>>
impl<'b, T> Mul<&'b Rotation<T, 3>> for Unit<Quaternion<T>>
type Output = Unit<Quaternion<T>>
Source§impl<'b, T> Mul<&'b Similarity<T, Unit<Quaternion<T>>, 3>> for Unit<Quaternion<T>>
impl<'b, T> Mul<&'b Similarity<T, Unit<Quaternion<T>>, 3>> for Unit<Quaternion<T>>
type Output = Similarity<T, Unit<Quaternion<T>>, 3>
Source§impl<'b, T> Mul<&'b Translation<T, 3>> for Unit<DualQuaternion<T>>
impl<'b, T> Mul<&'b Translation<T, 3>> for Unit<DualQuaternion<T>>
type Output = Unit<DualQuaternion<T>>
Source§impl<'b, T> Mul<&'b Translation<T, 3>> for Unit<Quaternion<T>>
impl<'b, T> Mul<&'b Translation<T, 3>> for Unit<Quaternion<T>>
Source§impl<'b, T, C> Mul<&'b Unit<Quaternion<T>>> for Transform<T, C, 3>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign + RealField,
C: TCategoryMul<TAffine>,
impl<'b, T, C> Mul<&'b Unit<Quaternion<T>>> for Transform<T, C, 3>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign + RealField,
C: TCategoryMul<TAffine>,
type Output = Transform<T, <C as TCategoryMul<TAffine>>::Representative, 3>
Source§impl<'b, T, C> Mul<&'b Unit<Complex<T>>> for Transform<T, C, 2>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign + RealField,
C: TCategoryMul<TAffine>,
impl<'b, T, C> Mul<&'b Unit<Complex<T>>> for Transform<T, C, 2>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign + RealField,
C: TCategoryMul<TAffine>,
type Output = Transform<T, <C as TCategoryMul<TAffine>>::Representative, 2>
Source§impl<'b, T, C> Mul<&'b Transform<T, C, 2>> for Unit<Complex<T>>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign + RealField,
C: TCategoryMul<TAffine>,
impl<'b, T, C> Mul<&'b Transform<T, C, 2>> for Unit<Complex<T>>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign + RealField,
C: TCategoryMul<TAffine>,
type Output = Transform<T, <C as TCategoryMul<TAffine>>::Representative, 2>
Source§impl<'b, T, C> Mul<&'b Transform<T, C, 3>> for Unit<Quaternion<T>>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign + RealField,
C: TCategoryMul<TAffine>,
impl<'b, T, C> Mul<&'b Transform<T, C, 3>> for Unit<Quaternion<T>>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign + RealField,
C: TCategoryMul<TAffine>,
type Output = Transform<T, <C as TCategoryMul<TAffine>>::Representative, 3>
Source§impl<'b, T, C, R, const D: usize> Mul<&'b Isometry<T, R, D>> for Transform<T, C, D>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign + RealField,
Const<D>: DimNameAdd<Const<1>>,
C: TCategoryMul<TAffine>,
R: SubsetOf<Matrix<T, <Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output, <DefaultAllocator as Allocator<<Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output>>::Buffer<T>>>,
DefaultAllocator: Allocator<<Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output>,
impl<'b, T, C, R, const D: usize> Mul<&'b Isometry<T, R, D>> for Transform<T, C, D>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign + RealField,
Const<D>: DimNameAdd<Const<1>>,
C: TCategoryMul<TAffine>,
R: SubsetOf<Matrix<T, <Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output, <DefaultAllocator as Allocator<<Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output>>::Buffer<T>>>,
DefaultAllocator: Allocator<<Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output>,
type Output = Transform<T, <C as TCategoryMul<TAffine>>::Representative, D>
Source§impl<'b, T, C, R, const D: usize> Mul<&'b Similarity<T, R, D>> for Transform<T, C, D>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign + RealField,
Const<D>: DimNameAdd<Const<1>>,
C: TCategoryMul<TAffine>,
R: SubsetOf<Matrix<T, <Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output, <DefaultAllocator as Allocator<<Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output>>::Buffer<T>>>,
DefaultAllocator: Allocator<<Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output>,
impl<'b, T, C, R, const D: usize> Mul<&'b Similarity<T, R, D>> for Transform<T, C, D>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign + RealField,
Const<D>: DimNameAdd<Const<1>>,
C: TCategoryMul<TAffine>,
R: SubsetOf<Matrix<T, <Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output, <DefaultAllocator as Allocator<<Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output>>::Buffer<T>>>,
DefaultAllocator: Allocator<<Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output>,
type Output = Transform<T, <C as TCategoryMul<TAffine>>::Representative, D>
Source§impl<'b, T, C, R, const D: usize> Mul<&'b Transform<T, C, D>> for Isometry<T, R, D>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign + RealField,
Const<D>: DimNameAdd<Const<1>>,
C: TCategoryMul<TAffine>,
R: SubsetOf<Matrix<T, <Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output, <DefaultAllocator as Allocator<<Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output>>::Buffer<T>>>,
DefaultAllocator: Allocator<<Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output>,
impl<'b, T, C, R, const D: usize> Mul<&'b Transform<T, C, D>> for Isometry<T, R, D>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign + RealField,
Const<D>: DimNameAdd<Const<1>>,
C: TCategoryMul<TAffine>,
R: SubsetOf<Matrix<T, <Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output, <DefaultAllocator as Allocator<<Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output>>::Buffer<T>>>,
DefaultAllocator: Allocator<<Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output>,
type Output = Transform<T, <C as TCategoryMul<TAffine>>::Representative, D>
Source§impl<'b, T, C, R, const D: usize> Mul<&'b Transform<T, C, D>> for Similarity<T, R, D>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign + RealField,
Const<D>: DimNameAdd<Const<1>>,
C: TCategoryMul<TAffine>,
R: SubsetOf<Matrix<T, <Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output, <DefaultAllocator as Allocator<<Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output>>::Buffer<T>>>,
DefaultAllocator: Allocator<<Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output>,
impl<'b, T, C, R, const D: usize> Mul<&'b Transform<T, C, D>> for Similarity<T, R, D>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign + RealField,
Const<D>: DimNameAdd<Const<1>>,
C: TCategoryMul<TAffine>,
R: SubsetOf<Matrix<T, <Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output, <DefaultAllocator as Allocator<<Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output>>::Buffer<T>>>,
DefaultAllocator: Allocator<<Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output>,
type Output = Transform<T, <C as TCategoryMul<TAffine>>::Representative, D>
Source§impl<'b, T, C, const D: usize> Mul<&'b Matrix<T, Const<D>, Const<1>, ArrayStorage<T, D, 1>>> for Transform<T, C, D>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign + RealField,
Const<D>: DimNameAdd<Const<1>>,
C: TCategory,
DefaultAllocator: Allocator<<Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output>,
impl<'b, T, C, const D: usize> Mul<&'b Matrix<T, Const<D>, Const<1>, ArrayStorage<T, D, 1>>> for Transform<T, C, D>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign + RealField,
Const<D>: DimNameAdd<Const<1>>,
C: TCategory,
DefaultAllocator: Allocator<<Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output>,
Source§impl<'b, T, C, const D: usize> Mul<&'b OPoint<T, Const<D>>> for Transform<T, C, D>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign + RealField,
Const<D>: DimNameAdd<Const<1>>,
C: TCategory,
DefaultAllocator: Allocator<<Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output>,
impl<'b, T, C, const D: usize> Mul<&'b OPoint<T, Const<D>>> for Transform<T, C, D>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign + RealField,
Const<D>: DimNameAdd<Const<1>>,
C: TCategory,
DefaultAllocator: Allocator<<Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output>,
Source§impl<'b, T, C, const D: usize> Mul<&'b Rotation<T, D>> for Transform<T, C, D>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign + RealField,
Const<D>: DimNameAdd<Const<1>>,
C: TCategoryMul<TAffine>,
DefaultAllocator: Allocator<<Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output>,
impl<'b, T, C, const D: usize> Mul<&'b Rotation<T, D>> for Transform<T, C, D>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign + RealField,
Const<D>: DimNameAdd<Const<1>>,
C: TCategoryMul<TAffine>,
DefaultAllocator: Allocator<<Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output>,
type Output = Transform<T, <C as TCategoryMul<TAffine>>::Representative, D>
Source§impl<'b, T, C, const D: usize> Mul<&'b Transform<T, C, D>> for Rotation<T, D>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign + RealField,
Const<D>: DimNameAdd<Const<1>>,
C: TCategoryMul<TAffine>,
DefaultAllocator: Allocator<<Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output>,
impl<'b, T, C, const D: usize> Mul<&'b Transform<T, C, D>> for Rotation<T, D>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign + RealField,
Const<D>: DimNameAdd<Const<1>>,
C: TCategoryMul<TAffine>,
DefaultAllocator: Allocator<<Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output>,
type Output = Transform<T, <C as TCategoryMul<TAffine>>::Representative, D>
Source§impl<'b, T, C, const D: usize> Mul<&'b Transform<T, C, D>> for Translation<T, D>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign + RealField,
Const<D>: DimNameAdd<Const<1>>,
C: TCategoryMul<TAffine>,
DefaultAllocator: Allocator<<Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output>,
impl<'b, T, C, const D: usize> Mul<&'b Transform<T, C, D>> for Translation<T, D>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign + RealField,
Const<D>: DimNameAdd<Const<1>>,
C: TCategoryMul<TAffine>,
DefaultAllocator: Allocator<<Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output>,
type Output = Transform<T, <C as TCategoryMul<TAffine>>::Representative, D>
Source§impl<'b, T, C, const D: usize> Mul<&'b Translation<T, D>> for Transform<T, C, D>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign + RealField,
Const<D>: DimNameAdd<Const<1>>,
C: TCategoryMul<TAffine>,
DefaultAllocator: Allocator<<Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output>,
impl<'b, T, C, const D: usize> Mul<&'b Translation<T, D>> for Transform<T, C, D>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign + RealField,
Const<D>: DimNameAdd<Const<1>>,
C: TCategoryMul<TAffine>,
DefaultAllocator: Allocator<<Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output>,
type Output = Transform<T, <C as TCategoryMul<TAffine>>::Representative, D>
Source§impl<'b, T, CA, CB, const D: usize> Mul<&'b Transform<T, CB, D>> for Transform<T, CA, D>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign + RealField,
Const<D>: DimNameAdd<Const<1>>,
CA: TCategoryMul<CB>,
CB: TCategory,
DefaultAllocator: Allocator<<Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output>,
impl<'b, T, CA, CB, const D: usize> Mul<&'b Transform<T, CB, D>> for Transform<T, CA, D>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign + RealField,
Const<D>: DimNameAdd<Const<1>>,
CA: TCategoryMul<CB>,
CB: TCategory,
DefaultAllocator: Allocator<<Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output>,
type Output = Transform<T, <CA as TCategoryMul<CB>>::Representative, D>
Source§impl<'b, T, R1, C1, R2, C2, SA, SB> Mul<&'b Matrix<T, R2, C2, SB>> for Matrix<T, R1, C1, SA>where
R1: Dim,
C1: Dim,
R2: Dim,
C2: Dim,
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign,
SB: Storage<T, R2, C2>,
SA: Storage<T, R1, C1>,
DefaultAllocator: Allocator<R1, C2>,
ShapeConstraint: AreMultipliable<R1, C1, R2, C2>,
impl<'b, T, R1, C1, R2, C2, SA, SB> Mul<&'b Matrix<T, R2, C2, SB>> for Matrix<T, R1, C1, SA>where
R1: Dim,
C1: Dim,
R2: Dim,
C2: Dim,
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign,
SB: Storage<T, R2, C2>,
SA: Storage<T, R1, C1>,
DefaultAllocator: Allocator<R1, C2>,
ShapeConstraint: AreMultipliable<R1, C1, R2, C2>,
Source§impl<'b, T, R1, C1, SA, const D2: usize> Mul<&'b Rotation<T, D2>> for Matrix<T, R1, C1, SA>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign,
R1: Dim,
C1: Dim,
SA: Storage<T, R1, C1>,
DefaultAllocator: Allocator<R1, Const<D2>>,
ShapeConstraint: AreMultipliable<R1, C1, Const<D2>, Const<D2>>,
impl<'b, T, R1, C1, SA, const D2: usize> Mul<&'b Rotation<T, D2>> for Matrix<T, R1, C1, SA>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign,
R1: Dim,
C1: Dim,
SA: Storage<T, R1, C1>,
DefaultAllocator: Allocator<R1, Const<D2>>,
ShapeConstraint: AreMultipliable<R1, C1, Const<D2>, Const<D2>>,
Source§impl<'b, T, R2, C2, SB, const D1: usize> Mul<&'b Matrix<T, R2, C2, SB>> for Rotation<T, D1>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign,
R2: Dim,
C2: Dim,
SB: Storage<T, R2, C2>,
DefaultAllocator: Allocator<Const<D1>, C2>,
ShapeConstraint: AreMultipliable<Const<D1>, Const<D1>, R2, C2>,
impl<'b, T, R2, C2, SB, const D1: usize> Mul<&'b Matrix<T, R2, C2, SB>> for Rotation<T, D1>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign,
R2: Dim,
C2: Dim,
SB: Storage<T, R2, C2>,
DefaultAllocator: Allocator<Const<D1>, C2>,
ShapeConstraint: AreMultipliable<Const<D1>, Const<D1>, R2, C2>,
Source§impl<'b, T, R, const D: usize> Mul<&'b Matrix<T, Const<D>, Const<1>, ArrayStorage<T, D, 1>>> for Isometry<T, R, D>
impl<'b, T, R, const D: usize> Mul<&'b Matrix<T, Const<D>, Const<1>, ArrayStorage<T, D, 1>>> for Isometry<T, R, D>
Source§impl<'b, T, R, const D: usize> Mul<&'b Matrix<T, Const<D>, Const<1>, ArrayStorage<T, D, 1>>> for Similarity<T, R, D>
impl<'b, T, R, const D: usize> Mul<&'b Matrix<T, Const<D>, Const<1>, ArrayStorage<T, D, 1>>> for Similarity<T, R, D>
Source§impl<'b, T, R, const D: usize> Mul<&'b Unit<Matrix<T, Const<D>, Const<1>, ArrayStorage<T, D, 1>>>> for Isometry<T, R, D>
impl<'b, T, R, const D: usize> Mul<&'b Unit<Matrix<T, Const<D>, Const<1>, ArrayStorage<T, D, 1>>>> for Isometry<T, R, D>
Source§impl<'b, T, R, const D: usize> Mul<&'b Isometry<T, R, D>> for Similarity<T, R, D>
impl<'b, T, R, const D: usize> Mul<&'b Isometry<T, R, D>> for Similarity<T, R, D>
type Output = Similarity<T, R, D>
Source§impl<'b, T, R, const D: usize> Mul<&'b Similarity<T, R, D>> for Isometry<T, R, D>
impl<'b, T, R, const D: usize> Mul<&'b Similarity<T, R, D>> for Isometry<T, R, D>
type Output = Similarity<T, R, D>
Source§impl<'b, T, R, const D: usize> Mul<&'b Similarity<T, R, D>> for Similarity<T, R, D>
impl<'b, T, R, const D: usize> Mul<&'b Similarity<T, R, D>> for Similarity<T, R, D>
type Output = Similarity<T, R, D>
Source§impl<'b, T, R, const D: usize> Mul<&'b Similarity<T, R, D>> for Translation<T, D>
impl<'b, T, R, const D: usize> Mul<&'b Similarity<T, R, D>> for Translation<T, D>
type Output = Similarity<T, R, D>
Source§impl<'b, T, R, const D: usize> Mul<&'b Translation<T, D>> for Similarity<T, R, D>
impl<'b, T, R, const D: usize> Mul<&'b Translation<T, D>> for Similarity<T, R, D>
type Output = Similarity<T, R, D>
Source§impl<'b, T, S, const D: usize> Mul<&'b Unit<Matrix<T, Const<D>, Const<1>, S>>> for Rotation<T, D>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign,
S: Storage<T, Const<D>>,
ShapeConstraint: AreMultipliable<Const<D>, Const<D>, Const<D>, Const<1>>,
impl<'b, T, S, const D: usize> Mul<&'b Unit<Matrix<T, Const<D>, Const<1>, S>>> for Rotation<T, D>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign,
S: Storage<T, Const<D>>,
ShapeConstraint: AreMultipliable<Const<D>, Const<D>, Const<D>, Const<1>>,
Source§impl<'b, T, SA, const D2: usize, const R1: usize, const C1: usize> Mul<&'b OPoint<T, Const<D2>>> for Matrix<T, Const<R1>, Const<C1>, SA>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign,
SA: Storage<T, Const<R1>, Const<C1>>,
ShapeConstraint: AreMultipliable<Const<R1>, Const<C1>, Const<D2>, Const<1>>,
impl<'b, T, SA, const D2: usize, const R1: usize, const C1: usize> Mul<&'b OPoint<T, Const<D2>>> for Matrix<T, Const<R1>, Const<C1>, SA>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign,
SA: Storage<T, Const<R1>, Const<C1>>,
ShapeConstraint: AreMultipliable<Const<R1>, Const<C1>, Const<D2>, Const<1>>,
Source§impl<'b, T, const D: usize> Mul<&'b Matrix<T, Const<D>, Const<1>, ArrayStorage<T, D, 1>>> for Scale<T, D>where
T: Scalar + ClosedMulAssign,
ShapeConstraint: SameNumberOfRows<Const<D>, Const<D>, Representative = Const<D>> + SameNumberOfColumns<Const<1>, Const<1>, Representative = Const<1>>,
impl<'b, T, const D: usize> Mul<&'b Matrix<T, Const<D>, Const<1>, ArrayStorage<T, D, 1>>> for Scale<T, D>where
T: Scalar + ClosedMulAssign,
ShapeConstraint: SameNumberOfRows<Const<D>, Const<D>, Representative = Const<D>> + SameNumberOfColumns<Const<1>, Const<1>, Representative = Const<1>>,
Source§impl<'b, T, const D: usize> Mul<&'b OPoint<T, Const<D>>> for Rotation<T, D>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign,
ShapeConstraint: AreMultipliable<Const<D>, Const<D>, Const<D>, Const<1>>,
impl<'b, T, const D: usize> Mul<&'b OPoint<T, Const<D>>> for Rotation<T, D>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign,
ShapeConstraint: AreMultipliable<Const<D>, Const<D>, Const<D>, Const<1>>,
Source§impl<'b, T, const D: usize> Mul<&'b OPoint<T, Const<D>>> for Scale<T, D>where
T: Scalar + ClosedMulAssign,
ShapeConstraint: SameNumberOfRows<Const<D>, Const<D>, Representative = Const<D>> + SameNumberOfColumns<Const<1>, Const<1>, Representative = Const<1>>,
impl<'b, T, const D: usize> Mul<&'b OPoint<T, Const<D>>> for Scale<T, D>where
T: Scalar + ClosedMulAssign,
ShapeConstraint: SameNumberOfRows<Const<D>, Const<D>, Representative = Const<D>> + SameNumberOfColumns<Const<1>, Const<1>, Representative = Const<1>>,
Source§impl<'b, T, const D: usize> Mul<&'b OPoint<T, Const<D>>> for Translation<T, D>where
T: Scalar + ClosedAddAssign,
ShapeConstraint: SameNumberOfRows<Const<D>, Const<D>, Representative = Const<D>> + SameNumberOfColumns<Const<1>, Const<1>, Representative = Const<1>>,
impl<'b, T, const D: usize> Mul<&'b OPoint<T, Const<D>>> for Translation<T, D>where
T: Scalar + ClosedAddAssign,
ShapeConstraint: SameNumberOfRows<Const<D>, Const<D>, Representative = Const<D>> + SameNumberOfColumns<Const<1>, Const<1>, Representative = Const<1>>,
Source§impl<'b, T, const D: usize> Mul<&'b Rotation<T, D>> for Similarity<T, Rotation<T, D>, D>
impl<'b, T, const D: usize> Mul<&'b Rotation<T, D>> for Similarity<T, Rotation<T, D>, D>
type Output = Similarity<T, Rotation<T, D>, D>
Source§impl<'b, T, const D: usize> Mul<&'b Scale<T, D>> for Scale<T, D>where
T: Scalar + ClosedMulAssign,
ShapeConstraint: SameNumberOfRows<Const<D>, Const<D>, Representative = Const<D>> + SameNumberOfColumns<Const<1>, Const<1>, Representative = Const<1>>,
impl<'b, T, const D: usize> Mul<&'b Scale<T, D>> for Scale<T, D>where
T: Scalar + ClosedMulAssign,
ShapeConstraint: SameNumberOfRows<Const<D>, Const<D>, Representative = Const<D>> + SameNumberOfColumns<Const<1>, Const<1>, Representative = Const<1>>,
Source§impl<'b, T, const D: usize> Mul<&'b Similarity<T, Rotation<T, D>, D>> for Rotation<T, D>
impl<'b, T, const D: usize> Mul<&'b Similarity<T, Rotation<T, D>, D>> for Rotation<T, D>
type Output = Similarity<T, Rotation<T, D>, D>
Source§impl<'b, T, const D: usize> Mul<&'b Translation<T, D>> for Translation<T, D>where
T: Scalar + ClosedAddAssign,
ShapeConstraint: SameNumberOfRows<Const<D>, Const<D>, Representative = Const<D>> + SameNumberOfColumns<Const<1>, Const<1>, Representative = Const<1>>,
impl<'b, T, const D: usize> Mul<&'b Translation<T, D>> for Translation<T, D>where
T: Scalar + ClosedAddAssign,
ShapeConstraint: SameNumberOfRows<Const<D>, Const<D>, Representative = Const<D>> + SameNumberOfColumns<Const<1>, Const<1>, Representative = Const<1>>,
type Output = Translation<T, D>
Source§impl<T> Mul for Unit<DualQuaternion<T>>
impl<T> Mul for Unit<DualQuaternion<T>>
type Output = Unit<DualQuaternion<T>>
Source§impl<T> Mul for Unit<Quaternion<T>>
impl<T> Mul for Unit<Quaternion<T>>
type Output = Unit<Quaternion<T>>
Source§impl<T> Mul for DualQuaternion<T>
impl<T> Mul for DualQuaternion<T>
type Output = DualQuaternion<T>
Source§impl<T> Mul for Quaternion<T>
impl<T> Mul for Quaternion<T>
type Output = Quaternion<T>
Source§impl<T> Mul<Unit<DualQuaternion<T>>> for Unit<Quaternion<T>>
impl<T> Mul<Unit<DualQuaternion<T>>> for Unit<Quaternion<T>>
type Output = Unit<DualQuaternion<T>>
Source§impl<T> Mul<Unit<DualQuaternion<T>>> for DualQuaternion<T>
impl<T> Mul<Unit<DualQuaternion<T>>> for DualQuaternion<T>
type Output = DualQuaternion<T>
Source§impl<T> Mul<Unit<DualQuaternion<T>>> for Isometry<T, Unit<Quaternion<T>>, 3>
impl<T> Mul<Unit<DualQuaternion<T>>> for Isometry<T, Unit<Quaternion<T>>, 3>
type Output = Unit<DualQuaternion<T>>
Source§impl<T> Mul<Unit<DualQuaternion<T>>> for Translation<T, 3>
impl<T> Mul<Unit<DualQuaternion<T>>> for Translation<T, 3>
type Output = Unit<DualQuaternion<T>>
Source§impl<T> Mul<Unit<Quaternion<T>>> for Unit<DualQuaternion<T>>
impl<T> Mul<Unit<Quaternion<T>>> for Unit<DualQuaternion<T>>
type Output = Unit<DualQuaternion<T>>
Source§impl<T> Mul<Unit<Quaternion<T>>> for Isometry<T, Unit<Quaternion<T>>, 3>
impl<T> Mul<Unit<Quaternion<T>>> for Isometry<T, Unit<Quaternion<T>>, 3>
Source§impl<T> Mul<Unit<Quaternion<T>>> for Similarity<T, Unit<Quaternion<T>>, 3>
impl<T> Mul<Unit<Quaternion<T>>> for Similarity<T, Unit<Quaternion<T>>, 3>
type Output = Similarity<T, Unit<Quaternion<T>>, 3>
Source§impl<T> Mul<Unit<Quaternion<T>>> for Translation<T, 3>
impl<T> Mul<Unit<Quaternion<T>>> for Translation<T, 3>
Source§impl<T> Mul<DualQuaternion<T>> for Unit<DualQuaternion<T>>
impl<T> Mul<DualQuaternion<T>> for Unit<DualQuaternion<T>>
type Output = DualQuaternion<T>
Source§impl<T> Mul<Isometry<T, Unit<Quaternion<T>>, 3>> for Unit<DualQuaternion<T>>
impl<T> Mul<Isometry<T, Unit<Quaternion<T>>, 3>> for Unit<DualQuaternion<T>>
type Output = Unit<DualQuaternion<T>>
Source§impl<T> Mul<Isometry<T, Unit<Quaternion<T>>, 3>> for Unit<Quaternion<T>>
impl<T> Mul<Isometry<T, Unit<Quaternion<T>>, 3>> for Unit<Quaternion<T>>
Source§impl<T> Mul<Similarity<T, Unit<Quaternion<T>>, 3>> for Unit<Quaternion<T>>
impl<T> Mul<Similarity<T, Unit<Quaternion<T>>, 3>> for Unit<Quaternion<T>>
type Output = Similarity<T, Unit<Quaternion<T>>, 3>
Source§impl<T> Mul<Translation<T, 3>> for Unit<DualQuaternion<T>>
impl<T> Mul<Translation<T, 3>> for Unit<DualQuaternion<T>>
type Output = Unit<DualQuaternion<T>>
Source§impl<T> Mul<Translation<T, 3>> for Unit<Quaternion<T>>
impl<T> Mul<Translation<T, 3>> for Unit<Quaternion<T>>
Source§impl<T> Mul<T> for DualQuaternion<T>
impl<T> Mul<T> for DualQuaternion<T>
type Output = DualQuaternion<T>
Source§impl<T> Mul<T> for Quaternion<T>
impl<T> Mul<T> for Quaternion<T>
type Output = Quaternion<T>
Source§impl<T, C> Mul<Unit<Quaternion<T>>> for Transform<T, C, 3>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign + RealField,
C: TCategoryMul<TAffine>,
impl<T, C> Mul<Unit<Quaternion<T>>> for Transform<T, C, 3>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign + RealField,
C: TCategoryMul<TAffine>,
type Output = Transform<T, <C as TCategoryMul<TAffine>>::Representative, 3>
Source§impl<T, C> Mul<Unit<Complex<T>>> for Transform<T, C, 2>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign + RealField,
C: TCategoryMul<TAffine>,
impl<T, C> Mul<Unit<Complex<T>>> for Transform<T, C, 2>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign + RealField,
C: TCategoryMul<TAffine>,
type Output = Transform<T, <C as TCategoryMul<TAffine>>::Representative, 2>
Source§impl<T, C> Mul<Transform<T, C, 2>> for Unit<Complex<T>>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign + RealField,
C: TCategoryMul<TAffine>,
impl<T, C> Mul<Transform<T, C, 2>> for Unit<Complex<T>>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign + RealField,
C: TCategoryMul<TAffine>,
type Output = Transform<T, <C as TCategoryMul<TAffine>>::Representative, 2>
Source§impl<T, C> Mul<Transform<T, C, 3>> for Unit<Quaternion<T>>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign + RealField,
C: TCategoryMul<TAffine>,
impl<T, C> Mul<Transform<T, C, 3>> for Unit<Quaternion<T>>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign + RealField,
C: TCategoryMul<TAffine>,
type Output = Transform<T, <C as TCategoryMul<TAffine>>::Representative, 3>
Source§impl<T, C, R, const D: usize> Mul<Isometry<T, R, D>> for Transform<T, C, D>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign + RealField,
Const<D>: DimNameAdd<Const<1>>,
C: TCategoryMul<TAffine>,
R: SubsetOf<Matrix<T, <Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output, <DefaultAllocator as Allocator<<Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output>>::Buffer<T>>>,
DefaultAllocator: Allocator<<Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output>,
impl<T, C, R, const D: usize> Mul<Isometry<T, R, D>> for Transform<T, C, D>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign + RealField,
Const<D>: DimNameAdd<Const<1>>,
C: TCategoryMul<TAffine>,
R: SubsetOf<Matrix<T, <Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output, <DefaultAllocator as Allocator<<Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output>>::Buffer<T>>>,
DefaultAllocator: Allocator<<Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output>,
type Output = Transform<T, <C as TCategoryMul<TAffine>>::Representative, D>
Source§impl<T, C, R, const D: usize> Mul<Similarity<T, R, D>> for Transform<T, C, D>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign + RealField,
Const<D>: DimNameAdd<Const<1>>,
C: TCategoryMul<TAffine>,
R: SubsetOf<Matrix<T, <Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output, <DefaultAllocator as Allocator<<Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output>>::Buffer<T>>>,
DefaultAllocator: Allocator<<Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output>,
impl<T, C, R, const D: usize> Mul<Similarity<T, R, D>> for Transform<T, C, D>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign + RealField,
Const<D>: DimNameAdd<Const<1>>,
C: TCategoryMul<TAffine>,
R: SubsetOf<Matrix<T, <Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output, <DefaultAllocator as Allocator<<Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output>>::Buffer<T>>>,
DefaultAllocator: Allocator<<Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output>,
type Output = Transform<T, <C as TCategoryMul<TAffine>>::Representative, D>
Source§impl<T, C, R, const D: usize> Mul<Transform<T, C, D>> for Isometry<T, R, D>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign + RealField,
Const<D>: DimNameAdd<Const<1>>,
C: TCategoryMul<TAffine>,
R: SubsetOf<Matrix<T, <Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output, <DefaultAllocator as Allocator<<Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output>>::Buffer<T>>>,
DefaultAllocator: Allocator<<Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output>,
impl<T, C, R, const D: usize> Mul<Transform<T, C, D>> for Isometry<T, R, D>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign + RealField,
Const<D>: DimNameAdd<Const<1>>,
C: TCategoryMul<TAffine>,
R: SubsetOf<Matrix<T, <Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output, <DefaultAllocator as Allocator<<Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output>>::Buffer<T>>>,
DefaultAllocator: Allocator<<Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output>,
type Output = Transform<T, <C as TCategoryMul<TAffine>>::Representative, D>
Source§impl<T, C, R, const D: usize> Mul<Transform<T, C, D>> for Similarity<T, R, D>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign + RealField,
Const<D>: DimNameAdd<Const<1>>,
C: TCategoryMul<TAffine>,
R: SubsetOf<Matrix<T, <Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output, <DefaultAllocator as Allocator<<Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output>>::Buffer<T>>>,
DefaultAllocator: Allocator<<Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output>,
impl<T, C, R, const D: usize> Mul<Transform<T, C, D>> for Similarity<T, R, D>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign + RealField,
Const<D>: DimNameAdd<Const<1>>,
C: TCategoryMul<TAffine>,
R: SubsetOf<Matrix<T, <Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output, <DefaultAllocator as Allocator<<Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output>>::Buffer<T>>>,
DefaultAllocator: Allocator<<Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output>,
type Output = Transform<T, <C as TCategoryMul<TAffine>>::Representative, D>
Source§impl<T, C, const D: usize> Mul<Matrix<T, Const<D>, Const<1>, ArrayStorage<T, D, 1>>> for Transform<T, C, D>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign + RealField,
Const<D>: DimNameAdd<Const<1>>,
C: TCategory,
DefaultAllocator: Allocator<<Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output>,
impl<T, C, const D: usize> Mul<Matrix<T, Const<D>, Const<1>, ArrayStorage<T, D, 1>>> for Transform<T, C, D>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign + RealField,
Const<D>: DimNameAdd<Const<1>>,
C: TCategory,
DefaultAllocator: Allocator<<Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output>,
Source§impl<T, C, const D: usize> Mul<OPoint<T, Const<D>>> for Transform<T, C, D>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign + RealField,
Const<D>: DimNameAdd<Const<1>>,
C: TCategory,
DefaultAllocator: Allocator<<Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output>,
impl<T, C, const D: usize> Mul<OPoint<T, Const<D>>> for Transform<T, C, D>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign + RealField,
Const<D>: DimNameAdd<Const<1>>,
C: TCategory,
DefaultAllocator: Allocator<<Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output>,
Source§impl<T, C, const D: usize> Mul<Rotation<T, D>> for Transform<T, C, D>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign + RealField,
Const<D>: DimNameAdd<Const<1>>,
C: TCategoryMul<TAffine>,
DefaultAllocator: Allocator<<Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output>,
impl<T, C, const D: usize> Mul<Rotation<T, D>> for Transform<T, C, D>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign + RealField,
Const<D>: DimNameAdd<Const<1>>,
C: TCategoryMul<TAffine>,
DefaultAllocator: Allocator<<Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output>,
type Output = Transform<T, <C as TCategoryMul<TAffine>>::Representative, D>
Source§impl<T, C, const D: usize> Mul<Transform<T, C, D>> for Rotation<T, D>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign + RealField,
Const<D>: DimNameAdd<Const<1>>,
C: TCategoryMul<TAffine>,
DefaultAllocator: Allocator<<Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output>,
impl<T, C, const D: usize> Mul<Transform<T, C, D>> for Rotation<T, D>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign + RealField,
Const<D>: DimNameAdd<Const<1>>,
C: TCategoryMul<TAffine>,
DefaultAllocator: Allocator<<Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output>,
type Output = Transform<T, <C as TCategoryMul<TAffine>>::Representative, D>
Source§impl<T, C, const D: usize> Mul<Transform<T, C, D>> for Translation<T, D>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign + RealField,
Const<D>: DimNameAdd<Const<1>>,
C: TCategoryMul<TAffine>,
DefaultAllocator: Allocator<<Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output>,
impl<T, C, const D: usize> Mul<Transform<T, C, D>> for Translation<T, D>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign + RealField,
Const<D>: DimNameAdd<Const<1>>,
C: TCategoryMul<TAffine>,
DefaultAllocator: Allocator<<Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output>,
type Output = Transform<T, <C as TCategoryMul<TAffine>>::Representative, D>
Source§impl<T, C, const D: usize> Mul<Translation<T, D>> for Transform<T, C, D>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign + RealField,
Const<D>: DimNameAdd<Const<1>>,
C: TCategoryMul<TAffine>,
DefaultAllocator: Allocator<<Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output>,
impl<T, C, const D: usize> Mul<Translation<T, D>> for Transform<T, C, D>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign + RealField,
Const<D>: DimNameAdd<Const<1>>,
C: TCategoryMul<TAffine>,
DefaultAllocator: Allocator<<Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output>,
type Output = Transform<T, <C as TCategoryMul<TAffine>>::Representative, D>
Source§impl<T, CA, CB, const D: usize> Mul<Transform<T, CB, D>> for Transform<T, CA, D>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign + RealField,
Const<D>: DimNameAdd<Const<1>>,
CA: TCategoryMul<CB>,
CB: TCategory,
DefaultAllocator: Allocator<<Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output>,
impl<T, CA, CB, const D: usize> Mul<Transform<T, CB, D>> for Transform<T, CA, D>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign + RealField,
Const<D>: DimNameAdd<Const<1>>,
CA: TCategoryMul<CB>,
CB: TCategory,
DefaultAllocator: Allocator<<Const<D> as DimNameAdd<Const<1>>>::Output, <Const<D> as DimNameAdd<Const<1>>>::Output>,
type Output = Transform<T, <CA as TCategoryMul<CB>>::Representative, D>
Source§impl<T, R1, C1, R2, C2, SA, SB> Mul<Matrix<T, R2, C2, SB>> for Matrix<T, R1, C1, SA>where
R1: Dim,
C1: Dim,
R2: Dim,
C2: Dim,
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign,
SB: Storage<T, R2, C2>,
SA: Storage<T, R1, C1>,
DefaultAllocator: Allocator<R1, C2>,
ShapeConstraint: AreMultipliable<R1, C1, R2, C2>,
impl<T, R1, C1, R2, C2, SA, SB> Mul<Matrix<T, R2, C2, SB>> for Matrix<T, R1, C1, SA>where
R1: Dim,
C1: Dim,
R2: Dim,
C2: Dim,
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign,
SB: Storage<T, R2, C2>,
SA: Storage<T, R1, C1>,
DefaultAllocator: Allocator<R1, C2>,
ShapeConstraint: AreMultipliable<R1, C1, R2, C2>,
Source§impl<T, R1, C1, SA, const D2: usize> Mul<Rotation<T, D2>> for Matrix<T, R1, C1, SA>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign,
R1: Dim,
C1: Dim,
SA: Storage<T, R1, C1>,
DefaultAllocator: Allocator<R1, Const<D2>>,
ShapeConstraint: AreMultipliable<R1, C1, Const<D2>, Const<D2>>,
impl<T, R1, C1, SA, const D2: usize> Mul<Rotation<T, D2>> for Matrix<T, R1, C1, SA>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign,
R1: Dim,
C1: Dim,
SA: Storage<T, R1, C1>,
DefaultAllocator: Allocator<R1, Const<D2>>,
ShapeConstraint: AreMultipliable<R1, C1, Const<D2>, Const<D2>>,
Source§impl<T, R2, C2, SB, const D1: usize> Mul<Matrix<T, R2, C2, SB>> for Rotation<T, D1>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign,
R2: Dim,
C2: Dim,
SB: Storage<T, R2, C2>,
DefaultAllocator: Allocator<Const<D1>, C2>,
ShapeConstraint: AreMultipliable<Const<D1>, Const<D1>, R2, C2>,
impl<T, R2, C2, SB, const D1: usize> Mul<Matrix<T, R2, C2, SB>> for Rotation<T, D1>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign,
R2: Dim,
C2: Dim,
SB: Storage<T, R2, C2>,
DefaultAllocator: Allocator<Const<D1>, C2>,
ShapeConstraint: AreMultipliable<Const<D1>, Const<D1>, R2, C2>,
Source§impl<T, R, C, S> Mul<T> for Matrix<T, R, C, S>where
R: Dim,
C: Dim,
T: Scalar + ClosedMulAssign,
S: Storage<T, R, C>,
DefaultAllocator: Allocator<R, C>,
impl<T, R, C, S> Mul<T> for Matrix<T, R, C, S>where
R: Dim,
C: Dim,
T: Scalar + ClosedMulAssign,
S: Storage<T, R, C>,
DefaultAllocator: Allocator<R, C>,
Source§impl<T, R, const D: usize> Mul for Similarity<T, R, D>
impl<T, R, const D: usize> Mul for Similarity<T, R, D>
type Output = Similarity<T, R, D>
Source§impl<T, R, const D: usize> Mul<Matrix<T, Const<D>, Const<1>, ArrayStorage<T, D, 1>>> for Isometry<T, R, D>
impl<T, R, const D: usize> Mul<Matrix<T, Const<D>, Const<1>, ArrayStorage<T, D, 1>>> for Isometry<T, R, D>
Source§impl<T, R, const D: usize> Mul<Matrix<T, Const<D>, Const<1>, ArrayStorage<T, D, 1>>> for Similarity<T, R, D>
impl<T, R, const D: usize> Mul<Matrix<T, Const<D>, Const<1>, ArrayStorage<T, D, 1>>> for Similarity<T, R, D>
Source§impl<T, R, const D: usize> Mul<Unit<Matrix<T, Const<D>, Const<1>, ArrayStorage<T, D, 1>>>> for Isometry<T, R, D>
impl<T, R, const D: usize> Mul<Unit<Matrix<T, Const<D>, Const<1>, ArrayStorage<T, D, 1>>>> for Isometry<T, R, D>
Source§impl<T, R, const D: usize> Mul<Isometry<T, R, D>> for Similarity<T, R, D>
impl<T, R, const D: usize> Mul<Isometry<T, R, D>> for Similarity<T, R, D>
type Output = Similarity<T, R, D>
Source§impl<T, R, const D: usize> Mul<Similarity<T, R, D>> for Isometry<T, R, D>
impl<T, R, const D: usize> Mul<Similarity<T, R, D>> for Isometry<T, R, D>
type Output = Similarity<T, R, D>
Source§impl<T, R, const D: usize> Mul<Similarity<T, R, D>> for Translation<T, D>
impl<T, R, const D: usize> Mul<Similarity<T, R, D>> for Translation<T, D>
type Output = Similarity<T, R, D>
Source§impl<T, R, const D: usize> Mul<Translation<T, D>> for Similarity<T, R, D>
impl<T, R, const D: usize> Mul<Translation<T, D>> for Similarity<T, R, D>
type Output = Similarity<T, R, D>
Source§impl<T, S, const D: usize> Mul<Unit<Matrix<T, Const<D>, Const<1>, S>>> for Rotation<T, D>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign,
S: Storage<T, Const<D>>,
ShapeConstraint: AreMultipliable<Const<D>, Const<D>, Const<D>, Const<1>>,
impl<T, S, const D: usize> Mul<Unit<Matrix<T, Const<D>, Const<1>, S>>> for Rotation<T, D>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign,
S: Storage<T, Const<D>>,
ShapeConstraint: AreMultipliable<Const<D>, Const<D>, Const<D>, Const<1>>,
Source§impl<T, SA, const D2: usize, const R1: usize, const C1: usize> Mul<OPoint<T, Const<D2>>> for Matrix<T, Const<R1>, Const<C1>, SA>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign,
SA: Storage<T, Const<R1>, Const<C1>>,
ShapeConstraint: AreMultipliable<Const<R1>, Const<C1>, Const<D2>, Const<1>>,
impl<T, SA, const D2: usize, const R1: usize, const C1: usize> Mul<OPoint<T, Const<D2>>> for Matrix<T, Const<R1>, Const<C1>, SA>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign,
SA: Storage<T, Const<R1>, Const<C1>>,
ShapeConstraint: AreMultipliable<Const<R1>, Const<C1>, Const<D2>, Const<1>>,
Source§impl<T, const D: usize> Mul for Scale<T, D>where
T: Scalar + ClosedMulAssign,
ShapeConstraint: SameNumberOfRows<Const<D>, Const<D>, Representative = Const<D>> + SameNumberOfColumns<Const<1>, Const<1>, Representative = Const<1>>,
impl<T, const D: usize> Mul for Scale<T, D>where
T: Scalar + ClosedMulAssign,
ShapeConstraint: SameNumberOfRows<Const<D>, Const<D>, Representative = Const<D>> + SameNumberOfColumns<Const<1>, Const<1>, Representative = Const<1>>,
Source§impl<T, const D: usize> Mul for Translation<T, D>where
T: Scalar + ClosedAddAssign,
ShapeConstraint: SameNumberOfRows<Const<D>, Const<D>, Representative = Const<D>> + SameNumberOfColumns<Const<1>, Const<1>, Representative = Const<1>>,
impl<T, const D: usize> Mul for Translation<T, D>where
T: Scalar + ClosedAddAssign,
ShapeConstraint: SameNumberOfRows<Const<D>, Const<D>, Representative = Const<D>> + SameNumberOfColumns<Const<1>, Const<1>, Representative = Const<1>>,
type Output = Translation<T, D>
Source§impl<T, const D: usize> Mul<Matrix<T, Const<D>, Const<1>, ArrayStorage<T, D, 1>>> for Scale<T, D>where
T: Scalar + ClosedMulAssign,
ShapeConstraint: SameNumberOfRows<Const<D>, Const<D>, Representative = Const<D>> + SameNumberOfColumns<Const<1>, Const<1>, Representative = Const<1>>,
impl<T, const D: usize> Mul<Matrix<T, Const<D>, Const<1>, ArrayStorage<T, D, 1>>> for Scale<T, D>where
T: Scalar + ClosedMulAssign,
ShapeConstraint: SameNumberOfRows<Const<D>, Const<D>, Representative = Const<D>> + SameNumberOfColumns<Const<1>, Const<1>, Representative = Const<1>>,
Source§impl<T, const D: usize> Mul<OPoint<T, Const<D>>> for Rotation<T, D>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign,
ShapeConstraint: AreMultipliable<Const<D>, Const<D>, Const<D>, Const<1>>,
impl<T, const D: usize> Mul<OPoint<T, Const<D>>> for Rotation<T, D>where
T: Scalar + Zero + One + ClosedAddAssign + ClosedMulAssign,
ShapeConstraint: AreMultipliable<Const<D>, Const<D>, Const<D>, Const<1>>,
Source§impl<T, const D: usize> Mul<OPoint<T, Const<D>>> for Scale<T, D>where
T: Scalar + ClosedMulAssign,
ShapeConstraint: SameNumberOfRows<Const<D>, Const<D>, Representative = Const<D>> + SameNumberOfColumns<Const<1>, Const<1>, Representative = Const<1>>,
impl<T, const D: usize> Mul<OPoint<T, Const<D>>> for Scale<T, D>where
T: Scalar + ClosedMulAssign,
ShapeConstraint: SameNumberOfRows<Const<D>, Const<D>, Representative = Const<D>> + SameNumberOfColumns<Const<1>, Const<1>, Representative = Const<1>>,
Source§impl<T, const D: usize> Mul<OPoint<T, Const<D>>> for Translation<T, D>where
T: Scalar + ClosedAddAssign,
ShapeConstraint: SameNumberOfRows<Const<D>, Const<D>, Representative = Const<D>> + SameNumberOfColumns<Const<1>, Const<1>, Representative = Const<1>>,
impl<T, const D: usize> Mul<OPoint<T, Const<D>>> for Translation<T, D>where
T: Scalar + ClosedAddAssign,
ShapeConstraint: SameNumberOfRows<Const<D>, Const<D>, Representative = Const<D>> + SameNumberOfColumns<Const<1>, Const<1>, Representative = Const<1>>,
Source§impl<T, const D: usize> Mul<Rotation<T, D>> for Similarity<T, Rotation<T, D>, D>
impl<T, const D: usize> Mul<Rotation<T, D>> for Similarity<T, Rotation<T, D>, D>
type Output = Similarity<T, Rotation<T, D>, D>
Source§impl<T, const D: usize> Mul<Similarity<T, Rotation<T, D>, D>> for Rotation<T, D>
impl<T, const D: usize> Mul<Similarity<T, Rotation<T, D>, D>> for Rotation<T, D>
type Output = Similarity<T, Rotation<T, D>, D>
Source§impl<T, const D: usize> Mul<T> for Scale<T, D>where
T: Scalar + ClosedMulAssign,
ShapeConstraint: SameNumberOfRows<Const<D>, Const<D>, Representative = Const<D>> + SameNumberOfColumns<Const<1>, Const<1>, Representative = Const<1>>,
impl<T, const D: usize> Mul<T> for Scale<T, D>where
T: Scalar + ClosedMulAssign,
ShapeConstraint: SameNumberOfRows<Const<D>, Const<D>, Representative = Const<D>> + SameNumberOfColumns<Const<1>, Const<1>, Representative = Const<1>>,
Source§impl<Ul, B, Ur> Mul<UInt<Ur, B>> for UInt<Ul, B0>
UInt<Ul, B0> * UInt<Ur, B> = UInt<(Ul * UInt<Ur, B>), B0>
impl<Ul, B, Ur> Mul<UInt<Ur, B>> for UInt<Ul, B0>
UInt<Ul, B0> * UInt<Ur, B> = UInt<(Ul * UInt<Ur, B>), B0>
Source§impl<Ul, B, Ur> Mul<UInt<Ur, B>> for UInt<Ul, B1>
UInt<Ul, B1> * UInt<Ur, B> = UInt<(Ul * UInt<Ur, B>), B0> + UInt<Ur, B>
impl<Ul, B, Ur> Mul<UInt<Ur, B>> for UInt<Ul, B1>
UInt<Ul, B1> * UInt<Ur, B> = UInt<(Ul * UInt<Ur, B>), B0> + UInt<Ur, B>