Re: [GiNaC-list] Maps and sets of symbols?