Re: [GiNaC-list] (no subject)