docs and random vector generation