Re: binomial coefficient with negative args

[Christian Krause <me@ckrause.org>]

Some more info on the extension: it uses the gamma function as continuous version of factorial. The rest follows from the definition of the gamma function. Besides Wolfram Alpha, also the Maple Calculator app uses this definition:

Wolfram Alpha:

Maple Calculator:

Cheers,

Christian

On Fri, 28 Oct 2022 at 12:38, Bill Allombert <Bill.Allombert@math.u-bordeaux.fr> wrote:

On Wed, Oct 26, 2022 at 02:54:47PM -0400, Max Alekseyev wrote:
> I worry that this extension is not consistent with the definition of
> binomial(n,k) as the coefficient of x^k in (1+x)^n.
> According to this definition it should be zero for k < 0.

To give an example where that makes a difference:

? sum(i=-5,5,binomial(-1,i)*x^i)==(1+x)^-1+O(x^6)

pari 2.15:
%1 = 1
pari 2.16:
%1 = 0

Cheers,
Bill