Я знаю, что Polars не поддерживает индекс по своей конструкции, поэтому df.filter(expr).index не является вариантом. Я могу придумать еще один способ — добавить новый столбец перед применением каких-либо фильтров, но не уверен, что это оптимальный способ сделать это в Polars
df.with_columns(pl.Series('index', range(len(df))).filter(expr).index
Подробнее здесь: https://stackoverflow.com/questions/724 ... for-polars
Мобильная версия