Re: [GiNaC-devel] Patch for products of dummy summations