Lines Matching defs:beta
1119 felem delta, gamma, beta, alpha, ftmp, ftmp2;
1138 /* beta = x*gamma */
1140 felem_reduce(beta, tmp);
1141 /* beta[i] < 2^101 */
1155 /* x' = alpha^2 - 8*beta */
1158 felem_assign(ftmp, beta);
1175 /* y' = alpha*(4*beta - x') - 8*gamma^2 */
1176 felem_scalar(beta, 4);
1177 /* beta[i] < 4 * 2^101 = 2^103 */
1178 felem_diff_zero107(beta, x_out);
1179 /* beta[i] < 2^107 + 2^103 < 2^108 */
1180 felem_small_mul(tmp, small2, beta);