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

Hi, On 08/28/2010 10:17 PM, Warren Weckesser wrote:

It looks like several things were changed. Was it intentional that the default name is no longer "symbolNNN"?

Yes, as Alexei Sheplyakov explained, this is an optimization for temporary short-lived symbols. It's been fixed in commit c5be6a0d868b7f to be picked up in the next release. -richy. -- Richard B. Kreckel <http://www.ginac.de/~kreckel/>