## 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: May 17 2021 at 15:13 UTC