Lines Matching defs:z2
118 denom_times(giant x1, giant z1, giant x2, giant z2, giant res,
120 res := (x1 z2 - x2 z1)^2
122 numer_times(giant x1, giant z1, giant x2, giant z2, giant res,
124 res := (x1 x2 - a z1 z2)^2 - 4 b(x1 z2 + x2 z1 + c z1 z2) z1 z2
245 static void ell_even(giant x1, giant z1, giant x2, giant z2, curveParams *par);
246 static void ell_odd(giant x1, giant z1, giant x2, giant z2, giant xxor,
251 static void denom_times(giant x1, giant z1, giant x2, giant z2, giant res,
253 static void numer_times(giant x1, giant z1, giant x2, giant z2, giant res,
567 static void ell_even(giant x1, giant z1, giant x2, giant z2, curveParams *par) {
584 gtog(t3, z2); mulg(par->c, z2); feemod(par, z2);
585 addg(t1, z2); addg(t2, z2); mulg(t3, z2); gshiftleft(2, z2);
586 feemod(par, z2); /* z2 := 4 x1 z1 (x1^2 + c x1 z1 + z1^2). */
609 gtog(t3, z2);
616 gtog(t1, x2); gtog(t2, z2);
630 printf(" z2 : "); printGiant(z2);
634 static void ell_odd(giant x1, giant z1, giant x2, giant z2, giant xxor,
651 gtog(x2, t2); subg(z2, t2); /* t2 := x2 - z2. */
653 gtog(x2, t4); addg(z2, t4); /* t4 := x2 + z2. */
654 mulg(t2, t1); feemod(par, t1); /* t1 := (x1 + z1)(x2 - z2) */
655 mulg(t4, t3); feemod(par, t3); /* t4 := (x2 + z2)(x1 - z1) */
656 gtog(t1, z2); subg(t3, z2); /*???gshiftright(1, z2);*/
657 /* z2 := ((x1 + z1)(x2 - z2) - x2)/2 */
658 gsquare(z2); feemod(par, z2);
659 mulg(xxor, z2); feemod(par, z2);
674 gtog(z1, t2); mulg(z2, t2); feemod(par, t2); /* t2 := z1 z2. */
675 gtog(x1, t3); mulg(z2, t3); feemod(par, t3); /* t3 := x1 z2. */
677 gtog(t3, z2); subg(t4, z2); gsquare(z2); feemod(par, z2);
678 mulg(xxor, z2); feemod(par, z2);
690 numer_times(x1, z1, x2, z2, t1, par);
692 denom_times(x1, z1, x2, z2, t2, par);
695 gtog(t1, x2); gtog(t2, z2);
707 printf(" z2 : "); printGiant(z2);
903 static void denom_times(giant x1, giant z1, giant x2, giant z2, giant res,
906 res := (x1 z2 - x2 z1)^2
914 gtog(x1, res); mulg(z2, res); feemod(par, res);
922 static void numer_times(giant x1, giant z1, giant x2, giant z2, giant res,
925 res := (x1 x2 - a z1 z2)^2 -
926 4 b(x1 z2 + x2 z1 + c z1 z2) z1 z2
941 gtog(z1, t2); mulg(z2, t2); feemod(par, t2);
957 gtog(x1, t4); mulg(z2, t4); feemod(par, t4);