Lines Matching defs:z2
934 const felem z2)
941 /* ftmp2 = z2^2 */
942 felem_square(tmp, z2);
945 /* ftmp4 = z2^3 */
946 felem_mul(tmp, ftmp2, z2);
949 /* ftmp4 = z2^3*y1 */
953 /* ftmp2 = z2^2*x1 */
958 * We'll assume z2 = 1 (special case z2 = 0 is handled later)
961 /* ftmp4 = z2^3*y1 */
964 /* ftmp2 = z2^2*x1 */
980 /* ftmp3 = z1^3*y2 - z2^3*y1 */
989 /* ftmp = z1^2*x2 - z2^2*x1 */
1001 z2_is_zero = felem_is_zero(z2);
1008 /* ftmp5 = z1*z2 */
1010 felem_mul(tmp, z1, z2);
1013 /* special case z2 = 0 is handled later */
1017 /* z_out = (z1^2*x2 - z2^2*x1)*(z1*z2) */
1021 /* ftmp = (z1^2*x2 - z2^2*x1)^2 */
1026 /* ftmp5 = (z1^2*x2 - z2^2*x1)^3 */
1030 /* ftmp2 = z2^2*x1*(z1^2*x2 - z2^2*x1)^2 */
1034 /* tmp = z2^3*y1*(z1^2*x2 - z2^2*x1)^3 */
1038 /* tmp2 = (z1^3*y2 - z2^3*y1)^2 */
1042 /* tmp2 = (z1^3*y2 - z2^3*y1)^2 - (z1^2*x2 - z2^2*x1)^3 */
1046 /* ftmp5 = 2*z2^2*x1*(z1^2*x2 - z2^2*x1)^2 */
1052 * x_out = (z1^3*y2 - z2^3*y1)^2 - (z1^2*x2 - z2^2*x1)^3 -
1053 * 2*z2^2*x1*(z1^2*x2 - z2^2*x1)^2
1059 /* ftmp2 = z2^2*x1*(z1^2*x2 - z2^2*x1)^2 - x_out */
1064 * tmp2 = (z1^3*y2 - z2^3*y1)*(z2^2*x1*(z1^2*x2 - z2^2*x1)^2 - x_out)
1070 * y_out = (z1^3*y2 - z2^3*y1)*(z2^2*x1*(z1^2*x2 - z2^2*x1)^2 - x_out) -
1071 * z2^3*y1*(z1^2*x2 - z2^2*x1)^3
1089 copy_conditional(z_out, z2, z1_is_zero);
1343 felem z1, z2, x_in, y_in, x_out, y_out;
1354 felem_inv(z2, z1);
1355 felem_square(tmp, z2);
1367 felem_mul(tmp, z1, z2);