Commit 2023-09-09 23:05 ab88fbbd
View on Github →feat(LinearAlgebra/Matrix/Trace): add Matrix.trace_diagonal (#7061) The trace of a diagonal matrix is the sum of the diagonal elements. Zulip discussion
feat(LinearAlgebra/Matrix/Trace): add Matrix.trace_diagonal (#7061) The trace of a diagonal matrix is the sum of the diagonal elements. Zulip discussion