Удаление строк со всеми нулями в кадре данных Polars ⇐ Python

[Anonymous]

Я могу использовать функцию drop_nans() для удаления строк, в которых некоторым или всем столбцам присвоено значение nan.
Существует ли эквивалентная функция для удаления строк, у которых все столбцы имеют значение 0?
import polars as pl
df = pl.DataFrame({"a":[0, 0, 0, 0, 30],
"b":[0, 0, 0, 0, 40],
"c":[0, 0, 0, 0, 50]})

shape: (5, 3)
┌─────┬─────┬─────┐
│ a ┆ b ┆ c │
│ --- ┆ --- ┆ --- │
│ i64 ┆ i64 ┆ i64 │
╞═════╪═════╪═════╡
│ 0 ┆ 0 ┆ 0 │
│ 0 ┆ 0 ┆ 0 │
│ 0 ┆ 0 ┆ 0 │
│ 0 ┆ 0 ┆ 0 │
│ 30 ┆ 40 ┆ 50 │
└─────┴─────┴─────┘

В этом примере я хотел бы удалить первые 4 строки из кадра данных.
shape: (1, 3)
┌─────┬─────┬─────┐
│ a ┆ b ┆ c │
│ --- ┆ --- ┆ --- │
│ i64 ┆ i64 ┆ i64 │
╞═════╪═════╪═════╡
│ 30 ┆ 40 ┆ 50 │
└─────┴─────┴─────┘


Подробнее здесь: https://stackoverflow.com/questions/795 ... -dataframe