blob: bd0f88e33fb677112efd07228731c79b7045e714 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
ftmp2 = Z2^2
ftmp4 = Z2 * ftmp2
ftmp4 = ftmp4 * Y1
ftmp2 = ftmp2 * X1
ftmp = Z1^2
ftmp3 = Z1 * ftmp
tmp = ftmp3 * Y2
ftmp3 = tmp - ftmp4
tmp = ftmp * X2
ftmp = tmp - ftmp2
ftmp5 = Z1 * Z2
Z3 = ftmp * ftmp5
_ftmp = ftmp^2
ftmp5 = ftmp * _ftmp
ftmp2 = ftmp2 * _ftmp
tmp = ftmp4 * ftmp5
tmp2 = ftmp3^2
tmp2 = tmp2 - ftmp5
ftmp5 = 2 * ftmp2
X3 = tmp2 - ftmp5
ftmp2 = ftmp2 - X3
tmp2 = ftmp3 * ftmp2
Y3 = tmp2 - tmp
|
