Zulip Chat Archive

Stream: Is there code for X?

Topic: matrix.dot_product is a linear map


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 add_comm_group)

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: Dec 20 2023 at 11:08 UTC