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

[Warren Weckesser]

On Sat, Aug 28, 2010 at 2:43 PM, Warren Weckesser <
warren.weckesser at gmail.com> wrote:

> Hi,
>
> According to the documentation (section 4.5 of the online tutorial), the
> following code should produce something like
>
> z.get_name() = "symbol1"
>
> but with ginac 1.5.8, I get an empty string.
>
> -----
> #include <iostream>
> #include <ginac/ginac.h>
> using namespace std;
> using namespace GiNaC;
>
> int main()
> {
>     symbol z;
>     cout << "z.get_name() = \"" << z.get_name() << "\"" << endl;
>     return 0;
> }
> -----
>
> In an older version of ginac, this used to work as documented.  Is this a
> bug, or an expected change in behavior? (Or is it just my installation that
> is broken?)
>
>
Partly answering my own question...  it looks like the change was
introduced in version 1.5.0.