Lines Matching defs:beta
823 felem delta, gamma, beta, alpha, ftmp, ftmp2;
836 /* beta = x*gamma */
838 felem_reduce(beta, tmp);
851 /* x' = alpha^2 - 8*beta */
854 felem_assign(ftmp, beta);
873 /* y' = alpha*(4*beta - x') - 8*gamma^2 */
874 felem_scalar(beta, 4);
875 /* beta[i] < 4 * 2^57 = 2^59 */
876 felem_diff(beta, x_out);
877 /* beta[i] < 2^59 + 2^58 + 2 < 2^60 */
878 felem_mul(tmp, alpha, beta);