Commit 2025-11-18 22:43 ff68c4bf

View on Github →

chore(LinearAlgebra/Matrix/PosDef): rename Matrix.InnerProductSpace.ofMatrix (#30928)

  • Renames Matrix.NormedAddCommGroup.ofMatrix to Matrix.toNormedAddCommGroup
  • Removes Matrix.InnerProductSpace.ofMatrix and adds Matrix.toInnerProductSpace instead.
  • Removes Matrix.PosDef.matrixInnerProductSpace and adds Matrix.toMatrixInnerProductSpace instead.
  • Defines Matrix.toSeminormedAddCommGroup and Matrix.toMatrixSeminormedAddCommGroup.

Estimated changes