Re: [GiNaC-list] products of exponentials