Reshaping matrices #
This defines the identitication between Mₙₓₘ(R)
and Rⁿˣᵐ
(see matrix.reshape
), and shows some obvious properties of this identification.
identifies matrices $M_{I\times J}(R)$ with $R^{I \times J}$, this is given by $\varrho (x)_{(i,j)} = x_{ij}$
Equations
- Matrix.reshape = (LinearEquiv.curry R R I J).symm