#include <stdlib.h>
#include <string.h>
+#include <map>
+#include <string>
+
#ifdef HAVE_READLINE_READLINE_H
extern "C" {
#include <readline/readline.h>
#endif
#include <ginac/ginac.h>
+
+#ifndef NO_GINAC_NAMESPACE
using namespace GiNaC;
+#endif // ndef NO_GINAC_NAMESPACE
// yacc stack type
#define YYSTYPE ex