Перемешать строки DataFrame ⇐ Python

[Anonymous]

У меня есть следующий DataFrame:

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

    Col1  Col2  Col3  Type
0      1     2     3     1
1      4     5     6     1
...
20     7     8     9     2
21    10    11    12     2
...
45    13    14    15     3
46    16    17    18     3
...

DataFrame считывается из CSV-файла. Все строки с типом 1 располагаются вверху, за ними следуют строки с типом 2, за ними следуют строки с типом 3 и т. д.
Я хотел бы перетасовать порядок строк DataFrame, чтобы все типы были смешанными. Возможный результат:

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

    Col1  Col2  Col3  Type
0      7     8     9     2
1     13    14    15     3
...
20     1     2     3     1
21    10    11    12     2
...
45     4     5     6     1
46    16    17    18     3
...

Как этого добиться?

Подробнее здесь: https://stackoverflow.com/questions/295 ... frame-rows