Lines Matching defs:ftmp3
704 felem ftmp, ftmp2, ftmp3, ftmp4;
733 felem_reduce(ftmp3, tmp); /* 2^13 - 2 */
735 felem_square(tmp, ftmp3);
736 felem_reduce(ftmp3, tmp);
738 felem_mul(tmp, ftmp3, ftmp2);
741 felem_reduce(ftmp3, tmp); /* 2^25 - 2 */
743 felem_square(tmp, ftmp3);
744 felem_reduce(ftmp3, tmp);
746 felem_mul(tmp, ftmp3, ftmp2);
747 felem_reduce(ftmp3, tmp); /* 2^48 - 1 */
748 felem_square(tmp, ftmp3);
754 felem_mul(tmp, ftmp3, ftmp4);
755 felem_reduce(ftmp3, tmp); /* 2^96 - 1 */
756 felem_square(tmp, ftmp3);
778 felem_mul(tmp, ftmp, ftmp3);
912 felem ftmp, ftmp2, ftmp3, ftmp4, ftmp5, x_out, y_out, z_out;
949 /* ftmp3 = z1^3 */
951 felem_reduce(ftmp3, tmp);
954 felem_mul(tmp, ftmp3, y2);
957 /* ftmp3 = z1^3*y2 - z2^3*y1 */
960 felem_reduce(ftmp3, tmp);
980 y_equal = felem_is_zero(ftmp3);
1042 felem_square(tmp2, ftmp3);
1069 felem_mul(tmp2, ftmp3, ftmp2);