Круговой сдвиг столбца в кадре данных Polars ⇐ Python

[Anonymous]

Как я могу получить циклический сдвиг столбца в кадре данных Polars?
Например, предположим, что я начинаю с этого кадра данных,
df = pl.DataFrame(dict(a=range(1, 10)))

и я хочу добавить столбец b, который представляет собой круговой сдвиг столбца a, где количество сдвинутых позиций равно 3. Тогда ожидаемый результат следующий:
shape: (9, 2)
┌─────┬─────┐
│ a ┆ b │
│ --- ┆ --- │
│ i64 ┆ i64 │
╞═════╪═════╡
│ 1 ┆ 7 │
│ 2 ┆ 8 │
│ 3 ┆ 9 │
│ 4 ┆ 1 │
│ 5 ┆ 2 │
│ 6 ┆ 3 │
│ 7 ┆ 4 │
│ 8 ┆ 5 │
│ 9 ┆ 6 │
└─────┴─────┘


Подробнее здесь: https://stackoverflow.com/questions/785 ... -dataframe