Add is_positive_definite() and its tests.