GiNaC::constant has a private string attribute called `name`. This is what
is output when doing stream io. Is there a reason this class doesn't have
a public get_name() method, so that code that generates code for another
language can get the name instead of having to use, for example,
stringstream?
Warren