Эффективный поиск скользящего среднего в Polars ⇐ Python

[Anonymous]

У меня есть DataFrame в Polars, где каждая строка выглядит примерно так:

Код: Выделить всё

┌───────────┬───────┐
│ day       ┆ value │
│ ---       ┆ ---   │
│ str       ┆ i64   │
╞═══════════╪═══════╡
│ 2023-05-1 ┆ 1     │
└───────────┴───────┘

Для каждой уникальной даты в DataFrame я хочу найти среднее значение пяти самых высоких значений, появившихся в месяце, предшествующем этой дате. Есть ли способ сделать это эффективно в Polars без использования map_elements?
Что, если я хочу найти среднее значение пяти самых высоких значений, появившихся до этого дневного периода? Т.е. не ограничивается только последним месяцем?

Подробнее здесь: https://stackoverflow.com/questions/768 ... -in-polars