Эффективное копирование данных

Question

У меня есть датафрейм:

dataframe = pd.DataFrame()
dataframe['column'] = [10,20,30,40]

Я хочу эффективно продублировать каждый элемент 3 раза, чтобы он стал эквивалентом:

dataframe['column'] = [10,10,10,20,20,20,30,30,30,40,40,40]

Мне нужно решение, которое будет работать для df любого размера. Мне также нужен индекс, чтобы остаться 1,2,3,4 и т. Д.

Answer 1

magic_list = [10,20,30,40]
dataframe['column'] = [x for y in [[a for i in range(3)] for a in magic_list] for x in y]