{
DenseVector<T> r(v);
r*=(1.0/s); // for integer types this may be worthless
return ;
return r;
}
///////////////////////////////////////////////////////////////////////////////
//* Operator for Vector-Vector sum