Commit 2025-08-31 08:11 bf2ab87f

chore: generalize Matrix.PosDef to non-commutative rings (#29150) This lets this be used for matrices of quaternions. 57 citations of https://arxiv.org/abs/2111.12211 suggests that there is at least some agreement that this is a reasonable generalization. Perhaps a stronger argument for it being reasonable is that almost all the proofs continue working. Obviously the results about transpose only hold in the commutative case.