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