Stream: Is there code for X?
Eric Wieser (Jan 22 2021 at 08:43):
Do we have docs#matrix.dot_product as a bundled linear map in one / both arguments?
Johan Commelin (Jan 22 2021 at 08:47):
For the liquid project, it would be great to have something that takes a matrix of integers, and spits out an add_monoid_hom
A^m ->+ A^n (where
A is an
Johan Commelin (Jan 22 2021 at 09:01):
This can be generalised to arbitrary semirings and semimodules, I guess.
Eric Wieser (Jan 22 2021 at 09:28):
Isn't what you're asking for docs#matrix.to_lin'?
Johan Commelin (Jan 22 2021 at 09:30):
Yup, except that one is linear, not just additive.
Last updated: May 17 2021 at 15:13 UTC