Как сжать адрес IPV6? ⇐ Python

[Anonymous]

Есть массив с IP-адресами. Мне нужен выбранный IP-адрес, чтобы его сократить. Например:

['fcef:b0e7:7d20:0000:0000:00000565']


Правила сокращений: если часть, начинающаяся с 0, необходимо удалить из части или есть, например, 0000 необходимо изменить на 0.
Предыдущий пример после сокращения:

['fcef:b0e7:7d20:0:0:0565']


Подробнее здесь: https://stackoverflow.com/questions/291 ... address-in