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.
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.