Constant and models definitions

ConstantsAndModels.getRandomVec(q)

Computes a random vector components of given magnitude q.