symbol: don't bother to set TeX name if user did not specified one.
authorAlexei Sheplyakov <varg@theor.jinr.ru>
Thu, 16 Oct 2008 11:43:32 +0000 (15:43 +0400)
committerAlexei Sheplyakov <varg@theor.jinr.ru>
Sun, 19 Oct 2008 17:29:11 +0000 (21:29 +0400)
commit94e5076a9ad0d142ee4604e9b078a10083efd24c
tree70ece0f339199e4b5455daa84d0b3391808c8a43
parent32209e57010f19f080cc25e527347bcaa36053ec
symbol: don't bother to set TeX name if user did not specified one.

Same for the usual name. As a result we use less memory (and the output
is exactly the same).
ginac/symbol.cpp
ginac/symbol.h