#include <string.h>
#include <map>
+#include <iostream>
#include <string>
using namespace std;
#include <ginac/ginac.h>
#endif
-#ifndef NO_NAMESPACE_GINAC
using namespace GiNaC;
-#endif // ndef NO_NAMESPACE_GINAC
// yacc stack type
#define YYSTYPE ex