Преобразование Polars DataFrame ⇐ Python

[Anonymous]

Как лучше всего трансформировать

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

df = pl.from_repr("""
┌─────┬─────┬─────┐
│ R   ┆ C   ┆ VAL │
│ --- ┆ --- ┆ --- │
│ str ┆ str ┆ i64 │
╞═════╪═════╪═════╡
│ r1  ┆ c1  ┆ 1   │
│ r1  ┆ c2  ┆ 2   │
│ r2  ┆ c1  ┆ 3   │
│ r2  ┆ c2  ┆ 4   │
│ r3  ┆ c1  ┆ 5   │
│ r3  ┆ c2  ┆ 6   │
└─────┴─────┴─────┘
""")

в:

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

┌─────┬─────┬─────┐
│ R   ┆ c1  ┆ c2  │
│ --- ┆ --- ┆ --- │
│ str ┆ i64 ┆ i64 │
╞═════╪═════╪═════╡
│ r1  ┆ 1   ┆ 2   │
│ r2  ┆ 3   ┆ 4   │
│ r3  ┆ 5   ┆ 6   │
└─────┴─────┴─────┘

Я думал о серии операций group_by, но должно быть лучшее решение.
Кроме того, как мне вернуть преобразование в исходное состояние? снова макет?

Подробнее здесь: https://stackoverflow.com/questions/751 ... sformation