Re: [Numpy-discussion] extracting a random subset of a vector