Trait wedged::subspace::VersorMul

pub trait VersorMul<Rhs>: Sized {
    type Output;
    fn versor_mul(self, rhs: Rhs) -> Self::Output;
}

Implemented on versor types in order to apply their transformation to various values

This is mainly intended as a driver for member fuctions of the different versor types (eg Rotor::rot(), Versor::apply(), etc) and not to be used on its own.

Associated Types

type Output

Required methods

fn versor_mul(self, rhs: Rhs) -> Self::Output

Implementors

impl<'a, 'b, T1, T2, U, N: Dim> VersorMul<&'b Versor<T2, N>> for &'a Versor<T1, N> where
    T1: AllocVersor<N> + AllRefMul<T2, AllOutput = U>,
    T2: AllocVersor<N>,
    U: AllocVersor<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = Versor<U, N>

impl<'a, 'b, T1, T2, U, N: Dim> VersorMul<&'b Versor<T2, N>> for &'a Reflector<T1, N> where
    T1: AllocOdd<N> + AllRefMul<T2, AllOutput = U>,
    T2: AllocVersor<N>,
    U: AllocVersor<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = Versor<U, N>

impl<'a, 'b, T1, T2, U, N: Dim> VersorMul<&'b Versor<T2, N>> for &'a Rotor<T1, N> where
    T1: AllocEven<N> + AllRefMul<T2, AllOutput = U>,
    T2: AllocVersor<N>,
    U: AllocVersor<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = Versor<U, N>

impl<'a, 'b, T1, T2, U, N: Dim> VersorMul<&'b Even<T2, N>> for &'a Versor<T1, N> where
    T1: AllocVersor<N> + AllRefMul<T2, AllOutput = U>,
    T2: AllocEven<N>,
    U: AllocEven<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = Even<U, N>

impl<'a, 'b, T1, T2, U, N: Dim> VersorMul<&'b Even<T2, N>> for &'a Even<T1, N> where
    T1: AllocEven<N> + AllRefMul<T2, AllOutput = U> + AllRefMul<T1, AllOutput = U>,
    T2: AllocEven<N>,
    U: AllocEven<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup,
    U: for<'c> Div<&'c U, Output = U>,
    N: ToTypenum,
    AsTypenum<N>: IsLessOrEqual<U3, Output = True>, 

type Output = Even<U, N>

impl<'a, 'b, T1, T2, U, N: Dim> VersorMul<&'b Even<T2, N>> for &'a Odd<T1, N> where
    T1: AllocOdd<N> + AllRefMul<T2, AllOutput = U> + AllRefMul<T1, AllOutput = U>,
    T2: AllocEven<N>,
    U: AllocEven<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup,
    U: for<'c> Div<&'c U, Output = U>,
    N: ToTypenum,
    AsTypenum<N>: IsLessOrEqual<U3, Output = True>, 

type Output = Even<U, N>

impl<'a, 'b, T1, T2, U, N: Dim> VersorMul<&'b Even<T2, N>> for &'a Reflector<T1, N> where
    T1: AllocOdd<N> + AllRefMul<T2, AllOutput = U>,
    T2: AllocEven<N>,
    U: AllocEven<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = Even<U, N>

impl<'a, 'b, T1, T2, U, N: Dim> VersorMul<&'b Even<T2, N>> for &'a Rotor<T1, N> where
    T1: AllocEven<N> + AllRefMul<T2, AllOutput = U>,
    T2: AllocEven<N>,
    U: AllocEven<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = Even<U, N>

impl<'a, 'b, T1, T2, U, N: Dim> VersorMul<&'b Multivector<T2, N>> for &'a Versor<T1, N> where
    T1: AllocVersor<N> + AllRefMul<T2, AllOutput = U>,
    T2: AllocMultivector<N>,
    U: AllocMultivector<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = Multivector<U, N>

impl<'a, 'b, T1, T2, U, N: Dim> VersorMul<&'b Multivector<T2, N>> for &'a Even<T1, N> where
    T1: AllocEven<N> + AllRefMul<T2, AllOutput = U> + AllRefMul<T1, AllOutput = U>,
    T2: AllocMultivector<N>,
    U: AllocMultivector<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup,
    U: for<'c> Div<&'c U, Output = U>,
    N: ToTypenum,
    AsTypenum<N>: IsLessOrEqual<U3, Output = True>, 

type Output = Multivector<U, N>

impl<'a, 'b, T1, T2, U, N: Dim> VersorMul<&'b Multivector<T2, N>> for &'a Odd<T1, N> where
    T1: AllocOdd<N> + AllRefMul<T2, AllOutput = U> + AllRefMul<T1, AllOutput = U>,
    T2: AllocMultivector<N>,
    U: AllocMultivector<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup,
    U: for<'c> Div<&'c U, Output = U>,
    N: ToTypenum,
    AsTypenum<N>: IsLessOrEqual<U3, Output = True>, 

type Output = Multivector<U, N>

impl<'a, 'b, T1, T2, U, N: Dim> VersorMul<&'b Multivector<T2, N>> for &'a Reflector<T1, N> where
    T1: AllocOdd<N> + AllRefMul<T2, AllOutput = U>,
    T2: AllocMultivector<N>,
    U: AllocMultivector<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = Multivector<U, N>

impl<'a, 'b, T1, T2, U, N: Dim> VersorMul<&'b Multivector<T2, N>> for &'a Rotor<T1, N> where
    T1: AllocEven<N> + AllRefMul<T2, AllOutput = U>,
    T2: AllocMultivector<N>,
    U: AllocMultivector<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = Multivector<U, N>

impl<'a, 'b, T1, T2, U, N: Dim> VersorMul<&'b Odd<T2, N>> for &'a Versor<T1, N> where
    T1: AllocVersor<N> + AllRefMul<T2, AllOutput = U>,
    T2: AllocOdd<N>,
    U: AllocOdd<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = Odd<U, N>

impl<'a, 'b, T1, T2, U, N: Dim> VersorMul<&'b Odd<T2, N>> for &'a Even<T1, N> where
    T1: AllocEven<N> + AllRefMul<T2, AllOutput = U> + AllRefMul<T1, AllOutput = U>,
    T2: AllocOdd<N>,
    U: AllocOdd<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup,
    U: for<'c> Div<&'c U, Output = U>,
    N: ToTypenum,
    AsTypenum<N>: IsLessOrEqual<U3, Output = True>, 

type Output = Odd<U, N>

impl<'a, 'b, T1, T2, U, N: Dim> VersorMul<&'b Odd<T2, N>> for &'a Odd<T1, N> where
    T1: AllocOdd<N> + AllRefMul<T2, AllOutput = U> + AllRefMul<T1, AllOutput = U>,
    T2: AllocOdd<N>,
    U: AllocOdd<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup,
    U: for<'c> Div<&'c U, Output = U>,
    N: ToTypenum,
    AsTypenum<N>: IsLessOrEqual<U3, Output = True>, 

type Output = Odd<U, N>

impl<'a, 'b, T1, T2, U, N: Dim> VersorMul<&'b Odd<T2, N>> for &'a Reflector<T1, N> where
    T1: AllocOdd<N> + AllRefMul<T2, AllOutput = U>,
    T2: AllocOdd<N>,
    U: AllocOdd<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = Odd<U, N>

impl<'a, 'b, T1, T2, U, N: Dim> VersorMul<&'b Odd<T2, N>> for &'a Rotor<T1, N> where
    T1: AllocEven<N> + AllRefMul<T2, AllOutput = U>,
    T2: AllocOdd<N>,
    U: AllocOdd<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = Odd<U, N>

impl<'a, 'b, T1, T2, U, N: Dim> VersorMul<&'b Reflector<T2, N>> for &'a Versor<T1, N> where
    T1: AllocVersor<N> + AllRefMul<T2, AllOutput = U>,
    T2: AllocOdd<N>,
    U: AllocOdd<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = Reflector<U, N>

impl<'a, 'b, T1, T2, U, N: Dim> VersorMul<&'b Reflector<T2, N>> for &'a Reflector<T1, N> where
    T1: AllocOdd<N> + AllRefMul<T2, AllOutput = U>,
    T2: AllocOdd<N>,
    U: AllocOdd<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = Reflector<U, N>

impl<'a, 'b, T1, T2, U, N: Dim> VersorMul<&'b Reflector<T2, N>> for &'a Rotor<T1, N> where
    T1: AllocEven<N> + AllRefMul<T2, AllOutput = U>,
    T2: AllocOdd<N>,
    U: AllocOdd<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = Reflector<U, N>

impl<'a, 'b, T1, T2, U, N: Dim> VersorMul<&'b Rotor<T2, N>> for &'a Versor<T1, N> where
    T1: AllocVersor<N> + AllRefMul<T2, AllOutput = U>,
    T2: AllocEven<N>,
    U: AllocEven<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = Rotor<U, N>

impl<'a, 'b, T1, T2, U, N: Dim> VersorMul<&'b Rotor<T2, N>> for &'a Reflector<T1, N> where
    T1: AllocOdd<N> + AllRefMul<T2, AllOutput = U>,
    T2: AllocEven<N>,
    U: AllocEven<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = Rotor<U, N>

impl<'a, 'b, T1, T2, U, N: Dim> VersorMul<&'b Rotor<T2, N>> for &'a Rotor<T1, N> where
    T1: AllocEven<N> + AllRefMul<T2, AllOutput = U>,
    T2: AllocEven<N>,
    U: AllocEven<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = Rotor<U, N>

impl<'a, 'b, T1, T2, U, N: Dim, G1: Dim> VersorMul<&'b Even<T2, N>> for &'a Blade<T1, N, G1> where
    T1: AllocSimpleBlade<N, G1> + AllRefMul<T2, AllOutput = U> + AllRefMul<T1, AllOutput = U>,
    T2: AllocEven<N>,
    U: AllocEven<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup,
    U: for<'c> Div<&'c U, Output = U>, 

type Output = Even<U, N>

impl<'a, 'b, T1, T2, U, N: Dim, G1: Dim> VersorMul<&'b Even<T2, N>> for &'a SimpleBlade<T1, N, G1> where
    T1: AllocBlade<N, G1> + AllRefMul<T2, AllOutput = U> + AllRefMul<T1, AllOutput = U>,
    T2: AllocEven<N>,
    U: AllocEven<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup,
    U: for<'c> Div<&'c U, Output = U>, 

type Output = Even<U, N>

impl<'a, 'b, T1, T2, U, N: Dim, G1: Dim> VersorMul<&'b Even<T2, N>> for &'a UnitBlade<T1, N, G1> where
    T1: AllocBlade<N, G1> + AllRefMul<T2, AllOutput = U>,
    T2: AllocEven<N>,
    U: AllocEven<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = Even<U, N>

impl<'a, 'b, T1, T2, U, N: Dim, G1: Dim> VersorMul<&'b Multivector<T2, N>> for &'a Blade<T1, N, G1> where
    T1: AllocSimpleBlade<N, G1> + AllRefMul<T2, AllOutput = U> + AllRefMul<T1, AllOutput = U>,
    T2: AllocMultivector<N>,
    U: AllocMultivector<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup,
    U: for<'c> Div<&'c U, Output = U>, 

type Output = Multivector<U, N>

impl<'a, 'b, T1, T2, U, N: Dim, G1: Dim> VersorMul<&'b Multivector<T2, N>> for &'a SimpleBlade<T1, N, G1> where
    T1: AllocBlade<N, G1> + AllRefMul<T2, AllOutput = U> + AllRefMul<T1, AllOutput = U>,
    T2: AllocMultivector<N>,
    U: AllocMultivector<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup,
    U: for<'c> Div<&'c U, Output = U>, 

type Output = Multivector<U, N>

impl<'a, 'b, T1, T2, U, N: Dim, G1: Dim> VersorMul<&'b Multivector<T2, N>> for &'a UnitBlade<T1, N, G1> where
    T1: AllocBlade<N, G1> + AllRefMul<T2, AllOutput = U>,
    T2: AllocMultivector<N>,
    U: AllocMultivector<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = Multivector<U, N>

impl<'a, 'b, T1, T2, U, N: Dim, G1: Dim> VersorMul<&'b Odd<T2, N>> for &'a Blade<T1, N, G1> where
    T1: AllocSimpleBlade<N, G1> + AllRefMul<T2, AllOutput = U> + AllRefMul<T1, AllOutput = U>,
    T2: AllocOdd<N>,
    U: AllocOdd<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup,
    U: for<'c> Div<&'c U, Output = U>, 

type Output = Odd<U, N>

impl<'a, 'b, T1, T2, U, N: Dim, G1: Dim> VersorMul<&'b Odd<T2, N>> for &'a SimpleBlade<T1, N, G1> where
    T1: AllocBlade<N, G1> + AllRefMul<T2, AllOutput = U> + AllRefMul<T1, AllOutput = U>,
    T2: AllocOdd<N>,
    U: AllocOdd<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup,
    U: for<'c> Div<&'c U, Output = U>, 

type Output = Odd<U, N>

impl<'a, 'b, T1, T2, U, N: Dim, G1: Dim> VersorMul<&'b Odd<T2, N>> for &'a UnitBlade<T1, N, G1> where
    T1: AllocBlade<N, G1> + AllRefMul<T2, AllOutput = U>,
    T2: AllocOdd<N>,
    U: AllocOdd<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = Odd<U, N>

impl<'a, 'b, T1, T2, U, N: Dim, G1: Dim> VersorMul<&'b Reflector<T2, N>> for &'a UnitBlade<T1, N, G1> where
    T1: AllocBlade<N, G1> + AllRefMul<T2, AllOutput = U>,
    T2: AllocOdd<N>,
    U: AllocOdd<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = Reflector<U, N>

impl<'a, 'b, T1, T2, U, N: Dim, G1: Dim> VersorMul<&'b Rotor<T2, N>> for &'a UnitBlade<T1, N, G1> where
    T1: AllocBlade<N, G1> + AllRefMul<T2, AllOutput = U>,
    T2: AllocEven<N>,
    U: AllocEven<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = Rotor<U, N>

impl<'a, 'b, T1, T2, U, N: Dim, G1: Dim, G2: Dim> VersorMul<&'b Blade<T2, N, G2>> for &'a Blade<T1, N, G1> where
    T1: AllocSimpleBlade<N, G1> + AllRefMul<T2, AllOutput = U> + AllRefMul<T1, AllOutput = U>,
    T2: AllocBlade<N, G2>,
    U: AllocBlade<N, G2> + for<'c> Mul<&'c T1, Output = U> + AddGroup,
    U: for<'c> Div<&'c U, Output = U>, 

type Output = Blade<U, N, G2>

impl<'a, 'b, T1, T2, U, N: Dim, G1: Dim, G2: Dim> VersorMul<&'b Blade<T2, N, G2>> for &'a SimpleBlade<T1, N, G1> where
    T1: AllocBlade<N, G1> + AllRefMul<T2, AllOutput = U> + AllRefMul<T1, AllOutput = U>,
    T2: AllocBlade<N, G2>,
    U: AllocBlade<N, G2> + for<'c> Mul<&'c T1, Output = U> + AddGroup,
    U: for<'c> Div<&'c U, Output = U>, 

type Output = Blade<U, N, G2>

impl<'a, 'b, T1, T2, U, N: Dim, G1: Dim, G2: Dim> VersorMul<&'b Blade<T2, N, G2>> for &'a UnitBlade<T1, N, G1> where
    T1: AllocBlade<N, G1> + AllRefMul<T2, AllOutput = U>,
    T2: AllocBlade<N, G2>,
    U: AllocBlade<N, G2> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = Blade<U, N, G2>

impl<'a, 'b, T1, T2, U, N: Dim, G1: Dim, G2: Dim> VersorMul<&'b SimpleBlade<T2, N, G2>> for &'a Blade<T1, N, G1> where
    T1: AllocSimpleBlade<N, G1> + AllRefMul<T2, AllOutput = U> + AllRefMul<T1, AllOutput = U>,
    T2: AllocBlade<N, G2>,
    U: AllocBlade<N, G2> + for<'c> Mul<&'c T1, Output = U> + AddGroup,
    U: for<'c> Div<&'c U, Output = U>, 

type Output = SimpleBlade<U, N, G2>

impl<'a, 'b, T1, T2, U, N: Dim, G1: Dim, G2: Dim> VersorMul<&'b SimpleBlade<T2, N, G2>> for &'a SimpleBlade<T1, N, G1> where
    T1: AllocBlade<N, G1> + AllRefMul<T2, AllOutput = U> + AllRefMul<T1, AllOutput = U>,
    T2: AllocBlade<N, G2>,
    U: AllocBlade<N, G2> + for<'c> Mul<&'c T1, Output = U> + AddGroup,
    U: for<'c> Div<&'c U, Output = U>, 

type Output = SimpleBlade<U, N, G2>

impl<'a, 'b, T1, T2, U, N: Dim, G1: Dim, G2: Dim> VersorMul<&'b SimpleBlade<T2, N, G2>> for &'a UnitBlade<T1, N, G1> where
    T1: AllocBlade<N, G1> + AllRefMul<T2, AllOutput = U>,
    T2: AllocBlade<N, G2>,
    U: AllocBlade<N, G2> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = SimpleBlade<U, N, G2>

impl<'a, 'b, T1, T2, U, N: Dim, G1: Dim, G2: Dim> VersorMul<&'b UnitBlade<T2, N, G2>> for &'a UnitBlade<T1, N, G1> where
    T1: AllocBlade<N, G1> + AllRefMul<T2, AllOutput = U>,
    T2: AllocBlade<N, G2>,
    U: AllocBlade<N, G2> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = UnitBlade<U, N, G2>

impl<'a, 'b, T1, T2, U, N: Dim, G2: Dim> VersorMul<&'b Blade<T2, N, G2>> for &'a Even<T1, N> where
    T1: AllocEven<N> + AllRefMul<T2, AllOutput = U> + AllRefMul<T1, AllOutput = U>,
    T2: AllocBlade<N, G2>,
    U: AllocBlade<N, G2> + for<'c> Mul<&'c T1, Output = U> + AddGroup,
    U: for<'c> Div<&'c U, Output = U>,
    N: ToTypenum,
    AsTypenum<N>: IsLessOrEqual<U3, Output = True>, 

type Output = Blade<U, N, G2>

impl<'a, 'b, T1, T2, U, N: Dim, G2: Dim> VersorMul<&'b Blade<T2, N, G2>> for &'a Odd<T1, N> where
    T1: AllocOdd<N> + AllRefMul<T2, AllOutput = U> + AllRefMul<T1, AllOutput = U>,
    T2: AllocBlade<N, G2>,
    U: AllocBlade<N, G2> + for<'c> Mul<&'c T1, Output = U> + AddGroup,
    U: for<'c> Div<&'c U, Output = U>,
    N: ToTypenum,
    AsTypenum<N>: IsLessOrEqual<U3, Output = True>, 

type Output = Blade<U, N, G2>

impl<'a, 'b, T1, T2, U, N: Dim, G2: Dim> VersorMul<&'b Blade<T2, N, G2>> for &'a Reflector<T1, N> where
    T1: AllocOdd<N> + AllRefMul<T2, AllOutput = U>,
    T2: AllocBlade<N, G2>,
    U: AllocBlade<N, G2> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = Blade<U, N, G2>

impl<'a, 'b, T1, T2, U, N: Dim, G2: Dim> VersorMul<&'b Blade<T2, N, G2>> for &'a Rotor<T1, N> where
    T1: AllocEven<N> + AllRefMul<T2, AllOutput = U>,
    T2: AllocBlade<N, G2>,
    U: AllocBlade<N, G2> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = Blade<U, N, G2>

impl<'a, 'b, T1, T2, U, N: Dim, G2: Dim> VersorMul<&'b SimpleBlade<T2, N, G2>> for &'a Even<T1, N> where
    T1: AllocEven<N> + AllRefMul<T2, AllOutput = U> + AllRefMul<T1, AllOutput = U>,
    T2: AllocBlade<N, G2>,
    U: AllocBlade<N, G2> + for<'c> Mul<&'c T1, Output = U> + AddGroup,
    U: for<'c> Div<&'c U, Output = U>,
    N: ToTypenum,
    AsTypenum<N>: IsLessOrEqual<U3, Output = True>, 

type Output = SimpleBlade<U, N, G2>

impl<'a, 'b, T1, T2, U, N: Dim, G2: Dim> VersorMul<&'b SimpleBlade<T2, N, G2>> for &'a Odd<T1, N> where
    T1: AllocOdd<N> + AllRefMul<T2, AllOutput = U> + AllRefMul<T1, AllOutput = U>,
    T2: AllocBlade<N, G2>,
    U: AllocBlade<N, G2> + for<'c> Mul<&'c T1, Output = U> + AddGroup,
    U: for<'c> Div<&'c U, Output = U>,
    N: ToTypenum,
    AsTypenum<N>: IsLessOrEqual<U3, Output = True>, 

type Output = SimpleBlade<U, N, G2>

impl<'a, 'b, T1, T2, U, N: Dim, G2: Dim> VersorMul<&'b SimpleBlade<T2, N, G2>> for &'a Reflector<T1, N> where
    T1: AllocOdd<N> + AllRefMul<T2, AllOutput = U>,
    T2: AllocBlade<N, G2>,
    U: AllocBlade<N, G2> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = SimpleBlade<U, N, G2>

impl<'a, 'b, T1, T2, U, N: Dim, G2: Dim> VersorMul<&'b SimpleBlade<T2, N, G2>> for &'a Rotor<T1, N> where
    T1: AllocEven<N> + AllRefMul<T2, AllOutput = U>,
    T2: AllocBlade<N, G2>,
    U: AllocBlade<N, G2> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = SimpleBlade<U, N, G2>

impl<'a, 'b, T1, T2, U, N: Dim, G2: Dim> VersorMul<&'b UnitBlade<T2, N, G2>> for &'a Reflector<T1, N> where
    T1: AllocOdd<N> + AllRefMul<T2, AllOutput = U>,
    T2: AllocBlade<N, G2>,
    U: AllocBlade<N, G2> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = UnitBlade<U, N, G2>

impl<'a, 'b, T1, T2, U, N: Dim, G2: Dim> VersorMul<&'b UnitBlade<T2, N, G2>> for &'a Rotor<T1, N> where
    T1: AllocEven<N> + AllRefMul<T2, AllOutput = U>,
    T2: AllocBlade<N, G2>,
    U: AllocBlade<N, G2> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = UnitBlade<U, N, G2>

impl<'a, 'b, T1, T2, U, N: Dim, G: Dim> VersorMul<&'b Versor<T2, N>> for &'a UnitBlade<T1, N, G> where
    T1: AllocBlade<N, G> + AllRefMul<T2, AllOutput = U>,
    T2: AllocVersor<N>,
    U: AllocVersor<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = Versor<U, N>

impl<'a, 'b, T1, T2, U, N: Dim, G: Dim> VersorMul<&'b Blade<T2, N, G>> for &'a Versor<T1, N> where
    T1: AllocVersor<N> + AllRefMul<T2, AllOutput = U>,
    T2: AllocBlade<N, G>,
    U: AllocBlade<N, G> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = Blade<U, N, G>

impl<'a, 'b, T1, T2, U, N: Dim, G: Dim> VersorMul<&'b SimpleBlade<T2, N, G>> for &'a Versor<T1, N> where
    T1: AllocVersor<N> + AllRefMul<T2, AllOutput = U>,
    T2: AllocBlade<N, G>,
    U: AllocBlade<N, G> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = SimpleBlade<U, N, G>

impl<'a, 'b, T1, T2, U, N: Dim, G: Dim> VersorMul<&'b UnitBlade<T2, N, G>> for &'a Versor<T1, N> where
    T1: AllocVersor<N> + AllRefMul<T2, AllOutput = U>,
    T2: AllocBlade<N, G>,
    U: AllocBlade<N, G> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = UnitBlade<U, N, G>

impl<'a, T1, T2, U, N: Dim> VersorMul<Versor<T2, N>> for &'a Versor<T1, N> where
    T1: AllocVersor<N> + AllRefMul<T2, AllOutput = U>,
    T2: AllocVersor<N>,
    U: AllocVersor<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = Versor<U, N>

impl<'a, T1, T2, U, N: Dim> VersorMul<Versor<T2, N>> for &'a Reflector<T1, N> where
    T1: AllocOdd<N> + AllRefMul<T2, AllOutput = U>,
    T2: AllocVersor<N>,
    U: AllocVersor<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = Versor<U, N>

impl<'a, T1, T2, U, N: Dim> VersorMul<Versor<T2, N>> for &'a Rotor<T1, N> where
    T1: AllocEven<N> + AllRefMul<T2, AllOutput = U>,
    T2: AllocVersor<N>,
    U: AllocVersor<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = Versor<U, N>

impl<'a, T1, T2, U, N: Dim> VersorMul<Even<T2, N>> for &'a Versor<T1, N> where
    T1: AllocVersor<N> + AllRefMul<T2, AllOutput = U>,
    T2: AllocEven<N>,
    U: AllocEven<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = Even<U, N>

impl<'a, T1, T2, U, N: Dim> VersorMul<Even<T2, N>> for &'a Even<T1, N> where
    T1: AllocEven<N> + AllRefMul<T2, AllOutput = U> + AllRefMul<T1, AllOutput = U>,
    T2: AllocEven<N>,
    U: AllocEven<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup,
    U: for<'c> Div<&'c U, Output = U>,
    N: ToTypenum,
    AsTypenum<N>: IsLessOrEqual<U3, Output = True>, 

type Output = Even<U, N>

impl<'a, T1, T2, U, N: Dim> VersorMul<Even<T2, N>> for &'a Odd<T1, N> where
    T1: AllocOdd<N> + AllRefMul<T2, AllOutput = U> + AllRefMul<T1, AllOutput = U>,
    T2: AllocEven<N>,
    U: AllocEven<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup,
    U: for<'c> Div<&'c U, Output = U>,
    N: ToTypenum,
    AsTypenum<N>: IsLessOrEqual<U3, Output = True>, 

type Output = Even<U, N>

impl<'a, T1, T2, U, N: Dim> VersorMul<Even<T2, N>> for &'a Reflector<T1, N> where
    T1: AllocOdd<N> + AllRefMul<T2, AllOutput = U>,
    T2: AllocEven<N>,
    U: AllocEven<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = Even<U, N>

impl<'a, T1, T2, U, N: Dim> VersorMul<Even<T2, N>> for &'a Rotor<T1, N> where
    T1: AllocEven<N> + AllRefMul<T2, AllOutput = U>,
    T2: AllocEven<N>,
    U: AllocEven<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = Even<U, N>

impl<'a, T1, T2, U, N: Dim> VersorMul<Multivector<T2, N>> for &'a Versor<T1, N> where
    T1: AllocVersor<N> + AllRefMul<T2, AllOutput = U>,
    T2: AllocMultivector<N>,
    U: AllocMultivector<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = Multivector<U, N>

impl<'a, T1, T2, U, N: Dim> VersorMul<Multivector<T2, N>> for &'a Even<T1, N> where
    T1: AllocEven<N> + AllRefMul<T2, AllOutput = U> + AllRefMul<T1, AllOutput = U>,
    T2: AllocMultivector<N>,
    U: AllocMultivector<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup,
    U: for<'c> Div<&'c U, Output = U>,
    N: ToTypenum,
    AsTypenum<N>: IsLessOrEqual<U3, Output = True>, 

type Output = Multivector<U, N>

impl<'a, T1, T2, U, N: Dim> VersorMul<Multivector<T2, N>> for &'a Odd<T1, N> where
    T1: AllocOdd<N> + AllRefMul<T2, AllOutput = U> + AllRefMul<T1, AllOutput = U>,
    T2: AllocMultivector<N>,
    U: AllocMultivector<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup,
    U: for<'c> Div<&'c U, Output = U>,
    N: ToTypenum,
    AsTypenum<N>: IsLessOrEqual<U3, Output = True>, 

type Output = Multivector<U, N>

impl<'a, T1, T2, U, N: Dim> VersorMul<Multivector<T2, N>> for &'a Reflector<T1, N> where
    T1: AllocOdd<N> + AllRefMul<T2, AllOutput = U>,
    T2: AllocMultivector<N>,
    U: AllocMultivector<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = Multivector<U, N>

impl<'a, T1, T2, U, N: Dim> VersorMul<Multivector<T2, N>> for &'a Rotor<T1, N> where
    T1: AllocEven<N> + AllRefMul<T2, AllOutput = U>,
    T2: AllocMultivector<N>,
    U: AllocMultivector<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = Multivector<U, N>

impl<'a, T1, T2, U, N: Dim> VersorMul<Odd<T2, N>> for &'a Versor<T1, N> where
    T1: AllocVersor<N> + AllRefMul<T2, AllOutput = U>,
    T2: AllocOdd<N>,
    U: AllocOdd<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = Odd<U, N>

impl<'a, T1, T2, U, N: Dim> VersorMul<Odd<T2, N>> for &'a Even<T1, N> where
    T1: AllocEven<N> + AllRefMul<T2, AllOutput = U> + AllRefMul<T1, AllOutput = U>,
    T2: AllocOdd<N>,
    U: AllocOdd<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup,
    U: for<'c> Div<&'c U, Output = U>,
    N: ToTypenum,
    AsTypenum<N>: IsLessOrEqual<U3, Output = True>, 

type Output = Odd<U, N>

impl<'a, T1, T2, U, N: Dim> VersorMul<Odd<T2, N>> for &'a Odd<T1, N> where
    T1: AllocOdd<N> + AllRefMul<T2, AllOutput = U> + AllRefMul<T1, AllOutput = U>,
    T2: AllocOdd<N>,
    U: AllocOdd<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup,
    U: for<'c> Div<&'c U, Output = U>,
    N: ToTypenum,
    AsTypenum<N>: IsLessOrEqual<U3, Output = True>, 

type Output = Odd<U, N>

impl<'a, T1, T2, U, N: Dim> VersorMul<Odd<T2, N>> for &'a Reflector<T1, N> where
    T1: AllocOdd<N> + AllRefMul<T2, AllOutput = U>,
    T2: AllocOdd<N>,
    U: AllocOdd<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = Odd<U, N>

impl<'a, T1, T2, U, N: Dim> VersorMul<Odd<T2, N>> for &'a Rotor<T1, N> where
    T1: AllocEven<N> + AllRefMul<T2, AllOutput = U>,
    T2: AllocOdd<N>,
    U: AllocOdd<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = Odd<U, N>

impl<'a, T1, T2, U, N: Dim> VersorMul<Reflector<T2, N>> for &'a Versor<T1, N> where
    T1: AllocVersor<N> + AllRefMul<T2, AllOutput = U>,
    T2: AllocOdd<N>,
    U: AllocOdd<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = Reflector<U, N>

impl<'a, T1, T2, U, N: Dim> VersorMul<Reflector<T2, N>> for &'a Reflector<T1, N> where
    T1: AllocOdd<N> + AllRefMul<T2, AllOutput = U>,
    T2: AllocOdd<N>,
    U: AllocOdd<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = Reflector<U, N>

impl<'a, T1, T2, U, N: Dim> VersorMul<Reflector<T2, N>> for &'a Rotor<T1, N> where
    T1: AllocEven<N> + AllRefMul<T2, AllOutput = U>,
    T2: AllocOdd<N>,
    U: AllocOdd<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = Reflector<U, N>

impl<'a, T1, T2, U, N: Dim> VersorMul<Rotor<T2, N>> for &'a Versor<T1, N> where
    T1: AllocVersor<N> + AllRefMul<T2, AllOutput = U>,
    T2: AllocEven<N>,
    U: AllocEven<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = Rotor<U, N>

impl<'a, T1, T2, U, N: Dim> VersorMul<Rotor<T2, N>> for &'a Reflector<T1, N> where
    T1: AllocOdd<N> + AllRefMul<T2, AllOutput = U>,
    T2: AllocEven<N>,
    U: AllocEven<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = Rotor<U, N>

impl<'a, T1, T2, U, N: Dim> VersorMul<Rotor<T2, N>> for &'a Rotor<T1, N> where
    T1: AllocEven<N> + AllRefMul<T2, AllOutput = U>,
    T2: AllocEven<N>,
    U: AllocEven<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = Rotor<U, N>

impl<'a, T1, T2, U, N: Dim, G1: Dim> VersorMul<Even<T2, N>> for &'a Blade<T1, N, G1> where
    T1: AllocSimpleBlade<N, G1> + AllRefMul<T2, AllOutput = U> + AllRefMul<T1, AllOutput = U>,
    T2: AllocEven<N>,
    U: AllocEven<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup,
    U: for<'c> Div<&'c U, Output = U>, 

type Output = Even<U, N>

impl<'a, T1, T2, U, N: Dim, G1: Dim> VersorMul<Even<T2, N>> for &'a SimpleBlade<T1, N, G1> where
    T1: AllocBlade<N, G1> + AllRefMul<T2, AllOutput = U> + AllRefMul<T1, AllOutput = U>,
    T2: AllocEven<N>,
    U: AllocEven<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup,
    U: for<'c> Div<&'c U, Output = U>, 

type Output = Even<U, N>

impl<'a, T1, T2, U, N: Dim, G1: Dim> VersorMul<Even<T2, N>> for &'a UnitBlade<T1, N, G1> where
    T1: AllocBlade<N, G1> + AllRefMul<T2, AllOutput = U>,
    T2: AllocEven<N>,
    U: AllocEven<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = Even<U, N>

impl<'a, T1, T2, U, N: Dim, G1: Dim> VersorMul<Multivector<T2, N>> for &'a Blade<T1, N, G1> where
    T1: AllocSimpleBlade<N, G1> + AllRefMul<T2, AllOutput = U> + AllRefMul<T1, AllOutput = U>,
    T2: AllocMultivector<N>,
    U: AllocMultivector<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup,
    U: for<'c> Div<&'c U, Output = U>, 

type Output = Multivector<U, N>

impl<'a, T1, T2, U, N: Dim, G1: Dim> VersorMul<Multivector<T2, N>> for &'a SimpleBlade<T1, N, G1> where
    T1: AllocBlade<N, G1> + AllRefMul<T2, AllOutput = U> + AllRefMul<T1, AllOutput = U>,
    T2: AllocMultivector<N>,
    U: AllocMultivector<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup,
    U: for<'c> Div<&'c U, Output = U>, 

type Output = Multivector<U, N>

impl<'a, T1, T2, U, N: Dim, G1: Dim> VersorMul<Multivector<T2, N>> for &'a UnitBlade<T1, N, G1> where
    T1: AllocBlade<N, G1> + AllRefMul<T2, AllOutput = U>,
    T2: AllocMultivector<N>,
    U: AllocMultivector<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = Multivector<U, N>

impl<'a, T1, T2, U, N: Dim, G1: Dim> VersorMul<Odd<T2, N>> for &'a Blade<T1, N, G1> where
    T1: AllocSimpleBlade<N, G1> + AllRefMul<T2, AllOutput = U> + AllRefMul<T1, AllOutput = U>,
    T2: AllocOdd<N>,
    U: AllocOdd<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup,
    U: for<'c> Div<&'c U, Output = U>, 

type Output = Odd<U, N>

impl<'a, T1, T2, U, N: Dim, G1: Dim> VersorMul<Odd<T2, N>> for &'a SimpleBlade<T1, N, G1> where
    T1: AllocBlade<N, G1> + AllRefMul<T2, AllOutput = U> + AllRefMul<T1, AllOutput = U>,
    T2: AllocOdd<N>,
    U: AllocOdd<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup,
    U: for<'c> Div<&'c U, Output = U>, 

type Output = Odd<U, N>

impl<'a, T1, T2, U, N: Dim, G1: Dim> VersorMul<Odd<T2, N>> for &'a UnitBlade<T1, N, G1> where
    T1: AllocBlade<N, G1> + AllRefMul<T2, AllOutput = U>,
    T2: AllocOdd<N>,
    U: AllocOdd<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = Odd<U, N>

impl<'a, T1, T2, U, N: Dim, G1: Dim> VersorMul<Reflector<T2, N>> for &'a UnitBlade<T1, N, G1> where
    T1: AllocBlade<N, G1> + AllRefMul<T2, AllOutput = U>,
    T2: AllocOdd<N>,
    U: AllocOdd<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = Reflector<U, N>

impl<'a, T1, T2, U, N: Dim, G1: Dim> VersorMul<Rotor<T2, N>> for &'a UnitBlade<T1, N, G1> where
    T1: AllocBlade<N, G1> + AllRefMul<T2, AllOutput = U>,
    T2: AllocEven<N>,
    U: AllocEven<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = Rotor<U, N>

impl<'a, T1, T2, U, N: Dim, G1: Dim, G2: Dim> VersorMul<Blade<T2, N, G2>> for &'a Blade<T1, N, G1> where
    T1: AllocSimpleBlade<N, G1> + AllRefMul<T2, AllOutput = U> + AllRefMul<T1, AllOutput = U>,
    T2: AllocBlade<N, G2>,
    U: AllocBlade<N, G2> + for<'c> Mul<&'c T1, Output = U> + AddGroup,
    U: for<'c> Div<&'c U, Output = U>, 

type Output = Blade<U, N, G2>

impl<'a, T1, T2, U, N: Dim, G1: Dim, G2: Dim> VersorMul<Blade<T2, N, G2>> for &'a SimpleBlade<T1, N, G1> where
    T1: AllocBlade<N, G1> + AllRefMul<T2, AllOutput = U> + AllRefMul<T1, AllOutput = U>,
    T2: AllocBlade<N, G2>,
    U: AllocBlade<N, G2> + for<'c> Mul<&'c T1, Output = U> + AddGroup,
    U: for<'c> Div<&'c U, Output = U>, 

type Output = Blade<U, N, G2>

impl<'a, T1, T2, U, N: Dim, G1: Dim, G2: Dim> VersorMul<Blade<T2, N, G2>> for &'a UnitBlade<T1, N, G1> where
    T1: AllocBlade<N, G1> + AllRefMul<T2, AllOutput = U>,
    T2: AllocBlade<N, G2>,
    U: AllocBlade<N, G2> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = Blade<U, N, G2>

impl<'a, T1, T2, U, N: Dim, G1: Dim, G2: Dim> VersorMul<SimpleBlade<T2, N, G2>> for &'a Blade<T1, N, G1> where
    T1: AllocSimpleBlade<N, G1> + AllRefMul<T2, AllOutput = U> + AllRefMul<T1, AllOutput = U>,
    T2: AllocBlade<N, G2>,
    U: AllocBlade<N, G2> + for<'c> Mul<&'c T1, Output = U> + AddGroup,
    U: for<'c> Div<&'c U, Output = U>, 

type Output = SimpleBlade<U, N, G2>

impl<'a, T1, T2, U, N: Dim, G1: Dim, G2: Dim> VersorMul<SimpleBlade<T2, N, G2>> for &'a SimpleBlade<T1, N, G1> where
    T1: AllocBlade<N, G1> + AllRefMul<T2, AllOutput = U> + AllRefMul<T1, AllOutput = U>,
    T2: AllocBlade<N, G2>,
    U: AllocBlade<N, G2> + for<'c> Mul<&'c T1, Output = U> + AddGroup,
    U: for<'c> Div<&'c U, Output = U>, 

type Output = SimpleBlade<U, N, G2>

impl<'a, T1, T2, U, N: Dim, G1: Dim, G2: Dim> VersorMul<SimpleBlade<T2, N, G2>> for &'a UnitBlade<T1, N, G1> where
    T1: AllocBlade<N, G1> + AllRefMul<T2, AllOutput = U>,
    T2: AllocBlade<N, G2>,
    U: AllocBlade<N, G2> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = SimpleBlade<U, N, G2>

impl<'a, T1, T2, U, N: Dim, G1: Dim, G2: Dim> VersorMul<UnitBlade<T2, N, G2>> for &'a UnitBlade<T1, N, G1> where
    T1: AllocBlade<N, G1> + AllRefMul<T2, AllOutput = U>,
    T2: AllocBlade<N, G2>,
    U: AllocBlade<N, G2> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = UnitBlade<U, N, G2>

impl<'a, T1, T2, U, N: Dim, G2: Dim> VersorMul<Blade<T2, N, G2>> for &'a Even<T1, N> where
    T1: AllocEven<N> + AllRefMul<T2, AllOutput = U> + AllRefMul<T1, AllOutput = U>,
    T2: AllocBlade<N, G2>,
    U: AllocBlade<N, G2> + for<'c> Mul<&'c T1, Output = U> + AddGroup,
    U: for<'c> Div<&'c U, Output = U>,
    N: ToTypenum,
    AsTypenum<N>: IsLessOrEqual<U3, Output = True>, 

type Output = Blade<U, N, G2>

impl<'a, T1, T2, U, N: Dim, G2: Dim> VersorMul<Blade<T2, N, G2>> for &'a Odd<T1, N> where
    T1: AllocOdd<N> + AllRefMul<T2, AllOutput = U> + AllRefMul<T1, AllOutput = U>,
    T2: AllocBlade<N, G2>,
    U: AllocBlade<N, G2> + for<'c> Mul<&'c T1, Output = U> + AddGroup,
    U: for<'c> Div<&'c U, Output = U>,
    N: ToTypenum,
    AsTypenum<N>: IsLessOrEqual<U3, Output = True>, 

type Output = Blade<U, N, G2>

impl<'a, T1, T2, U, N: Dim, G2: Dim> VersorMul<Blade<T2, N, G2>> for &'a Reflector<T1, N> where
    T1: AllocOdd<N> + AllRefMul<T2, AllOutput = U>,
    T2: AllocBlade<N, G2>,
    U: AllocBlade<N, G2> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = Blade<U, N, G2>

impl<'a, T1, T2, U, N: Dim, G2: Dim> VersorMul<Blade<T2, N, G2>> for &'a Rotor<T1, N> where
    T1: AllocEven<N> + AllRefMul<T2, AllOutput = U>,
    T2: AllocBlade<N, G2>,
    U: AllocBlade<N, G2> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = Blade<U, N, G2>

impl<'a, T1, T2, U, N: Dim, G2: Dim> VersorMul<SimpleBlade<T2, N, G2>> for &'a Even<T1, N> where
    T1: AllocEven<N> + AllRefMul<T2, AllOutput = U> + AllRefMul<T1, AllOutput = U>,
    T2: AllocBlade<N, G2>,
    U: AllocBlade<N, G2> + for<'c> Mul<&'c T1, Output = U> + AddGroup,
    U: for<'c> Div<&'c U, Output = U>,
    N: ToTypenum,
    AsTypenum<N>: IsLessOrEqual<U3, Output = True>, 

type Output = SimpleBlade<U, N, G2>

impl<'a, T1, T2, U, N: Dim, G2: Dim> VersorMul<SimpleBlade<T2, N, G2>> for &'a Odd<T1, N> where
    T1: AllocOdd<N> + AllRefMul<T2, AllOutput = U> + AllRefMul<T1, AllOutput = U>,
    T2: AllocBlade<N, G2>,
    U: AllocBlade<N, G2> + for<'c> Mul<&'c T1, Output = U> + AddGroup,
    U: for<'c> Div<&'c U, Output = U>,
    N: ToTypenum,
    AsTypenum<N>: IsLessOrEqual<U3, Output = True>, 

type Output = SimpleBlade<U, N, G2>

impl<'a, T1, T2, U, N: Dim, G2: Dim> VersorMul<SimpleBlade<T2, N, G2>> for &'a Reflector<T1, N> where
    T1: AllocOdd<N> + AllRefMul<T2, AllOutput = U>,
    T2: AllocBlade<N, G2>,
    U: AllocBlade<N, G2> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = SimpleBlade<U, N, G2>

impl<'a, T1, T2, U, N: Dim, G2: Dim> VersorMul<SimpleBlade<T2, N, G2>> for &'a Rotor<T1, N> where
    T1: AllocEven<N> + AllRefMul<T2, AllOutput = U>,
    T2: AllocBlade<N, G2>,
    U: AllocBlade<N, G2> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = SimpleBlade<U, N, G2>

impl<'a, T1, T2, U, N: Dim, G2: Dim> VersorMul<UnitBlade<T2, N, G2>> for &'a Reflector<T1, N> where
    T1: AllocOdd<N> + AllRefMul<T2, AllOutput = U>,
    T2: AllocBlade<N, G2>,
    U: AllocBlade<N, G2> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = UnitBlade<U, N, G2>

impl<'a, T1, T2, U, N: Dim, G2: Dim> VersorMul<UnitBlade<T2, N, G2>> for &'a Rotor<T1, N> where
    T1: AllocEven<N> + AllRefMul<T2, AllOutput = U>,
    T2: AllocBlade<N, G2>,
    U: AllocBlade<N, G2> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = UnitBlade<U, N, G2>

impl<'a, T1, T2, U, N: Dim, G: Dim> VersorMul<Versor<T2, N>> for &'a UnitBlade<T1, N, G> where
    T1: AllocBlade<N, G> + AllRefMul<T2, AllOutput = U>,
    T2: AllocVersor<N>,
    U: AllocVersor<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = Versor<U, N>

impl<'a, T1, T2, U, N: Dim, G: Dim> VersorMul<Blade<T2, N, G>> for &'a Versor<T1, N> where
    T1: AllocVersor<N> + AllRefMul<T2, AllOutput = U>,
    T2: AllocBlade<N, G>,
    U: AllocBlade<N, G> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = Blade<U, N, G>

impl<'a, T1, T2, U, N: Dim, G: Dim> VersorMul<SimpleBlade<T2, N, G>> for &'a Versor<T1, N> where
    T1: AllocVersor<N> + AllRefMul<T2, AllOutput = U>,
    T2: AllocBlade<N, G>,
    U: AllocBlade<N, G> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = SimpleBlade<U, N, G>

impl<'a, T1, T2, U, N: Dim, G: Dim> VersorMul<UnitBlade<T2, N, G>> for &'a Versor<T1, N> where
    T1: AllocVersor<N> + AllRefMul<T2, AllOutput = U>,
    T2: AllocBlade<N, G>,
    U: AllocBlade<N, G> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = UnitBlade<U, N, G>

impl<'b, T1, T2, U, N: Dim> VersorMul<&'b Versor<T2, N>> for Versor<T1, N> where
    T1: AllocVersor<N> + AllRefMul<T2, AllOutput = U>,
    T2: AllocVersor<N>,
    U: AllocVersor<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = Versor<U, N>

impl<'b, T1, T2, U, N: Dim> VersorMul<&'b Versor<T2, N>> for Reflector<T1, N> where
    T1: AllocOdd<N> + AllRefMul<T2, AllOutput = U>,
    T2: AllocVersor<N>,
    U: AllocVersor<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = Versor<U, N>

impl<'b, T1, T2, U, N: Dim> VersorMul<&'b Versor<T2, N>> for Rotor<T1, N> where
    T1: AllocEven<N> + AllRefMul<T2, AllOutput = U>,
    T2: AllocVersor<N>,
    U: AllocVersor<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = Versor<U, N>

impl<'b, T1, T2, U, N: Dim> VersorMul<&'b Even<T2, N>> for Versor<T1, N> where
    T1: AllocVersor<N> + AllRefMul<T2, AllOutput = U>,
    T2: AllocEven<N>,
    U: AllocEven<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = Even<U, N>

impl<'b, T1, T2, U, N: Dim> VersorMul<&'b Even<T2, N>> for Even<T1, N> where
    T1: AllocEven<N> + AllRefMul<T2, AllOutput = U> + AllRefMul<T1, AllOutput = U>,
    T2: AllocEven<N>,
    U: AllocEven<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup,
    U: for<'c> Div<&'c U, Output = U>,
    N: ToTypenum,
    AsTypenum<N>: IsLessOrEqual<U3, Output = True>, 

type Output = Even<U, N>

impl<'b, T1, T2, U, N: Dim> VersorMul<&'b Even<T2, N>> for Odd<T1, N> where
    T1: AllocOdd<N> + AllRefMul<T2, AllOutput = U> + AllRefMul<T1, AllOutput = U>,
    T2: AllocEven<N>,
    U: AllocEven<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup,
    U: for<'c> Div<&'c U, Output = U>,
    N: ToTypenum,
    AsTypenum<N>: IsLessOrEqual<U3, Output = True>, 

type Output = Even<U, N>

impl<'b, T1, T2, U, N: Dim> VersorMul<&'b Even<T2, N>> for Reflector<T1, N> where
    T1: AllocOdd<N> + AllRefMul<T2, AllOutput = U>,
    T2: AllocEven<N>,
    U: AllocEven<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = Even<U, N>

impl<'b, T1, T2, U, N: Dim> VersorMul<&'b Even<T2, N>> for Rotor<T1, N> where
    T1: AllocEven<N> + AllRefMul<T2, AllOutput = U>,
    T2: AllocEven<N>,
    U: AllocEven<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = Even<U, N>

impl<'b, T1, T2, U, N: Dim> VersorMul<&'b Multivector<T2, N>> for Versor<T1, N> where
    T1: AllocVersor<N> + AllRefMul<T2, AllOutput = U>,
    T2: AllocMultivector<N>,
    U: AllocMultivector<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = Multivector<U, N>

impl<'b, T1, T2, U, N: Dim> VersorMul<&'b Multivector<T2, N>> for Even<T1, N> where
    T1: AllocEven<N> + AllRefMul<T2, AllOutput = U> + AllRefMul<T1, AllOutput = U>,
    T2: AllocMultivector<N>,
    U: AllocMultivector<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup,
    U: for<'c> Div<&'c U, Output = U>,
    N: ToTypenum,
    AsTypenum<N>: IsLessOrEqual<U3, Output = True>, 

type Output = Multivector<U, N>

impl<'b, T1, T2, U, N: Dim> VersorMul<&'b Multivector<T2, N>> for Odd<T1, N> where
    T1: AllocOdd<N> + AllRefMul<T2, AllOutput = U> + AllRefMul<T1, AllOutput = U>,
    T2: AllocMultivector<N>,
    U: AllocMultivector<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup,
    U: for<'c> Div<&'c U, Output = U>,
    N: ToTypenum,
    AsTypenum<N>: IsLessOrEqual<U3, Output = True>, 

type Output = Multivector<U, N>

impl<'b, T1, T2, U, N: Dim> VersorMul<&'b Multivector<T2, N>> for Reflector<T1, N> where
    T1: AllocOdd<N> + AllRefMul<T2, AllOutput = U>,
    T2: AllocMultivector<N>,
    U: AllocMultivector<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = Multivector<U, N>

impl<'b, T1, T2, U, N: Dim> VersorMul<&'b Multivector<T2, N>> for Rotor<T1, N> where
    T1: AllocEven<N> + AllRefMul<T2, AllOutput = U>,
    T2: AllocMultivector<N>,
    U: AllocMultivector<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = Multivector<U, N>

impl<'b, T1, T2, U, N: Dim> VersorMul<&'b Odd<T2, N>> for Versor<T1, N> where
    T1: AllocVersor<N> + AllRefMul<T2, AllOutput = U>,
    T2: AllocOdd<N>,
    U: AllocOdd<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = Odd<U, N>

impl<'b, T1, T2, U, N: Dim> VersorMul<&'b Odd<T2, N>> for Even<T1, N> where
    T1: AllocEven<N> + AllRefMul<T2, AllOutput = U> + AllRefMul<T1, AllOutput = U>,
    T2: AllocOdd<N>,
    U: AllocOdd<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup,
    U: for<'c> Div<&'c U, Output = U>,
    N: ToTypenum,
    AsTypenum<N>: IsLessOrEqual<U3, Output = True>, 

type Output = Odd<U, N>

impl<'b, T1, T2, U, N: Dim> VersorMul<&'b Odd<T2, N>> for Odd<T1, N> where
    T1: AllocOdd<N> + AllRefMul<T2, AllOutput = U> + AllRefMul<T1, AllOutput = U>,
    T2: AllocOdd<N>,
    U: AllocOdd<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup,
    U: for<'c> Div<&'c U, Output = U>,
    N: ToTypenum,
    AsTypenum<N>: IsLessOrEqual<U3, Output = True>, 

type Output = Odd<U, N>

impl<'b, T1, T2, U, N: Dim> VersorMul<&'b Odd<T2, N>> for Reflector<T1, N> where
    T1: AllocOdd<N> + AllRefMul<T2, AllOutput = U>,
    T2: AllocOdd<N>,
    U: AllocOdd<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = Odd<U, N>

impl<'b, T1, T2, U, N: Dim> VersorMul<&'b Odd<T2, N>> for Rotor<T1, N> where
    T1: AllocEven<N> + AllRefMul<T2, AllOutput = U>,
    T2: AllocOdd<N>,
    U: AllocOdd<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = Odd<U, N>

impl<'b, T1, T2, U, N: Dim> VersorMul<&'b Reflector<T2, N>> for Versor<T1, N> where
    T1: AllocVersor<N> + AllRefMul<T2, AllOutput = U>,
    T2: AllocOdd<N>,
    U: AllocOdd<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = Reflector<U, N>

impl<'b, T1, T2, U, N: Dim> VersorMul<&'b Reflector<T2, N>> for Reflector<T1, N> where
    T1: AllocOdd<N> + AllRefMul<T2, AllOutput = U>,
    T2: AllocOdd<N>,
    U: AllocOdd<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = Reflector<U, N>

impl<'b, T1, T2, U, N: Dim> VersorMul<&'b Reflector<T2, N>> for Rotor<T1, N> where
    T1: AllocEven<N> + AllRefMul<T2, AllOutput = U>,
    T2: AllocOdd<N>,
    U: AllocOdd<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = Reflector<U, N>

impl<'b, T1, T2, U, N: Dim> VersorMul<&'b Rotor<T2, N>> for Versor<T1, N> where
    T1: AllocVersor<N> + AllRefMul<T2, AllOutput = U>,
    T2: AllocEven<N>,
    U: AllocEven<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = Rotor<U, N>

impl<'b, T1, T2, U, N: Dim> VersorMul<&'b Rotor<T2, N>> for Reflector<T1, N> where
    T1: AllocOdd<N> + AllRefMul<T2, AllOutput = U>,
    T2: AllocEven<N>,
    U: AllocEven<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = Rotor<U, N>

impl<'b, T1, T2, U, N: Dim> VersorMul<&'b Rotor<T2, N>> for Rotor<T1, N> where
    T1: AllocEven<N> + AllRefMul<T2, AllOutput = U>,
    T2: AllocEven<N>,
    U: AllocEven<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = Rotor<U, N>

impl<'b, T1, T2, U, N: Dim, G1: Dim> VersorMul<&'b Even<T2, N>> for Blade<T1, N, G1> where
    T1: AllocSimpleBlade<N, G1> + AllRefMul<T2, AllOutput = U> + AllRefMul<T1, AllOutput = U>,
    T2: AllocEven<N>,
    U: AllocEven<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup,
    U: for<'c> Div<&'c U, Output = U>, 

type Output = Even<U, N>

impl<'b, T1, T2, U, N: Dim, G1: Dim> VersorMul<&'b Even<T2, N>> for SimpleBlade<T1, N, G1> where
    T1: AllocBlade<N, G1> + AllRefMul<T2, AllOutput = U> + AllRefMul<T1, AllOutput = U>,
    T2: AllocEven<N>,
    U: AllocEven<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup,
    U: for<'c> Div<&'c U, Output = U>, 

type Output = Even<U, N>

impl<'b, T1, T2, U, N: Dim, G1: Dim> VersorMul<&'b Even<T2, N>> for UnitBlade<T1, N, G1> where
    T1: AllocBlade<N, G1> + AllRefMul<T2, AllOutput = U>,
    T2: AllocEven<N>,
    U: AllocEven<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = Even<U, N>

impl<'b, T1, T2, U, N: Dim, G1: Dim> VersorMul<&'b Multivector<T2, N>> for Blade<T1, N, G1> where
    T1: AllocSimpleBlade<N, G1> + AllRefMul<T2, AllOutput = U> + AllRefMul<T1, AllOutput = U>,
    T2: AllocMultivector<N>,
    U: AllocMultivector<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup,
    U: for<'c> Div<&'c U, Output = U>, 

type Output = Multivector<U, N>

impl<'b, T1, T2, U, N: Dim, G1: Dim> VersorMul<&'b Multivector<T2, N>> for SimpleBlade<T1, N, G1> where
    T1: AllocBlade<N, G1> + AllRefMul<T2, AllOutput = U> + AllRefMul<T1, AllOutput = U>,
    T2: AllocMultivector<N>,
    U: AllocMultivector<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup,
    U: for<'c> Div<&'c U, Output = U>, 

type Output = Multivector<U, N>

impl<'b, T1, T2, U, N: Dim, G1: Dim> VersorMul<&'b Multivector<T2, N>> for UnitBlade<T1, N, G1> where
    T1: AllocBlade<N, G1> + AllRefMul<T2, AllOutput = U>,
    T2: AllocMultivector<N>,
    U: AllocMultivector<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = Multivector<U, N>

impl<'b, T1, T2, U, N: Dim, G1: Dim> VersorMul<&'b Odd<T2, N>> for Blade<T1, N, G1> where
    T1: AllocSimpleBlade<N, G1> + AllRefMul<T2, AllOutput = U> + AllRefMul<T1, AllOutput = U>,
    T2: AllocOdd<N>,
    U: AllocOdd<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup,
    U: for<'c> Div<&'c U, Output = U>, 

type Output = Odd<U, N>

impl<'b, T1, T2, U, N: Dim, G1: Dim> VersorMul<&'b Odd<T2, N>> for SimpleBlade<T1, N, G1> where
    T1: AllocBlade<N, G1> + AllRefMul<T2, AllOutput = U> + AllRefMul<T1, AllOutput = U>,
    T2: AllocOdd<N>,
    U: AllocOdd<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup,
    U: for<'c> Div<&'c U, Output = U>, 

type Output = Odd<U, N>

impl<'b, T1, T2, U, N: Dim, G1: Dim> VersorMul<&'b Odd<T2, N>> for UnitBlade<T1, N, G1> where
    T1: AllocBlade<N, G1> + AllRefMul<T2, AllOutput = U>,
    T2: AllocOdd<N>,
    U: AllocOdd<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = Odd<U, N>

impl<'b, T1, T2, U, N: Dim, G1: Dim> VersorMul<&'b Reflector<T2, N>> for UnitBlade<T1, N, G1> where
    T1: AllocBlade<N, G1> + AllRefMul<T2, AllOutput = U>,
    T2: AllocOdd<N>,
    U: AllocOdd<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = Reflector<U, N>

impl<'b, T1, T2, U, N: Dim, G1: Dim> VersorMul<&'b Rotor<T2, N>> for UnitBlade<T1, N, G1> where
    T1: AllocBlade<N, G1> + AllRefMul<T2, AllOutput = U>,
    T2: AllocEven<N>,
    U: AllocEven<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = Rotor<U, N>

impl<'b, T1, T2, U, N: Dim, G1: Dim, G2: Dim> VersorMul<&'b Blade<T2, N, G2>> for Blade<T1, N, G1> where
    T1: AllocSimpleBlade<N, G1> + AllRefMul<T2, AllOutput = U> + AllRefMul<T1, AllOutput = U>,
    T2: AllocBlade<N, G2>,
    U: AllocBlade<N, G2> + for<'c> Mul<&'c T1, Output = U> + AddGroup,
    U: for<'c> Div<&'c U, Output = U>, 

type Output = Blade<U, N, G2>

impl<'b, T1, T2, U, N: Dim, G1: Dim, G2: Dim> VersorMul<&'b Blade<T2, N, G2>> for SimpleBlade<T1, N, G1> where
    T1: AllocBlade<N, G1> + AllRefMul<T2, AllOutput = U> + AllRefMul<T1, AllOutput = U>,
    T2: AllocBlade<N, G2>,
    U: AllocBlade<N, G2> + for<'c> Mul<&'c T1, Output = U> + AddGroup,
    U: for<'c> Div<&'c U, Output = U>, 

type Output = Blade<U, N, G2>

impl<'b, T1, T2, U, N: Dim, G1: Dim, G2: Dim> VersorMul<&'b Blade<T2, N, G2>> for UnitBlade<T1, N, G1> where
    T1: AllocBlade<N, G1> + AllRefMul<T2, AllOutput = U>,
    T2: AllocBlade<N, G2>,
    U: AllocBlade<N, G2> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = Blade<U, N, G2>

impl<'b, T1, T2, U, N: Dim, G1: Dim, G2: Dim> VersorMul<&'b SimpleBlade<T2, N, G2>> for Blade<T1, N, G1> where
    T1: AllocSimpleBlade<N, G1> + AllRefMul<T2, AllOutput = U> + AllRefMul<T1, AllOutput = U>,
    T2: AllocBlade<N, G2>,
    U: AllocBlade<N, G2> + for<'c> Mul<&'c T1, Output = U> + AddGroup,
    U: for<'c> Div<&'c U, Output = U>, 

type Output = SimpleBlade<U, N, G2>

impl<'b, T1, T2, U, N: Dim, G1: Dim, G2: Dim> VersorMul<&'b SimpleBlade<T2, N, G2>> for SimpleBlade<T1, N, G1> where
    T1: AllocBlade<N, G1> + AllRefMul<T2, AllOutput = U> + AllRefMul<T1, AllOutput = U>,
    T2: AllocBlade<N, G2>,
    U: AllocBlade<N, G2> + for<'c> Mul<&'c T1, Output = U> + AddGroup,
    U: for<'c> Div<&'c U, Output = U>, 

type Output = SimpleBlade<U, N, G2>

impl<'b, T1, T2, U, N: Dim, G1: Dim, G2: Dim> VersorMul<&'b SimpleBlade<T2, N, G2>> for UnitBlade<T1, N, G1> where
    T1: AllocBlade<N, G1> + AllRefMul<T2, AllOutput = U>,
    T2: AllocBlade<N, G2>,
    U: AllocBlade<N, G2> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = SimpleBlade<U, N, G2>

impl<'b, T1, T2, U, N: Dim, G1: Dim, G2: Dim> VersorMul<&'b UnitBlade<T2, N, G2>> for UnitBlade<T1, N, G1> where
    T1: AllocBlade<N, G1> + AllRefMul<T2, AllOutput = U>,
    T2: AllocBlade<N, G2>,
    U: AllocBlade<N, G2> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = UnitBlade<U, N, G2>

impl<'b, T1, T2, U, N: Dim, G2: Dim> VersorMul<&'b Blade<T2, N, G2>> for Even<T1, N> where
    T1: AllocEven<N> + AllRefMul<T2, AllOutput = U> + AllRefMul<T1, AllOutput = U>,
    T2: AllocBlade<N, G2>,
    U: AllocBlade<N, G2> + for<'c> Mul<&'c T1, Output = U> + AddGroup,
    U: for<'c> Div<&'c U, Output = U>,
    N: ToTypenum,
    AsTypenum<N>: IsLessOrEqual<U3, Output = True>, 

type Output = Blade<U, N, G2>

impl<'b, T1, T2, U, N: Dim, G2: Dim> VersorMul<&'b Blade<T2, N, G2>> for Odd<T1, N> where
    T1: AllocOdd<N> + AllRefMul<T2, AllOutput = U> + AllRefMul<T1, AllOutput = U>,
    T2: AllocBlade<N, G2>,
    U: AllocBlade<N, G2> + for<'c> Mul<&'c T1, Output = U> + AddGroup,
    U: for<'c> Div<&'c U, Output = U>,
    N: ToTypenum,
    AsTypenum<N>: IsLessOrEqual<U3, Output = True>, 

type Output = Blade<U, N, G2>

impl<'b, T1, T2, U, N: Dim, G2: Dim> VersorMul<&'b Blade<T2, N, G2>> for Reflector<T1, N> where
    T1: AllocOdd<N> + AllRefMul<T2, AllOutput = U>,
    T2: AllocBlade<N, G2>,
    U: AllocBlade<N, G2> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = Blade<U, N, G2>

impl<'b, T1, T2, U, N: Dim, G2: Dim> VersorMul<&'b Blade<T2, N, G2>> for Rotor<T1, N> where
    T1: AllocEven<N> + AllRefMul<T2, AllOutput = U>,
    T2: AllocBlade<N, G2>,
    U: AllocBlade<N, G2> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = Blade<U, N, G2>

impl<'b, T1, T2, U, N: Dim, G2: Dim> VersorMul<&'b SimpleBlade<T2, N, G2>> for Even<T1, N> where
    T1: AllocEven<N> + AllRefMul<T2, AllOutput = U> + AllRefMul<T1, AllOutput = U>,
    T2: AllocBlade<N, G2>,
    U: AllocBlade<N, G2> + for<'c> Mul<&'c T1, Output = U> + AddGroup,
    U: for<'c> Div<&'c U, Output = U>,
    N: ToTypenum,
    AsTypenum<N>: IsLessOrEqual<U3, Output = True>, 

type Output = SimpleBlade<U, N, G2>

impl<'b, T1, T2, U, N: Dim, G2: Dim> VersorMul<&'b SimpleBlade<T2, N, G2>> for Odd<T1, N> where
    T1: AllocOdd<N> + AllRefMul<T2, AllOutput = U> + AllRefMul<T1, AllOutput = U>,
    T2: AllocBlade<N, G2>,
    U: AllocBlade<N, G2> + for<'c> Mul<&'c T1, Output = U> + AddGroup,
    U: for<'c> Div<&'c U, Output = U>,
    N: ToTypenum,
    AsTypenum<N>: IsLessOrEqual<U3, Output = True>, 

type Output = SimpleBlade<U, N, G2>

impl<'b, T1, T2, U, N: Dim, G2: Dim> VersorMul<&'b SimpleBlade<T2, N, G2>> for Reflector<T1, N> where
    T1: AllocOdd<N> + AllRefMul<T2, AllOutput = U>,
    T2: AllocBlade<N, G2>,
    U: AllocBlade<N, G2> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = SimpleBlade<U, N, G2>

impl<'b, T1, T2, U, N: Dim, G2: Dim> VersorMul<&'b SimpleBlade<T2, N, G2>> for Rotor<T1, N> where
    T1: AllocEven<N> + AllRefMul<T2, AllOutput = U>,
    T2: AllocBlade<N, G2>,
    U: AllocBlade<N, G2> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = SimpleBlade<U, N, G2>

impl<'b, T1, T2, U, N: Dim, G2: Dim> VersorMul<&'b UnitBlade<T2, N, G2>> for Reflector<T1, N> where
    T1: AllocOdd<N> + AllRefMul<T2, AllOutput = U>,
    T2: AllocBlade<N, G2>,
    U: AllocBlade<N, G2> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = UnitBlade<U, N, G2>

impl<'b, T1, T2, U, N: Dim, G2: Dim> VersorMul<&'b UnitBlade<T2, N, G2>> for Rotor<T1, N> where
    T1: AllocEven<N> + AllRefMul<T2, AllOutput = U>,
    T2: AllocBlade<N, G2>,
    U: AllocBlade<N, G2> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = UnitBlade<U, N, G2>

impl<'b, T1, T2, U, N: Dim, G: Dim> VersorMul<&'b Versor<T2, N>> for UnitBlade<T1, N, G> where
    T1: AllocBlade<N, G> + AllRefMul<T2, AllOutput = U>,
    T2: AllocVersor<N>,
    U: AllocVersor<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = Versor<U, N>

impl<'b, T1, T2, U, N: Dim, G: Dim> VersorMul<&'b Blade<T2, N, G>> for Versor<T1, N> where
    T1: AllocVersor<N> + AllRefMul<T2, AllOutput = U>,
    T2: AllocBlade<N, G>,
    U: AllocBlade<N, G> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = Blade<U, N, G>

impl<'b, T1, T2, U, N: Dim, G: Dim> VersorMul<&'b SimpleBlade<T2, N, G>> for Versor<T1, N> where
    T1: AllocVersor<N> + AllRefMul<T2, AllOutput = U>,
    T2: AllocBlade<N, G>,
    U: AllocBlade<N, G> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = SimpleBlade<U, N, G>

impl<'b, T1, T2, U, N: Dim, G: Dim> VersorMul<&'b UnitBlade<T2, N, G>> for Versor<T1, N> where
    T1: AllocVersor<N> + AllRefMul<T2, AllOutput = U>,
    T2: AllocBlade<N, G>,
    U: AllocBlade<N, G> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = UnitBlade<U, N, G>

impl<T1, T2, U, N: Dim> VersorMul<Versor<T2, N>> for Versor<T1, N> where
    T1: AllocVersor<N> + AllRefMul<T2, AllOutput = U>,
    T2: AllocVersor<N>,
    U: AllocVersor<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = Versor<U, N>

impl<T1, T2, U, N: Dim> VersorMul<Versor<T2, N>> for Reflector<T1, N> where
    T1: AllocOdd<N> + AllRefMul<T2, AllOutput = U>,
    T2: AllocVersor<N>,
    U: AllocVersor<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = Versor<U, N>

impl<T1, T2, U, N: Dim> VersorMul<Versor<T2, N>> for Rotor<T1, N> where
    T1: AllocEven<N> + AllRefMul<T2, AllOutput = U>,
    T2: AllocVersor<N>,
    U: AllocVersor<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = Versor<U, N>

impl<T1, T2, U, N: Dim> VersorMul<Even<T2, N>> for Versor<T1, N> where
    T1: AllocVersor<N> + AllRefMul<T2, AllOutput = U>,
    T2: AllocEven<N>,
    U: AllocEven<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = Even<U, N>

impl<T1, T2, U, N: Dim> VersorMul<Even<T2, N>> for Even<T1, N> where
    T1: AllocEven<N> + AllRefMul<T2, AllOutput = U> + AllRefMul<T1, AllOutput = U>,
    T2: AllocEven<N>,
    U: AllocEven<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup,
    U: for<'c> Div<&'c U, Output = U>,
    N: ToTypenum,
    AsTypenum<N>: IsLessOrEqual<U3, Output = True>, 

type Output = Even<U, N>

impl<T1, T2, U, N: Dim> VersorMul<Even<T2, N>> for Odd<T1, N> where
    T1: AllocOdd<N> + AllRefMul<T2, AllOutput = U> + AllRefMul<T1, AllOutput = U>,
    T2: AllocEven<N>,
    U: AllocEven<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup,
    U: for<'c> Div<&'c U, Output = U>,
    N: ToTypenum,
    AsTypenum<N>: IsLessOrEqual<U3, Output = True>, 

type Output = Even<U, N>

impl<T1, T2, U, N: Dim> VersorMul<Even<T2, N>> for Reflector<T1, N> where
    T1: AllocOdd<N> + AllRefMul<T2, AllOutput = U>,
    T2: AllocEven<N>,
    U: AllocEven<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = Even<U, N>

impl<T1, T2, U, N: Dim> VersorMul<Even<T2, N>> for Rotor<T1, N> where
    T1: AllocEven<N> + AllRefMul<T2, AllOutput = U>,
    T2: AllocEven<N>,
    U: AllocEven<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = Even<U, N>

impl<T1, T2, U, N: Dim> VersorMul<Multivector<T2, N>> for Versor<T1, N> where
    T1: AllocVersor<N> + AllRefMul<T2, AllOutput = U>,
    T2: AllocMultivector<N>,
    U: AllocMultivector<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = Multivector<U, N>

impl<T1, T2, U, N: Dim> VersorMul<Multivector<T2, N>> for Even<T1, N> where
    T1: AllocEven<N> + AllRefMul<T2, AllOutput = U> + AllRefMul<T1, AllOutput = U>,
    T2: AllocMultivector<N>,
    U: AllocMultivector<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup,
    U: for<'c> Div<&'c U, Output = U>,
    N: ToTypenum,
    AsTypenum<N>: IsLessOrEqual<U3, Output = True>, 

type Output = Multivector<U, N>

impl<T1, T2, U, N: Dim> VersorMul<Multivector<T2, N>> for Odd<T1, N> where
    T1: AllocOdd<N> + AllRefMul<T2, AllOutput = U> + AllRefMul<T1, AllOutput = U>,
    T2: AllocMultivector<N>,
    U: AllocMultivector<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup,
    U: for<'c> Div<&'c U, Output = U>,
    N: ToTypenum,
    AsTypenum<N>: IsLessOrEqual<U3, Output = True>, 

type Output = Multivector<U, N>

impl<T1, T2, U, N: Dim> VersorMul<Multivector<T2, N>> for Reflector<T1, N> where
    T1: AllocOdd<N> + AllRefMul<T2, AllOutput = U>,
    T2: AllocMultivector<N>,
    U: AllocMultivector<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = Multivector<U, N>

impl<T1, T2, U, N: Dim> VersorMul<Multivector<T2, N>> for Rotor<T1, N> where
    T1: AllocEven<N> + AllRefMul<T2, AllOutput = U>,
    T2: AllocMultivector<N>,
    U: AllocMultivector<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = Multivector<U, N>

impl<T1, T2, U, N: Dim> VersorMul<Odd<T2, N>> for Versor<T1, N> where
    T1: AllocVersor<N> + AllRefMul<T2, AllOutput = U>,
    T2: AllocOdd<N>,
    U: AllocOdd<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = Odd<U, N>

impl<T1, T2, U, N: Dim> VersorMul<Odd<T2, N>> for Even<T1, N> where
    T1: AllocEven<N> + AllRefMul<T2, AllOutput = U> + AllRefMul<T1, AllOutput = U>,
    T2: AllocOdd<N>,
    U: AllocOdd<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup,
    U: for<'c> Div<&'c U, Output = U>,
    N: ToTypenum,
    AsTypenum<N>: IsLessOrEqual<U3, Output = True>, 

type Output = Odd<U, N>

impl<T1, T2, U, N: Dim> VersorMul<Odd<T2, N>> for Odd<T1, N> where
    T1: AllocOdd<N> + AllRefMul<T2, AllOutput = U> + AllRefMul<T1, AllOutput = U>,
    T2: AllocOdd<N>,
    U: AllocOdd<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup,
    U: for<'c> Div<&'c U, Output = U>,
    N: ToTypenum,
    AsTypenum<N>: IsLessOrEqual<U3, Output = True>, 

type Output = Odd<U, N>

impl<T1, T2, U, N: Dim> VersorMul<Odd<T2, N>> for Reflector<T1, N> where
    T1: AllocOdd<N> + AllRefMul<T2, AllOutput = U>,
    T2: AllocOdd<N>,
    U: AllocOdd<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = Odd<U, N>

impl<T1, T2, U, N: Dim> VersorMul<Odd<T2, N>> for Rotor<T1, N> where
    T1: AllocEven<N> + AllRefMul<T2, AllOutput = U>,
    T2: AllocOdd<N>,
    U: AllocOdd<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = Odd<U, N>

impl<T1, T2, U, N: Dim> VersorMul<Reflector<T2, N>> for Versor<T1, N> where
    T1: AllocVersor<N> + AllRefMul<T2, AllOutput = U>,
    T2: AllocOdd<N>,
    U: AllocOdd<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = Reflector<U, N>

impl<T1, T2, U, N: Dim> VersorMul<Reflector<T2, N>> for Reflector<T1, N> where
    T1: AllocOdd<N> + AllRefMul<T2, AllOutput = U>,
    T2: AllocOdd<N>,
    U: AllocOdd<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = Reflector<U, N>

impl<T1, T2, U, N: Dim> VersorMul<Reflector<T2, N>> for Rotor<T1, N> where
    T1: AllocEven<N> + AllRefMul<T2, AllOutput = U>,
    T2: AllocOdd<N>,
    U: AllocOdd<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = Reflector<U, N>

impl<T1, T2, U, N: Dim> VersorMul<Rotor<T2, N>> for Versor<T1, N> where
    T1: AllocVersor<N> + AllRefMul<T2, AllOutput = U>,
    T2: AllocEven<N>,
    U: AllocEven<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = Rotor<U, N>

impl<T1, T2, U, N: Dim> VersorMul<Rotor<T2, N>> for Reflector<T1, N> where
    T1: AllocOdd<N> + AllRefMul<T2, AllOutput = U>,
    T2: AllocEven<N>,
    U: AllocEven<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = Rotor<U, N>

impl<T1, T2, U, N: Dim> VersorMul<Rotor<T2, N>> for Rotor<T1, N> where
    T1: AllocEven<N> + AllRefMul<T2, AllOutput = U>,
    T2: AllocEven<N>,
    U: AllocEven<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = Rotor<U, N>

impl<T1, T2, U, N: Dim, G1: Dim> VersorMul<Even<T2, N>> for Blade<T1, N, G1> where
    T1: AllocSimpleBlade<N, G1> + AllRefMul<T2, AllOutput = U> + AllRefMul<T1, AllOutput = U>,
    T2: AllocEven<N>,
    U: AllocEven<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup,
    U: for<'c> Div<&'c U, Output = U>, 

type Output = Even<U, N>

impl<T1, T2, U, N: Dim, G1: Dim> VersorMul<Even<T2, N>> for SimpleBlade<T1, N, G1> where
    T1: AllocBlade<N, G1> + AllRefMul<T2, AllOutput = U> + AllRefMul<T1, AllOutput = U>,
    T2: AllocEven<N>,
    U: AllocEven<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup,
    U: for<'c> Div<&'c U, Output = U>, 

type Output = Even<U, N>

impl<T1, T2, U, N: Dim, G1: Dim> VersorMul<Even<T2, N>> for UnitBlade<T1, N, G1> where
    T1: AllocBlade<N, G1> + AllRefMul<T2, AllOutput = U>,
    T2: AllocEven<N>,
    U: AllocEven<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = Even<U, N>

impl<T1, T2, U, N: Dim, G1: Dim> VersorMul<Multivector<T2, N>> for Blade<T1, N, G1> where
    T1: AllocSimpleBlade<N, G1> + AllRefMul<T2, AllOutput = U> + AllRefMul<T1, AllOutput = U>,
    T2: AllocMultivector<N>,
    U: AllocMultivector<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup,
    U: for<'c> Div<&'c U, Output = U>, 

type Output = Multivector<U, N>

impl<T1, T2, U, N: Dim, G1: Dim> VersorMul<Multivector<T2, N>> for SimpleBlade<T1, N, G1> where
    T1: AllocBlade<N, G1> + AllRefMul<T2, AllOutput = U> + AllRefMul<T1, AllOutput = U>,
    T2: AllocMultivector<N>,
    U: AllocMultivector<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup,
    U: for<'c> Div<&'c U, Output = U>, 

type Output = Multivector<U, N>

impl<T1, T2, U, N: Dim, G1: Dim> VersorMul<Multivector<T2, N>> for UnitBlade<T1, N, G1> where
    T1: AllocBlade<N, G1> + AllRefMul<T2, AllOutput = U>,
    T2: AllocMultivector<N>,
    U: AllocMultivector<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = Multivector<U, N>

impl<T1, T2, U, N: Dim, G1: Dim> VersorMul<Odd<T2, N>> for Blade<T1, N, G1> where
    T1: AllocSimpleBlade<N, G1> + AllRefMul<T2, AllOutput = U> + AllRefMul<T1, AllOutput = U>,
    T2: AllocOdd<N>,
    U: AllocOdd<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup,
    U: for<'c> Div<&'c U, Output = U>, 

type Output = Odd<U, N>

impl<T1, T2, U, N: Dim, G1: Dim> VersorMul<Odd<T2, N>> for SimpleBlade<T1, N, G1> where
    T1: AllocBlade<N, G1> + AllRefMul<T2, AllOutput = U> + AllRefMul<T1, AllOutput = U>,
    T2: AllocOdd<N>,
    U: AllocOdd<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup,
    U: for<'c> Div<&'c U, Output = U>, 

type Output = Odd<U, N>

impl<T1, T2, U, N: Dim, G1: Dim> VersorMul<Odd<T2, N>> for UnitBlade<T1, N, G1> where
    T1: AllocBlade<N, G1> + AllRefMul<T2, AllOutput = U>,
    T2: AllocOdd<N>,
    U: AllocOdd<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = Odd<U, N>

impl<T1, T2, U, N: Dim, G1: Dim> VersorMul<Reflector<T2, N>> for UnitBlade<T1, N, G1> where
    T1: AllocBlade<N, G1> + AllRefMul<T2, AllOutput = U>,
    T2: AllocOdd<N>,
    U: AllocOdd<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = Reflector<U, N>

impl<T1, T2, U, N: Dim, G1: Dim> VersorMul<Rotor<T2, N>> for UnitBlade<T1, N, G1> where
    T1: AllocBlade<N, G1> + AllRefMul<T2, AllOutput = U>,
    T2: AllocEven<N>,
    U: AllocEven<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = Rotor<U, N>

impl<T1, T2, U, N: Dim, G1: Dim, G2: Dim> VersorMul<Blade<T2, N, G2>> for Blade<T1, N, G1> where
    T1: AllocSimpleBlade<N, G1> + AllRefMul<T2, AllOutput = U> + AllRefMul<T1, AllOutput = U>,
    T2: AllocBlade<N, G2>,
    U: AllocBlade<N, G2> + for<'c> Mul<&'c T1, Output = U> + AddGroup,
    U: for<'c> Div<&'c U, Output = U>, 

type Output = Blade<U, N, G2>

impl<T1, T2, U, N: Dim, G1: Dim, G2: Dim> VersorMul<Blade<T2, N, G2>> for SimpleBlade<T1, N, G1> where
    T1: AllocBlade<N, G1> + AllRefMul<T2, AllOutput = U> + AllRefMul<T1, AllOutput = U>,
    T2: AllocBlade<N, G2>,
    U: AllocBlade<N, G2> + for<'c> Mul<&'c T1, Output = U> + AddGroup,
    U: for<'c> Div<&'c U, Output = U>, 

type Output = Blade<U, N, G2>

impl<T1, T2, U, N: Dim, G1: Dim, G2: Dim> VersorMul<Blade<T2, N, G2>> for UnitBlade<T1, N, G1> where
    T1: AllocBlade<N, G1> + AllRefMul<T2, AllOutput = U>,
    T2: AllocBlade<N, G2>,
    U: AllocBlade<N, G2> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = Blade<U, N, G2>

impl<T1, T2, U, N: Dim, G1: Dim, G2: Dim> VersorMul<SimpleBlade<T2, N, G2>> for Blade<T1, N, G1> where
    T1: AllocSimpleBlade<N, G1> + AllRefMul<T2, AllOutput = U> + AllRefMul<T1, AllOutput = U>,
    T2: AllocBlade<N, G2>,
    U: AllocBlade<N, G2> + for<'c> Mul<&'c T1, Output = U> + AddGroup,
    U: for<'c> Div<&'c U, Output = U>, 

type Output = SimpleBlade<U, N, G2>

impl<T1, T2, U, N: Dim, G1: Dim, G2: Dim> VersorMul<SimpleBlade<T2, N, G2>> for SimpleBlade<T1, N, G1> where
    T1: AllocBlade<N, G1> + AllRefMul<T2, AllOutput = U> + AllRefMul<T1, AllOutput = U>,
    T2: AllocBlade<N, G2>,
    U: AllocBlade<N, G2> + for<'c> Mul<&'c T1, Output = U> + AddGroup,
    U: for<'c> Div<&'c U, Output = U>, 

type Output = SimpleBlade<U, N, G2>

impl<T1, T2, U, N: Dim, G1: Dim, G2: Dim> VersorMul<SimpleBlade<T2, N, G2>> for UnitBlade<T1, N, G1> where
    T1: AllocBlade<N, G1> + AllRefMul<T2, AllOutput = U>,
    T2: AllocBlade<N, G2>,
    U: AllocBlade<N, G2> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = SimpleBlade<U, N, G2>

impl<T1, T2, U, N: Dim, G1: Dim, G2: Dim> VersorMul<UnitBlade<T2, N, G2>> for UnitBlade<T1, N, G1> where
    T1: AllocBlade<N, G1> + AllRefMul<T2, AllOutput = U>,
    T2: AllocBlade<N, G2>,
    U: AllocBlade<N, G2> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = UnitBlade<U, N, G2>

impl<T1, T2, U, N: Dim, G2: Dim> VersorMul<Blade<T2, N, G2>> for Even<T1, N> where
    T1: AllocEven<N> + AllRefMul<T2, AllOutput = U> + AllRefMul<T1, AllOutput = U>,
    T2: AllocBlade<N, G2>,
    U: AllocBlade<N, G2> + for<'c> Mul<&'c T1, Output = U> + AddGroup,
    U: for<'c> Div<&'c U, Output = U>,
    N: ToTypenum,
    AsTypenum<N>: IsLessOrEqual<U3, Output = True>, 

type Output = Blade<U, N, G2>

impl<T1, T2, U, N: Dim, G2: Dim> VersorMul<Blade<T2, N, G2>> for Odd<T1, N> where
    T1: AllocOdd<N> + AllRefMul<T2, AllOutput = U> + AllRefMul<T1, AllOutput = U>,
    T2: AllocBlade<N, G2>,
    U: AllocBlade<N, G2> + for<'c> Mul<&'c T1, Output = U> + AddGroup,
    U: for<'c> Div<&'c U, Output = U>,
    N: ToTypenum,
    AsTypenum<N>: IsLessOrEqual<U3, Output = True>, 

type Output = Blade<U, N, G2>

impl<T1, T2, U, N: Dim, G2: Dim> VersorMul<Blade<T2, N, G2>> for Reflector<T1, N> where
    T1: AllocOdd<N> + AllRefMul<T2, AllOutput = U>,
    T2: AllocBlade<N, G2>,
    U: AllocBlade<N, G2> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = Blade<U, N, G2>

impl<T1, T2, U, N: Dim, G2: Dim> VersorMul<Blade<T2, N, G2>> for Rotor<T1, N> where
    T1: AllocEven<N> + AllRefMul<T2, AllOutput = U>,
    T2: AllocBlade<N, G2>,
    U: AllocBlade<N, G2> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = Blade<U, N, G2>

impl<T1, T2, U, N: Dim, G2: Dim> VersorMul<SimpleBlade<T2, N, G2>> for Even<T1, N> where
    T1: AllocEven<N> + AllRefMul<T2, AllOutput = U> + AllRefMul<T1, AllOutput = U>,
    T2: AllocBlade<N, G2>,
    U: AllocBlade<N, G2> + for<'c> Mul<&'c T1, Output = U> + AddGroup,
    U: for<'c> Div<&'c U, Output = U>,
    N: ToTypenum,
    AsTypenum<N>: IsLessOrEqual<U3, Output = True>, 

type Output = SimpleBlade<U, N, G2>

impl<T1, T2, U, N: Dim, G2: Dim> VersorMul<SimpleBlade<T2, N, G2>> for Odd<T1, N> where
    T1: AllocOdd<N> + AllRefMul<T2, AllOutput = U> + AllRefMul<T1, AllOutput = U>,
    T2: AllocBlade<N, G2>,
    U: AllocBlade<N, G2> + for<'c> Mul<&'c T1, Output = U> + AddGroup,
    U: for<'c> Div<&'c U, Output = U>,
    N: ToTypenum,
    AsTypenum<N>: IsLessOrEqual<U3, Output = True>, 

type Output = SimpleBlade<U, N, G2>

impl<T1, T2, U, N: Dim, G2: Dim> VersorMul<SimpleBlade<T2, N, G2>> for Reflector<T1, N> where
    T1: AllocOdd<N> + AllRefMul<T2, AllOutput = U>,
    T2: AllocBlade<N, G2>,
    U: AllocBlade<N, G2> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = SimpleBlade<U, N, G2>

impl<T1, T2, U, N: Dim, G2: Dim> VersorMul<SimpleBlade<T2, N, G2>> for Rotor<T1, N> where
    T1: AllocEven<N> + AllRefMul<T2, AllOutput = U>,
    T2: AllocBlade<N, G2>,
    U: AllocBlade<N, G2> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = SimpleBlade<U, N, G2>

impl<T1, T2, U, N: Dim, G2: Dim> VersorMul<UnitBlade<T2, N, G2>> for Reflector<T1, N> where
    T1: AllocOdd<N> + AllRefMul<T2, AllOutput = U>,
    T2: AllocBlade<N, G2>,
    U: AllocBlade<N, G2> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = UnitBlade<U, N, G2>

impl<T1, T2, U, N: Dim, G2: Dim> VersorMul<UnitBlade<T2, N, G2>> for Rotor<T1, N> where
    T1: AllocEven<N> + AllRefMul<T2, AllOutput = U>,
    T2: AllocBlade<N, G2>,
    U: AllocBlade<N, G2> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = UnitBlade<U, N, G2>

impl<T1, T2, U, N: Dim, G: Dim> VersorMul<Versor<T2, N>> for UnitBlade<T1, N, G> where
    T1: AllocBlade<N, G> + AllRefMul<T2, AllOutput = U>,
    T2: AllocVersor<N>,
    U: AllocVersor<N> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = Versor<U, N>

impl<T1, T2, U, N: Dim, G: Dim> VersorMul<Blade<T2, N, G>> for Versor<T1, N> where
    T1: AllocVersor<N> + AllRefMul<T2, AllOutput = U>,
    T2: AllocBlade<N, G>,
    U: AllocBlade<N, G> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = Blade<U, N, G>

impl<T1, T2, U, N: Dim, G: Dim> VersorMul<SimpleBlade<T2, N, G>> for Versor<T1, N> where
    T1: AllocVersor<N> + AllRefMul<T2, AllOutput = U>,
    T2: AllocBlade<N, G>,
    U: AllocBlade<N, G> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = SimpleBlade<U, N, G>

impl<T1, T2, U, N: Dim, G: Dim> VersorMul<UnitBlade<T2, N, G>> for Versor<T1, N> where
    T1: AllocVersor<N> + AllRefMul<T2, AllOutput = U>,
    T2: AllocBlade<N, G>,
    U: AllocBlade<N, G> + for<'c> Mul<&'c T1, Output = U> + AddGroup, 

type Output = UnitBlade<U, N, G>