added doc in code for check_pos_definite