Direct sum for tensor product of CombinatorialFreeModule

asked 6 years ago

MarioM gravatar image

Problem: Given a finite free resolution C of Z over ZG I would like to consider the free resolution CC. Then of course in this new resolution I'm going to have direct sums of tensor products. In sage I'm working with CombinatorialFreeModule, there is a way to defining a direct sum over CombinatorialFreeModule_Tensor?

Thanks in advance.

Preview: (hide)