Re: [GiNaC-list] GiNaC-list Digest, Vol 93, Issue 4