Trait diffgeom::tensors::Contract

pub trait Contract<Ul: Unsigned, Uh: Unsigned>: Variance {
    type Output: Variance;
}

An operator trait representing tensor contraction

Used in tensor inner product

Associated Types

type Output: Variance

Loading content...

Implementors

impl<Ul, Uh, V> Contract<Ul, Uh> for V where
    Ul: Unsigned,
    Uh: Unsigned + Sub<B1> + Cmp<Ul>,
    Sub1<Uh>: Unsigned,
    <Uh as Cmp<Ul>>::Output: Same<Greater>,
    V: Index<Ul> + Index<Uh> + RemoveIndex<Ul>,
    <V as Index<Ul>>::Output: OtherIndex,
    <V as Index<Uh>>::Output: Same<<<V as Index<Ul>>::Output as OtherIndex>::Output>,
    <V as RemoveIndex<Ul>>::Output: RemoveIndex<Sub1<Uh>>,
    <<V as RemoveIndex<Ul>>::Output as RemoveIndex<Sub1<Uh>>>::Output: Variance, 

type Output = <<V as RemoveIndex<Ul>>::Output as RemoveIndex<Sub1<Uh>>>::Output

Loading content...