Vector genx(Vector &x0, vector<long>&JCOL) { Vector x(x0.size()); forVector(x0,i) x[i] = x0[JCOL[i]-1]; return x; }
static status forSomeVector(Vector v, Code code, Int from, Int to) { return forVector(v, code, from, to, TRUE); }
static status forAllVector(Vector v, Code code, Int from, Int to) { return forVector(v, code, from, to, FALSE); }