void SVSet::add2(SVector &svec, int n, const int idx[], const Real val[])
{
xtend(svec, svec.size() + n);
svec.add(n, idx, val);
}
void SVSet::add2(SVector &svec, int idx, Real val)
{
xtend(svec, svec.size() + 1);
svec.add(idx, val);
}