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