Re: [GiNaC-list] set_TeX_name() ?

I like the idea of adding a new method:

void set_TeX_name(const std::string & n)

because you can change the texname witdout doing something like:

symbol toto('sigma'); toto.set_name(toto.get_name(), "\sigma");

I agree. What about whether TeX_name should be mutable or not? I think it probably should be, since name is mutable. Do tests need to be implemented for this patch, or is there anything else I can do to facilitate this small bit of code becoming part of GiNaC? Thanks, Dale