Commit 2025-09-16 12:27 305b3430
View on Github →feat(LinearAlgebra/Matrix/PosDef): inner product on matrices induced by positive definite matrix (#28858)
This defines an inner product on matrices induced by a positive definite matrix M: inner x y = trace (M * xᴴ * y). When M = 1, this is exactly the Frobenius inner product.