Lines Matching defs:beta
1108 felem delta, gamma, beta, alpha, ftmp, ftmp2;
1127 /* beta = x*gamma */
1129 felem_reduce(beta, tmp);
1130 /* beta[i] < 2^101 */
1144 /* x' = alpha^2 - 8*beta */
1147 felem_assign(ftmp, beta);
1164 /* y' = alpha*(4*beta - x') - 8*gamma^2 */
1165 felem_scalar(beta, 4);
1166 /* beta[i] < 4 * 2^101 = 2^103 */
1167 felem_diff_zero107(beta, x_out);
1168 /* beta[i] < 2^107 + 2^103 < 2^108 */
1169 felem_small_mul(tmp, small2, beta);