[GiNaC-list] How can I get a GiNaC::ex's name

24 May 2007

      Hello,

Say I construct an ex by:
GiNaC::ex E(GiNaC::symbol("abc"));

How can I get back "abc" from E as a C++ string or char*?

Now I do this by print the ex to a std::ostringstream, and get the string
from the ostringstream.

Thanks.

-- Zhongxing Xu