Lines Matching defs:A1
253 BIGNUM *A1, *A1_odd, *check; /* taken from ctx */
291 A1 = BN_CTX_get(ctx);
297 /* compute A1 := A - 1 */
298 if (!BN_copy(A1, A))
300 if (!BN_sub_word(A1, 1))
302 if (BN_is_zero(A1)) {
307 /* write A1 as A1_odd * 2^k */
309 while (!BN_is_bit_set(A1, k))
311 if (!BN_rshift(A1_odd, A1, k))
322 if (!BN_pseudo_rand_range(check, A1))
328 j = witness(check, A, A1, A1_odd, k, ctx, mont);