Assertion list for term "positive definite".

Results from Ascent++: 1
matrix HasPropertypositive definite 0.57