What is the most efficient way to rotate a list in python? Right now I have something like this:
>>> def rotate(l, n): ... return l[n:] + l[:n]
Simplest way I can think of:
a.append(a.pop(0))