Reduction to SVP in VectorialSpace