Positive-definite quadratic optimization (source code)

= Positive-definite quadratic optimization

A linear functional minus one half of a positive-definite quadratic has the unique maximizer obtained by solving its linear first-order equation.