Orthogonal polynomial (source code)

= Orthogonal polynomial
{wiki}

Orthogonal polynomials of distinct degrees are orthogonal under a positive weighted inner product.