Re: [GiNaC-list] get_name() doesn't returned a name like "symbolNNN"?