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

[Richard B. Kreckel]

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/>