Hi Waldek, On Fri, 12 Aug 2016, Waldek Hebisch wrote:
1) It is easy to implement tensor product of two modules when just one of modules is free. Should we change tensor product to allow this?
why not? The only question is which of the two modules should relaxed. However this requires some work. Maybe in separate domains TensorProduct1 TensorProduct2?
3) Should we add FreeModuleCategory to polynomials and related domains? Overhead in terms of implementation is probably quite low. I am a bit concerned that we add a lot of new signatures which make little sense from point of view of naive users, but which will complicate overload resolution (and make it less predictable).
it seems most natural, however I can't predict side effects either. best regards, Franz
