The tensor product of two arrays is notionally an outer product of the
arrays collapsed in specific extents by summing along the appropriate
diagonals.
