Lines Matching refs:T1
48 mp_bitcnt_t b0, mpz_srcptr n, mpz_ptr T1, mpz_ptr T2)
80 mpz_mul (T1, Qk, Qk); /* U_{k+1}^2 */
84 mpz_sub (T2, T1, T2); /* U_{k+1}^2 - (U_{k+1} - U_k)^2 */
86 mpz_submul_ui (T1, Qk, Q);
88 mpz_addmul_ui (T1, Qk, NEG_CAST (unsigned long, Q));
95 mpz_sub (T2, T1, T2);
96 mpz_swap (T1, T2);
98 mpz_tdiv_r (Qk, T1, n);
104 mpz_mul_si (T1, V, -2*Q);
105 mpz_add (T1, Qk, T1); /* V_k = U_k - 2Q*U_{k-1} */
106 mpz_tdiv_r (V, T1, n);
113 mpz_mul (T2, T1, T1); /* V_k^2 */
114 mpz_mul (T1, Qk, Qk); /* P^2 U_k^2 = U_k^2 */
115 mpz_sub (T2, T2, T1);
119 mpz_addmul_ui (T2, T1, Q);
121 mpz_submul_ui (T2, T1, NEG_CAST (unsigned long, Q));