added another test case for check_pos_definite