Re: [GiNaC-list] GiNaC-list Digest, Vol 140, Issue 3