Ask Your Question

Revision history [back]

Objects constructed using FreeModule don't seem to have a tensor product implemented. If you use CombinatorialFreeModule instead, it will work. This second version of free modules requires you to specify a basis.

sage: M = CombinatorialFreeModule(ZZ, ('a', 'b', 'c'))
sage: N = CombinatorialFreeModule(ZZ, ('w', 'x', 'y', 'z'))
sage: tensor([M,N])
Free module generated by {'a', 'b', 'c'} over Integer Ring # Free module generated by {'w', 'x', 'y', 'z'} over Integer Ring

(The symbol # is used to denoted the tensor product.)