Commit 2024-08-12 23:05 08570c45

View on Github →

feat: Matrix.PosDef on diagonal and numeric matrices (#13974) The main result here is PosDef (diagonal d) ↔ ∀ i, 0 < d i, everything else is just special or less interesting cases.

Estimated changes