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

Richard B. Kreckel kreckel at ginac.de
Thu Dec 9 09:51:27 CET 2010


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.

Richard B. Kreckel

More information about the GiNaC-list mailing list