Make symbol::name be initialized lazily. ginac_1-5
authorRichard Kreckel <kreckel@ginac.de>
Thu, 9 Dec 2010 08:18:34 +0000 (09:18 +0100)
committerRichard Kreckel <kreckel@ginac.de>
Thu, 9 Dec 2010 08:24:17 +0000 (09:24 +0100)
commitc5be6a0d868b7fbf2bf51ed3ee2d2f50d3574b99
tree1acb563cae2b5e036683767fc3e0d6b86331169b
parent59fa68b8930779dfc419291d028b57b0d91d33d0
Make symbol::name be initialized lazily.

This fixes symbol::get_name(), which returned an empty string instead of
"symbol" followed by the serial number if the symbol's name wasn't
specified in the constructor.

Thanks to Warren Weckesser for reporting this bug.
(cherry picked from commit f5abf61d2cb1a1d1809d270a24fa098575b172c4)
ginac/symbol.cpp
ginac/symbol.h