#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_NAMESPACE_GINAC
using namespace GiNaC;