Полярные поля объединяются в столбце с числом больше или равно ⇐ Python

[Anonymous]

У меня есть два фрейма данных Polars, один фрейм данных df_1 с двумя столбцами, начинающимися и конечными, другой фрейм данных df_2, один с датами столбца, и я хочу выполнить левое соединение на df_2 при условии, что столбец дат находится между столбцами начала и конца.
Чтобы сделать более очевидным то, что я хочу сделать, это пример
ДАННЫЕ
import polars as pl
from datetime import date

df_1 = pl.DataFrame(
{
"id": ["abc", "abc", "456"],
"start": [date(2022, 1, 1), date(2022, 3, 4), date(2022, 5, 11)],
"end": [date(2022, 2, 4), date(2022, 3, 10), date(2022, 5, 16)],
"value": [10, 3, 4]

}
)

df_2 = pl.DataFrame(
{
"id": ["abc", "abc", "456", "abc", "abc", "456"],
"dates": [date(2022, 1, 2), date(2022, 3, 4), date(2022, 5, 11), date(2022, 1, 4), date(2022, 3, 7), date(2022, 5, 13)],
}
)

Итак, теперь я бы присоединился по идентификатору, и эти даты находятся между началом и концом, и результат должен выглядеть так
РЕЗУЛЬТАТ
shape: (6, 3)
┌─────┬────────────┬───────┐
│ id ┆ dates ┆ value │
│ --- ┆ --- ┆ --- │
│ str ┆ date ┆ i64 │
╞═════╪════════════╪═══════╡
│ abc ┆ 2022-01-02 ┆ 10 │
│ abc ┆ 2022-03-04 ┆ 3 │
│ 456 ┆ 2022-05-11 ┆ 4 │
│ abc ┆ 2022-01-04 ┆ 10 │
│ abc ┆ 2022-03-07 ┆ 3 │
│ 456 ┆ 2022-05-13 ┆ 4 │
└─────┴────────────┴───────┘


Подробнее здесь: https://stackoverflow.com/questions/731 ... n-or-equal