[GiNaC-list] binomial coefficients