pyecsca/ec/efd/shortw/jacobian-0/variables


1
2
3
4
5
6
7
8
9
10
11
12

name Jacobian coordinates with a4=0
assume a = 0
variable X
variable Y
variable Z
neutral X = 1
neutral Y = 1
neutral Z = 0
satisfying ZZ = Z^2
satisfying ZZZ = ZZ*Z
satisfying x = X/ZZ
satisfying y = Y/ZZZ