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

Implementors

• impl<Ul, Uh, V> Contract<Ul, Uh> for V where Ul: Unsigned, Uh: Unsigned + Sub<U1> + Cmp<Ul>, Sub1<Uh>: Unsigned, Uh::Output: Same<Greater>, V: Index<Ul> + Index<Uh> + RemoveIndex<Ul>, At<V, Ul>: OtherIndex, At<V, Uh>: Same<At<V, Ul>::Output>, Removed<V, Ul>: RemoveIndex<Sub1<Uh>>, Removed<Removed<V, Ul>, Sub1<Uh>>: Variance