Re: [GiNaC-list] binomial coefficients