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