Re: [GiNaC-devel] GiNaC-devel Digest, Vol 43, Issue 2