On Friday 23 February 2024 at 06:44:39 UTC-8 Martin R wrote: 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. It looks to me you should first base extend M to M_R, a module over R, using the coercion map Q->R. So I don't think R acts on M. It acts on M_R. Do you want the coercion system to be smart enough to construct that base extension for you? I'm not sure I'd expect the system to do that or even be in favour of the system doing that on its own. -- 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/27a09e05-f454-4f7b-b955-b888f01ab48cn%40googlegroups.com.
