I have a list a_tot with 1500 elements and I would like to divide this list into two lists in a random way. List a_1 would have 1300 and list a_2 would have 200 elements. My
The randomization should be just as good with both option. I'd say go with shuffle, because it's more immediately clear to the reader what it does.
shuffle