Commit 2024-11-13 21:29 320404f8

chore(Data/Matrix): reverse import order of Data.Matrix.Basis and LinearAlgebra.Matrix.Trace (#18974) Previously, the definition of Matrix.stdBasisMatrix depended on the definition (and many properties of) the trace of a matrix. I think that dependency should be reversed, since stdBasisMatrix is otherwise a much less heavy definition, import-wise. This was spotted while adding assert_not_exists statements to #18964.