[GiNaC-list] set_TeX_name() ?

[Dale Lukas Peterson]

> 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