Как я могу добавить или объединить два кадра данных в полях Python? ⇐ Python

[Anonymous]

Я вижу, что можно добавить, используя пространство имен серии (https://stackoverflow.com/a/70599059/5363883). Мне интересно, существует ли аналогичный метод для добавления или объединения DataFrames.
В pandas исторически это можно было сделать с помощью df1.append(df2). Однако этот метод устарел (если он еще не устарел) для pd.concat([df1, df2]).
Примеры кадров:
df1 = pl.from_repr("""
┌─────┬─────┬─────┐
│ a ┆ b ┆ c │
│ --- ┆ --- ┆ --- │
│ i64 ┆ i64 ┆ i64 │
╞═════╪═════╪═════╡
│ 1 ┆ 2 ┆ 3 │
└─────┴─────┴─────┘
""")

df2 = pl.from_repr("""
┌─────┬─────┬─────┐
│ a ┆ b ┆ c │
│ --- ┆ --- ┆ --- │
│ i64 ┆ i64 ┆ i64 │
╞═════╪═════╪═════╡
│ 4 ┆ 5 ┆ 6 │
└─────┴─────┴─────┘
""")

Желаемый результат:
shape: (2, 3)
┌─────┬─────┬─────┐
│ a ┆ b ┆ c │
│ --- ┆ --- ┆ --- │
│ i64 ┆ i64 ┆ i64 │
╞═════╪═════╪═════╡
│ 1 ┆ 2 ┆ 3 │
│ 4 ┆ 5 ┆ 6 │
└─────┴─────┴─────┘


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