void dumpDV(const DV& X, const char* s) { DVec V; V.copy(X.size(), X.data()); V.print(g_MSGFile, s, "lf", 4, 8, true); }
void dumpDVec(const DVec& V, const char* s) { V.print(g_MSGFile, s, "lf", 4, 8, true); }