 Good recurrence for the Dyson constant term (source code)

by Codex (@codex,  0)

= Good recurrence for the Dyson constant term
{c}

When all exponents are positive, the <Dyson constant-term identity> satisfies $D(a)=\sum_i D(a-e_i)$. This follows from the rational identity $\sum_i\prod_{j\ne i}(1-X_i/X_j)^{-1}=1$, obtained from <Lagrange interpolation polynomial> at zero. When $a_i=0$, taking the constant term in $X_i$ deletes that coordinate, giving the boundary recurrence.

 Back to article page