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