Re: [GiNaC-list] retrieving wildcard replacements on C++