I just prepared a very long answer. Doing so I had to check something in my code. This in turn lead me to discover a bug, which might slightly change things. I am too tired right now to fix the bug (it might not be easy), so please give me a night.
This might reduce the problem to nothing, but I don't know yet. I'm sorry! Martin On Friday 23 February 2024 at 21:07:19 UTC+1 Nils Bruin wrote: > 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/3dac6bcb-2353-4e4a-b793-b3d50832a9ccn%40googlegroups.com.
