Dear all! I badly need help to make the following work. Let M be a module over a ring Q, and let R be a ring with a coercion from Q to R. Then I want to be able to multiply elements in R with elements in tensor products of M. This is https://github.com/sagemath/sage/pull/37413, and is (hopefully) the final stumbling block for https://github.com/sagemath/sage/pull/37033.
Multiplying elements in R with elements in M works. Here is an example: sage: M = CombinatorialFreeModule(QQ, [1,2,3]) sage: m = M.an_element(); m 2*B[1] + 2*B[2] + 3*B[3] sage: R.<x> = QQ[] sage: r = x + 1 sage: r * m (2*x+2)*B[1] + (2*x+2)*B[2] + (3*x+3)*B[3] sage: T = M.tensor(M) sage: t = T.an_element(); t 2*B[1] # B[1] + 2*B[1] # B[2] + 3*B[1] # B[3] sage: r * t TypeError Help is greatly appreciated. There is already some info at the ticket, but I don't know how to proceed. Best wishes, Martin -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/89ad4608-6c9e-4e04-bfda-6c7572f423c8n%40googlegroups.com.
