Собственно работают, только пока не реализована выдача внятных сообщений по ошибке - “падения” происходят c указанием места в PABCSystem, но для тестирования это непринципиально. Наиболее популярная “ошибка” - неравенство длин правой и левой части. Может быть, тут тоже подумать и о мягких срезах?
По поводу [:^k] - предлагаю понимать конструкцию как “без k последних элементов”. Потому что a[:^1] вернет элементы, кроме одного последнего, a[:^5] - кроме пяти последних, a[:^0] - все, т.е. это без 0 последних.
А можно подробнее, возможно с картинками? Это как раз важно - без этого в release не пойдут.
Какое такое место в PABCSystem? Такого не было - и вот опять.
Понятно, что количество элементов сечения в левой части обязано быть согласованным с количеством в правой. Но я бы тут сделал исключение для случая, когда в правой части один скалярный элемент. Использование - “заливка” одинаковыми значением. А мягкие срезы - они, действительно тут не нужны, но нужна диагностика на случай попытки их использовать.