В Руководство по криптографии на эллиптических кривых , оно предоставляет формулы для вычисления сложения точек в смешанных координатах Лопеса-Дахаба , как показано ниже.
В фактическом алгоритме,

Код включает в себя дополнительные условные операторы для обработки некоторых особых случаев.
Я не уверен, какова цель блока условий в line 9
.
Может ли кто-нибудь объяснить особый случай, который этот блок пытается обработать? Всегда ли необходим этот блок?