pyecsca/ec/efd/shortw/projective-1/variables


1
2
3
4
5
6
7
8
9
10

name projective coordinates with a4=-1
assume a = -1
variable X
variable Y
variable Z
neutral X = 0
neutral Y = 1
neutral Z = 0
satisfying x = X/Z
satisfying y = Y/Z