1 | initial version |
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.)