Stream: math-comp users

Topic: complain about order of arguments of mulrBl


view this post on Zulip Yves Bertot (Mar 30 2021 at 15:36):

Hello, I just spent an hour not understanding what happens because mulrBl and mulrDl do not take their arguments in the same order. Who would vote for changing the order of mulrBl so that it is like mulrDl? Or the other way around, but the fact that they are not the same is small nuisance.


Last updated: Feb 08 2023 at 07:02 UTC