Assertion list
determinant (aspect of matrix ) → HasProperty
Results from Ascent++: 6
determinant → HasProperty → equal 0.70
determinant → HasProperty → positive 0.65
determinant → HasProperty → nonzero 0.52
determinant → HasProperty → important 0.29
determinant → HasProperty → invertible 0.29
determinant → HasProperty → -1 0.25