У меня есть "2,5,7-9,12"
строка.
Я хочу получить [2, 5, 7, 8, 9, 12].
Есть ли для этого встроенная функция в python?
Спасибо.
UPD. Полагаю, прямой ответ - Нет . В любом случае, спасибо за ваши "фрагменты". Используя один, предложенный Свеном Марнахом .