Polars добавляет элементы в список ⇐ Python

[Anonymous]

Предположим, у меня есть следующий полярный DataFrame:

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

df = pl.DataFrame({"a": [["A111", "A110"], ["Z254"], ["B897", "C768", "D456"]]})

Теперь в каждый элемент списка я хочу добавить элемент, образованный первым символом этого элемента списка, за которым следуют 3 нуля.
Это ожидаемый результат:

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

df = pl.DataFrame({"a": [["A111", "A000", "A110", "A000"], ["Z254", "Z000"], ["B897", "B000", "C768", "C000", "D456", "D000"]]})

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

┌──────────────────────────────────────────────────┐
│ a                                                │
│ ---                                              │
│ list[str]                                        │
╞══════════════════════════════════════════════════╡
│ ["A111", "A000", "A110", "A000"]                 │
│ ["Z254", "Z000"]                                 │
│ ["B897", "B000", "C768", "C000", "D456", "D000"] │
└──────────────────────────────────────────────────┘

Как я могу это сделать?
Читая документацию по пространству имен списка, я не могу найти ничего, что можно было бы добавить элемент

Подробнее здесь: https://stackoverflow.com/questions/798 ... ts-to-list