Commit 2025-09-29 07:22 869a7221
View on Github →refactor: LinearMap.toMatrix_toSpanSingleton (#29880)
LinearMap.toMatrix_toSpanSingleton has wrong arguments order; v₂ comes before v₁, and the basis v₁ has wrong index.
refactor: LinearMap.toMatrix_toSpanSingleton (#29880)
LinearMap.toMatrix_toSpanSingleton has wrong arguments order; v₂ comes before v₁, and the basis v₁ has wrong index.