February 24th, 2009

Обозначения Свидлера для коумножения + знаки

составляют совершенную гремучую смесь. В формуле

(-1)|c(1)| c(1)a ⊗ c(2) = (-1)|c(1)| c(1) ⊗ ac(2),

где a -- нечетный оператор, сокращать знаковые множители, абсолютно одинаковые на вид слева и справа, ни в коем случае нельзя. Иначе смысл формулы поменяется на противоположный и вы будете битый час искать ошибку в ваших вычислениях.

Вообще обозначения Свидлера уродливы и дики, и все же они оказываются несопоставимо лучше любых приходящих в голову альтернатив. На изобретение современных обозначений для сложения и умножения ушли века; сколько-то времени понадобится, чтобы придумать хорошие обозначения для коумножения?