PositiveDefiniteMatrix predicate's basic implementation has been added
Positive-definite matrix has to be a square matrix
Positive-definite matrix must have positive determinant
Initial implementation has been replaced by a single method call
Redundant method has been removed
Merge pull request #139 from maseev/iss12

Fixes #12
added credits for Miron