Composition of mixed tensors

ID: composition-of-mixed-tensors

A type- tensor identifies with an endomorphism of a finite-dimensional vector space. Composing two such maps produces another type- tensor, because is a multilinear map. In output-first components the result is ; the contracted index implements composition, and a basis change conjugates the corresponding matrices.

New to topics? Read the docs here!