If M and/or N are direct sum modules (isDirectSum M == true) then T is the direct sum of the tensor products between the components. This SHOULD be built into M**N, but isn't as of M2, v. 1.7

- HomWithComponents -- computes Hom, preserving direct sum information
- dualWithComponents -- dual module preserving direct sum information

- tensorWithComponents(Module,Module)

The object tensorWithComponents is a method function.