Basis of matrices

Stream: Is there code for X?

[Riccardo Brasca]

Do we have the standard basis for the space of matrices over a (nontrivial?) ring? Equivalently, the basis of M →ₗ[R] N induced by finite bases of M and N? Thank's!

[Anne Baanen]

Since matrix m n R is just m → n → R, you might be able to get there by combining docs#pi.basis with docs#pi.basis_fun

[Anne Baanen]

There is also docs#matrix.std_basis_matrix, but nothing showing that these are indeed basis vectors.

[Riccardo Brasca]

#9072