On Wednesday, February 27, 2019 at 7:06:42 AM UTC+9, Jeroen Demeyer wrote: > > On 2019-02-26 21:53, Jeroen Demeyer wrote: > > I think that you are 100% right but that (as with many things) it is the > > way it is for historical reasons and it hasn't bothered anyone > > sufficiently much to change it. > > Part of the reason why I haven't personally touched _lmul_/_rmul_ (while > I did change many other things in the coercion model) is that I never > really understood how _lmul_/_rmul_ are supposed to behave precisely. >
It could be possible to hammer the coercion model to behave more nicely with the category framework, at least with respect to the issue that I raised. But I fear that doing it without the overall precise understanding of the systems would somehow break them someway. It seems to me if you wouldn't do it, no one dares :-) -- 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 post to this group, send email to sage-devel@googlegroups.com. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
