[GiNaC-list] Re: GiNaC-list Digest, Vol 7, Issue 5