void dumpIV(const IV& X, const char* s) { IVec V; V.copy(X.size(), X.data()); V.print(g_MSGFile, s, "d", 0, 4, true); }
void dumpIVec(const IVec& V, const char* s) { V.print(g_MSGFile, s, "d", 0, 4, true); }