Lines Matching refs:T2
48 mp_bitcnt_t b0, mpz_srcptr n, mpz_ptr T1, mpz_ptr T2)
82 mpz_mul (T2, Qk, Qk); /* |U_{k+1} - U_k|^2 */
84 mpz_sub (T2, T1, T2); /* U_{k+1}^2 - (U_{k+1} - U_k)^2 */
94 mpz_mul_si (T2, T2, Q);
95 mpz_sub (T2, T1, T2);
96 mpz_swap (T1, T2);
99 mpz_tdiv_r (V, T2, n);
113 mpz_mul (T2, T1, T1); /* V_k^2 */
115 mpz_sub (T2, T2, T1);
116 ASSERT (SIZ (T2) == 0 || PTR (T2) [0] % 4 == 0);
117 mpz_tdiv_q_2exp (T2, T2, 2); /* (V_k^2 - P^2 U_k^2) / 4 */
119 mpz_addmul_ui (T2, T1, Q);
121 mpz_submul_ui (T2, T1, NEG_CAST (unsigned long, Q));
122 mpz_tdiv_r (Qk, T2, n);
Indexes created Sat Feb 28 05:31:39 UTC 2026