Positive_definite_quadratic_form loading ...