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