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