Positivity of quadrature weights from degree 2n exactness (source code)

= Positivity of quadrature weights from degree 2n exactness

If an $(n+1)$-node quadrature rule for a positive interval weight is exact through degree $2n$, every weight is positive. Indeed, applying the rule to the square of the corresponding degree-$n$ Lagrange cardinal polynomial isolates that weight.