 Orthogonal polynomial projection kernel

For real monic orthogonal polynomials $p_j$ with squared weighted norms $h_j$ under a positive weight $w$, the functions $p_j\sqrt{w/h_j}$ form an orthonormal set for the unweighted reference measure. Their finite-rank projection kernel turns the squared weighted Vandermonde determinant into a kernel determinant. Normalization on the full labelled configuration space is $1/m!$.