Re: [GiNaC-list] How can I get a GiNaC::ex's name