I feel suddenly uneasy of not being able to perform this operation easily. It could be that I'm tired, or that there's really no way (google didn't help), but...
if you have a list in python, and want to extract element at indices say 1, 2 and 5 into a new list, how do you do ?
This is how I did it, but I'm not very satisfied
[10, 11, 12, 13, 14, 15]
>>> [x for x in enumerate(a) if x in [1,2,5]]
[11, 12, 15]