Hi all, there seems to be a problem with the default constructor of GiNaC::symbol. Here is a program that shows what happens: #include <ginac/ginac.h> #include <iostream> int main() { GiNaC::symbol s; std::cout << s << std::endl; } If this is executed under, e.g., emacs, it prints symbol0^@ that is, a NUL (ASCII 0) character is printed just after "symbol0". This is probably caused by the presence of " << std::end" in the following template function: template<class T> std::string ToString(const T & t) { std::ostringstream buf; buf << t << std::ends; return buf.str(); } IMHO, " << std::ends" should be simply erased. All the best Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it