Re: [GiNaC-list] GiNaC-list Digest, Vol 82, Issue 2